GitHub - sslab-gatech/Rudra: Rust Memory Safety & Undefined Behavior Detection
DRANK

Rust Memory Safety & Undefined Behavior Detection. Contribute to sslab-gatech/Rudra development by creating an account on GitHub.

github.com
Related Topics: GitHub Rust Git
1 comments
  • κeen
    @blackenedgold

    Rustの未定義動作を踏んでるところとかを静的に検査してくれるツール。SOSP '21のdistinguished artifact awardを受賞しており、Rustの標準ライブラリや有名クレートのバグや脆弱性を多数発見

    sslab-gatech/Rudra: Rust Memory Safety & Undefined Behavior Detection
    github.com/sslab-gatech/R…