"抽象解釈にもとづく静的プログラム解析器。Z3などのソルバは使っていないが、多面体解釈や不動点をサポートしており、制御フローや関数呼び出しも考慮してバグを発見できる。C/C++を対象としているが、LLVMでも"

masterq のブックマーク 2022/11/08 18:00

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/374866332/comment/masterq" data-user-id="masterq" data-entry-url="https://b.hatena.ne.jp/entry/s/github.com/NASA-SW-VnV/ikos" data-original-href="https://github.com/NASA-SW-VnV/ikos" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgithub.com%2FNASA-SW-VnV%2Fikos" data-user-icon="/users/masterq/profile.png">GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/c">c</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/c%2B%2B">c++</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/static">static</a>]</li><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/%E3%81%82%E3%81%A8%E3%81%A7%E8%AA%AD%E3%82%80">あとで読む</a>]</li></ul><br><p style="clear: left">&quot;抽象解釈にもとづく静的プログラム解析器。Z3などのソルバは使っていないが、多面体解釈や不動点をサポートしており、制御フローや関数呼び出しも考慮してバグを発見できる。C/C++を対象としているが、LLVMでも&quot;</p><a class="datetime" href="https://b.hatena.ne.jp/masterq/20221108#bookmark-374866332"><span class="datetime-body">2022/11/08 18:00</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.

github.com/NASA-SW-VnV2018/12/13

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Re...

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

他のコメントを読む

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

はてなブックマーク

GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.

はてなブックマーク

公式Twitter

はてなのサービス