用于快速类型分析和变量类型分析的预定义算法
我正在尝试对 Java 源文件进行程序分析。是否有任何预定义的算法来执行变量类型分析和快速类型分析？
I'm trying to perform program analysis on the Java source file. Is there any predefined algorithm to perform variable type analysis and rapid type analysis?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
Soot是一个java的分析框架。
"Java程序分析的Soot框架：
回顾” 表示 Spark 模块可能与您正在做的事情相关：
Soot is an analysis framework for java.
"The Soot framework for Java program analysis:
a retrospective" says that the Spark module might be relevant to what you're doing:
Wala 是一个很好的静态分析框架
用于VTA ：你有一个比 VTA 更好的 0-CFA，
Util.makeZeroCFABuilderWala is good static analysis framework
for RTA :
Util.makeRTABuilderfor VTA : you have a 0-CFA wich do better than VTA,
Util.makeZeroCFABuilder