R.O*_*mar 5 llvm llvm-clang abstract-interpretation llvm-ir
我需要使用抽象解释来使用LLVM进行一些分析。这可能吗？或者我需要更轻松地使用分析工具。如果我可以通过LLVM做到这一点，那么哪些类将帮助我从原始源代码中编写语句，以获取变量之间的关系（以及每个变量的可能值范围）
box*_*box 3
你可以看看KLEE，它是 LLVM 位码的符号解释器： https: //github.com/klee
归档时间：
9 年，11 月 前
查看次数：
529 次
最近记录：
9 年，6 月 前