我需要使用抽象解释来利用LLVM进行一些分析。这是可行的吗？还是我需要使用更容易的分析工具？ 如果我可以通过LLVM实现，哪些类可以帮助我从原始源代码中制定语句以获得变量之间的关系（以及每个变量可能的值范围）。
3个回答
2
如果您正在使用区间域进行分析，您可以使用Constant Range类来表示区间。它将允许您抽象出范围上的算术运算。通过调试元数据和一些额外的簿记，您可以获得变量之间的关系。请参见this答案。
- fiery_falcon
0
你可以看一下Pagai静态分析器，它使用最先进的抽象解释技术计算LLVM位码上的不变量，并可以将获得的不变量插入.bc文件中，供你的工具使用。
http://pagai.forge.imag.fr
- Julien H.
网页内容由stack overflow 提供, 点击上面的可以查看英文原文，
原文链接
原文链接