“Rust Memory Safety & Undefined Behavior Detection”

barlog のブックマーク 2023/02/01 16:16

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4707196419299544066/comment/barlog" data-user-id="barlog" 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/barlog/profile.png">GitHub - sslab-gatech/Rudra: Rust Memory Safety & Undefined Behavior Detection</a><br><p style="clear: left">“Rust Memory Safety &amp; Undefined Behavior Detection”</p><a class="datetime" href="https://b.hatena.ne.jp/barlog/20230201#bookmark-4707196419299544066"><span class="datetime-body">2023/02/01 16:16</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

はてなのサービス