2
我一直在寻找相当长的时间，试图找到针对OOP语言（特别是Java）的k-CFA分析的实现。有人知道网上有没有可用的吗？针对Java的k-CFA分析
A
回答
0
我想你可能会试着看一看Java的分析环境Soot，特别是SPARK和Paddle项目（参见http://www.sable.mcgill.ca/paddle/），它们是使用Soot执行点分析的库。至少Paddle似乎可以选择使用k-CFA上下文敏感分析，这在“烟尘生存指南”中有描述：http://www.brics.dk/SootGuide/sootsurvivorsguide.pdf。
相关问题
- 1. 针对Java的堆分析工具的建议？
- 2. 针对Java的静态分析工具推荐？
- 3. JVisualVM针对远程JVM的CPU分析
- 4. 针对PHP的统计分析
- 5. 针对saas平台的谷歌分析
- 6. 针对Windows的免费C++分析器
- 7. 分析JSON到Java对象的无根
- 8. 对于Runnable jar的Java分析
- 9. 针对Java
- 10. 开源针对Java的静态源代码分析工具（面向安全）
- 11. 你如何针对一部分文件运行代码分析？
- 12. Java分析 - VisualVM
- 13. 虔诚分析API /工具，对于Java
- 14. 针对iOS的解析：针对多个用户的ACL
- 15. 针对iOS的Facebook API中的分析器警告
- 16. 针对特定查询的query_string字段的多个分析器
- 17. 针对Linux和Windows的Antlr3中的分析问题
- 18. 针对iOS的谷歌分析中的线程崩溃
- 19. 针对超出Python 2.7.6的子分析器的Argparse set_defaults？
- 20. 针对Java Webstart的异议？
- 21. 针对Java的JTidy或Jsoup
- 22. 针对java的RSS lib
- 23. 针对Web的Java开发
- 24. 针对Java + OpenPGP的推荐？
- 25. 针对java的Telnet库
- 26. 针对java的cron库
- 27. 针对指针的部分特化，C++
- 28. 针对域类的查询应针对实体解析
- 29. z3py针对有效的SMT2文件抛出分析器错误
- 30. Python 3.6.2中针对CSV的差距分析/报告
[简单实施k-CFA]（https://code.google.com/p/streme/source/browse/streme/src/streme/lang/ast/analysis/kcfa/Kcfa.java） – Balder
这不是计划的实施吗？ – nevena
我刚刚发布了该链接作为您的研究的额外资源，并且[Matt Might]（http://matt.might.net/）的主页也可能有所帮助。 – Balder