correlated:在存在相关方法调用的情况下提高数据流分析的精度-源码

上传者: 42168341 | 上传时间: 2021-06-03 18:06:06 | 文件大小: 111.79MB | 文件类型: ZIP
相关呼叫分析 该项目的目标是通过相关调用消除不可行的路径,从而使 Java 程序的数据流分析更加精确。 如果在同一个接收器对象上调用两个方法调用,则认为它们是相关的。 该分析依赖于 [1] 中描述的过程间分布式环境 (IDE) 数据流分析算法。 [1] Sagiv、Mooly、Thomas Reps 和 Susan Horwitz。 。 斯普林格柏林海德堡,1995 年。 项目 概述 分析的代码是用编写的。 我们的分析依赖于 ,这是一个对用 Java 编写的 Java 字节码进行静态分析的库。 为了方便在 Scala 中使用 WALA,我们使用库。 为了能够将我们自己的修改添加到 WALAFacade,我们在这个项目中包含了它的源代码。 因此,我们的分析代码在ca.uwaterloo.dataflow包中,而 WALAFacade 代码,经过一些小的修改,在edu.illinois.

文件下载

资源详情

[{"title":"( 276 个子文件 111.79MB ) correlated:在存在相关方法调用的情况下提高数据流分析的精度-源码","children":[{"title":".gitignore <span style='color:#111;'> 152B </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 3.38KB </span>","children":null,"spread":false},{"title":"scalastyle-config.xml <span style='color:#111;'> 5.84KB </span>","children":null,"spread":false},{"title":"build.sbt <span style='color:#111;'> 890B </span>","children":null,"spread":false},{"title":"configureStatsTest.sh <span style='color:#111;'> 1.40KB </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多,未全部展示</span>","children":null,"spread":false}],"spread":true}]

评论信息

免责申明

【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明