在llvm中是否有任何符号执行工具？

Question

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

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

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

谢谢！

Answer 1

一些可以帮助您入门的指示：

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