我一直在寻找相当长的时间，试图找到针对OOP语言的k-CFA分析的实现，特别是Java。有人知道是否有在线可用的？
答案 0 :(得分：0)
我想你可能会尝试看看Soot，一个Java的分析环境，特别是SPARK和Paddle项目（参见例如http://www.sable.mcgill.ca/paddle/），它们是使用Soot执行指向点的库。分析。至少Paddle似乎有选择使用k-CFA上下文敏感分析，这在Soot Survival指南中有描述：http://www.brics.dk/SootGuide/sootsurvivorsguide.pdf。