pointers - llvm中有符号执行工具吗？

Question

我想在 llvm IR 中进行点分析。我希望它是路径敏感的，这意味着当我打印结果时，我需要附加“May”指向的条件。

我计划使用符号执行来实现这个目标。

llvm 中是否有任何工具或独立工具来求解符号方程。

谢谢!

Answer 1

一些入门指南:

1. Scalar Evolution LLVM module基本上是算术表达式的符号执行(并考虑循环)。
2. Klee是 LLVM IR 的完整符号执行虚拟机。