文件名称：641andersen:安徒生 PointsTo 分析算法的实现
文件大小：18.61MB
文件格式：ZIP
更新时间：2024-07-29 16:24:02
Java
#Danilo Dominguez 实现 Andersen 的 PointsTo 算法 ##Implementation 我实现了由 Sridharan 和 Fink 在“实践中安徒生分析的复杂性”中提出的安徒生算法。 该算法是对 Java 的原始 Andersen 算法的改编。 实现是不完整的，因为仍然没有很好地管理来自 Jimple 语言的 IdentityStmt。 此外，该实施并未针对所有情况给出正确的结果。 主要算法在 AndersenPointsTo.java ＃＃要求： Java7 ##运行测试###Linux cd build java -cp .:hw6641.jar edu.iastate.coms641.Main -soot-class-path .:../benchmarks/javatests.jar -main-class edu.iastate.coms
【文件预览】：
641andersen-master
----.gitignore(17B)
----src()
--------edu()
----.classpath(606B)
----build()
--------hw6641.jar(10.27MB)
--------andersen641.jar(21KB)
----.settings()
--------org.eclipse.jdt.core.prefs(587B)
----libs()
--------soot-develop.jar(10.14MB)
----README.md(877B)
----.metadata()
--------.lock(0B)
--------version.ini(99B)
--------.plugins()
----.project(371B)
----benchmarks()
--------javatests.jar(2KB)
----test()
--------edu()