没有合适的资源?快使用搜索试试~ 我知道了~
641andersen:安徒生 PointsTo 分析算法的实现
共38个文件
java:9个
prefs:7个
jar:4个
需积分: 5 1 下载量 3 浏览量
2021-07-09
22:37:22
上传
评论
收藏 18.61MB ZIP 举报
温馨提示
#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.zip (38个子文件)
641andersen-master
.gitignore 17B
src
edu
iastate
coms641
Node.java 910B
AndersenPointsTo.java 18KB
AndersenTransformer.java 369B
Main.java 4KB
MethodInstrumenter.java 3KB
HashNodePointsToSet.java 4KB
.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
org.eclipse.core.runtime
.settings
org.eclipse.dltk.core.index.sql.h2.prefs 48B
org.eclipse.core.resources.prefs 40B
org.eclipse.ui.prefs 46B
org.eclipse.jdt.launching.prefs 467B
org.eclipse.jdt.ui.prefs 443B
org.eclipse.jdt.core.prefs 421B
org.eclipse.core.resources
.safetable
org.eclipse.core.resources 612B
.root
1.tree 110B
.indexes
properties.index 57B
org.eclipse.dltk.core
Containers.dat 12B
org.eclipse.dltk.core.index.sql.h2
model.h2.db 64KB
org.eclipse.jdt.launching
libraryInfos.xml 855B
.install.xml 130B
org.eclipse.jdt.core
assumedExternalFilesCache 4B
nonChainingJarsCache 4B
externalFilesCache 4B
invalidArchivesCache 4B
variablesAndContainers.dat 151B
.project 371B
benchmarks
javatests.jar 2KB
test
edu
iastate
coms641
Utils.java 1KB
AndersenPointsToTest.java 3KB
HashNodePointsToSetTest.java 5KB
共 38 条
- 1
资源评论
kolten
- 粉丝: 50
- 资源: 4558
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功