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

masterq のブックマーク 2021/12/08 13:55

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4707196419299544066/comment/masterq" data-user-id="masterq" data-entry-url="https://b.hatena.ne.jp/entry/s/github.com/sslab-gatech/Rudra" data-original-href="https://github.com/sslab-gatech/Rudra" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgithub.com%2Fsslab-gatech%2FRudra" data-user-icon="/users/masterq/profile.png">GitHub - sslab-gatech/Rudra: Rust Memory Safety & Undefined Behavior Detection</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/verify">verify</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/rust">rust</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/memory">memory</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/unsafe">unsafe</a>]</li></ul><br><p style="clear: left">unsafeを使った時のメモリ安全性違反を検出する。全Rustパッケージの77.9%を検証。high precisionでも50%も誤検出がある？Redox,rv6,Theseus,TockOSに適用してみた結果バグ2件発見</p><a class="datetime" href="https://b.hatena.ne.jp/masterq/20211208#bookmark-4707196419299544066"><span class="datetime-body">2021/12/08 13:55</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

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

github.com/sslab-gatech2021/08/21

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 ...

6 人がブックマーク・3 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

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

はてなブックマーク

公式Twitter

はてなのサービス