LLVMの静的解析ツールIR

LLVM IRの解析を行い、開発者に問題を報告する静的解析ツールがあるかどうかを確認しようとしていますか？LLVMの静的解析ツールIR

ご迷惑をおかけして申し訳ございません。

2017-01-03 user2888308

LLVM自体は非常に性質上、さまざまな静的解析を含んでいます。どのような種類の分析を実行したいか、より具体的にすることはできますか？ – Oak

多くの言語には、ソースコードをLLVM IR（C/C++、Fortran、Rubyなど）に変換するフロントエンドがあります。私は、LLVM IRに関する静的解析（記号的実行、データフロー、制御フローなど）を実行することが可能かどうかを把握しようとしており、ソースコード（バグの説明とソースそれが発生したコードの行番号）。 – user2888308

興味のある方は、LLVM IRの分析を行い、エラー/警告を開発者に報告するリサーチツールはほとんど見つかりませんでした。次のリストである：

KLEE（LLVM IRにhttp://llvm.org/pubs/2008-12-OSDI-KLEE.html)-実行しシンボリック実行はCソースコードから生成され、ここで説明したようなレポートを生成する：http://klee.github.io/tutorials/testing-regex/
KLOVER（http://www.cs.utah.edu/~ligd/publications/KLOVER-CAV11.pdf） - 生成するKLEEの上に建てられました。 LLT IRは中間論理表現に変換され、SMT-LIB式に変換されます。SMT-sol数式はSMTソルバーを使用して解きます。詳細はこちらhttp://llbmc.org/files/papers/ASE13.pdf
LAV（http://argo.matf.bg.ac.rs/?content=lav） - これは、LLVMコンパイラインフラストラクチャの上に構築されたバグ検出ツールです。 LAVは、シンボリック実行、プログラムの制御フローのSATエンコード、限定モデル検査のいくつかの機能を組み合わせています。

出典

2017-01-20 23:22:37 user2888308

答えて

関連する問題