java8rt.jar源码-WALA-improve:学习WALA和静态代码分析。本项目介绍所需知识和学习路线图

上传者: 38551837 | 上传时间: 2021-06-18 14:04:30 | 文件大小: 3.84MB | 文件类型: ZIP
java8 rt.jar源码 WALA-improve 学习wala和静态代码分析,以及涉及到的一些概念。 Study WALA and static code analysis . This project introduces the required knowledge and study roadmap. 数据流分析技术 (Data Flow Analysis) 数据流分析是一种程序静态分析技术,它能从程序代码中收集程序的语义信息,并通过代数的方法确定变量的定义和使用。通过数据流分析,可以不必实际运行程序就能 够发现程序运行行为方面的特性,这样可以帮助人们理解程序。数据流分析被广泛用于解决编译优化、程序验证、理解、分片、调试、测试以及并行化等问题。 程序静 态数据流分析是程序测试所采用的一种重要手段。借助于程序静态分析工具,能更直接地暴露和定位程序中的错误。数据流分析作为一种非常重要的程序静态分析技术, 能够在保证软件质量与可靠性方面起到重要的作用. 静态代码分析 (Static code Analysis) 静态代码分析是指在不运行代码的方式下,通过词法分析、语法分析、控制流

文件下载

资源详情

[{"title":"( 8 个子文件 3.84MB ) java8rt.jar源码-WALA-improve:学习WALA和静态代码分析。本项目介绍所需知识和学习路线图","children":[{"title":"WALA-improve-main","children":[{"title":"resource","children":[{"title":"WALA-mindnode.pdf <span style='color:#111;'> 2.30MB </span>","children":null,"spread":false},{"title":"PLDI_WALA_Tutorial.pdf <span style='color:#111;'> 2.40MB </span>","children":null,"spread":false}],"spread":true},{"title":"doc","children":[{"title":"analysis-scope.md <span style='color:#111;'> 1.54KB </span>","children":null,"spread":false},{"title":"pointer-analysis.md <span style='color:#111;'> 2.78KB </span>","children":null,"spread":false},{"title":"call-graph.md <span style='color:#111;'> 1.48KB </span>","children":null,"spread":false},{"title":"intermediate-representation.md <span style='color:#111;'> 5.23KB </span>","children":null,"spread":false}],"spread":true},{"title":"README.md <span style='color:#111;'> 6.67KB </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 2.32KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]

评论信息

免责申明

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