LLVM IR静态分析工具

Question

我试图找出是否有任何静态分析工具可用于对LLVM IR进行分析并向开发人员报告问题？

如有任何建议，将不胜感激。

Answer 1

对于任何感兴趣的人，我发现很少有研究工具对LLVM IR进行分析，并向开发人员报告错误/警告。以下为清单：

1. 克莱 -在从C源代码生成的LLVM IR上运行符号执行，并生成一个报告，如下所述：http://klee.github.io/tutorials/testing-regex/。
2. 克洛弗 -构建在KLEE之上，为C++程序生成测试用例
3. 将LLBMC - LLVM IR转换为中间逻辑表示，并将其转换为SMT公式.然后使用SMT求解器求解SMT-lib公式。更多细节可以在这里找到：http://llbmc.org/files/papers/ASE13.pdf
4. LAV --它是建立在LLVM编译器基础结构之上的一个bug查找工具。LAV结合了符号执行、程序控制流的SAT编码和有界模型检查的一些特点.