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

Question

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

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

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

谢谢！

Answer 1

一些帮助您入门的建议：

1. Scalar Evolution LLVM 模块基本上是算术表达式的符号执行（并考虑到循环）。
2. Klee是 LLVM IR 的完整符号执行 VM。