C向けの静的解析ツール。Linuxのkernelにかけていくつかバグを見つけたらしい。論文はここhttp://arxiv.org/abs/1202.0788

ssmtkmt のブックマーク 2012/02/06 21:44

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/59725194/comment/ssmtkmt" data-user-id="ssmtkmt" data-entry-url="https://b.hatena.ne.jp/entry/stanse.fi.muni.cz/" data-original-href="http://stanse.fi.muni.cz/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fstanse.fi.muni.cz%2F" data-user-icon="/users/ssmtkmt/profile.png">Stanse - Static Analysis Framework for C code</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/C%E8%A8%80%E8%AA%9E">C言語</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0">プログラミング</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E6%A4%9C%E8%A8%BC">検証</a>]</li></ul><br><p style="clear: left">C向けの静的解析ツール。Linuxのkernelにかけていくつかバグを見つけたらしい。論文はここ<a href="http://arxiv.org/abs/1202.0788" target="_blank" rel="noopener nofollow">http://arxiv.org/abs/1202.0788</a></p><a class="datetime" href="https://b.hatena.ne.jp/ssmtkmt/20120206#bookmark-59725194"><span class="datetime-body">2012/02/06 21:44</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

Stanse - Static Analysis Framework for C code

stanse.fi.muni.cz2011/09/19

Stanse at a glance Stanse was released and is now available in download section. Features Error-finding tool based on static analysis. Target language is C (ANSI C99), but extensible to C#/C++/Java...

2 人がブックマーク・1 件のコメント

他のコメントを読む

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

はてなブックマーク

Stanse - Static Analysis Framework for C code

はてなブックマーク

公式Twitter

はてなのサービス