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

Rudra is a static analyzer to detect common undefined behaviors in Rust programs. It is capable of analyzing single Rust packages as well as all the packages on crates.io. Rudra and its associated paper received the Distinguished Artifact Award at the 28th ACM Symposium on Operating Systems Principles 2021 (SOSP '21). (PDF, short talk, long talk) You can find the list of bugs found by Rudra at Rud

[barlog]

“Rust Memory Safety & Undefined Behavior Detection”

[masterq]

unsafeを使った時のメモリ安全性違反を検出する。全Rustパッケージの77.9%を検証。high precisionでも50%も誤検出がある？Redox,rv6,Theseus,TockOSに適用してみた結果バグ2件発見

[tanakh]

名前がいい(´･_･`)