我已经搜索了很长时间，试图找到针对OOP语言（尤其是Java）的k-CFA分析的实现。有人知道网上是否有一款？
最佳答案
我认为您可能会尝试看一下Java的分析环境Soot，尤其是项目SPARK和Paddle（参见例如http://www.sable.mcgill.ca/paddle/），它们是使用Soot进行点对点分析的库。至少Paddle似乎可以选择使用k-CFA上下文相关的分析，这在Soot Survival指南：http://www.brics.dk/SootGuide/sootsurvivorsguide.pdf中进行了描述。