オープンソースのCの静的解析ツール。色々できそうなので要調査

ssmtkmt のブックマーク 2011/04/14 12:53

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/28282690/comment/ssmtkmt" data-user-id="ssmtkmt" data-entry-url="https://b.hatena.ne.jp/entry/s/www.frama-c.com/" data-original-href="https://www.frama-c.com/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.frama-c.com%2F" data-user-icon="/users/ssmtkmt/profile.png">Frama-C - Framework for Modular Analysis of C programs</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/%E5%BD%A2%E5%BC%8F%E6%89%8B%E6%B3%95">形式手法</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%82%AA%E3%83%BC%E3%83%97%E3%83%B3%E3%82%BD%E3%83%BC%E3%82%B9">オープンソース</a>]</li></ul><br><p style="clear: left">オープンソースのCの静的解析ツール。色々できそうなので要調査</p><a class="datetime" href="https://b.hatena.ne.jp/ssmtkmt/20110414#bookmark-28282690"><span class="datetime-body">2011/04/14 12:53</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

Frama-C - Framework for Modular Analysis of C programs

www.frama-c.com2011/01/16

Latest News 2024-08-08 The Guide to Software Verification with Frama-C is available 2024-08-05 The slides presented at Frama-C Days 2024 are available 2024-06-06 Release of Frama-C 29.0 (Copper) 20...

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

他のコメントを読む

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

はてなブックマーク

Frama-C - Framework for Modular Analysis of C programs

はてなブックマーク

公式Twitter

はてなのサービス