java8rt.jar源码-WALA-improve:学习WALA和静态代码分析。本项目介绍所需知识和学习路线图
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}]
评论信息
其他资源
- 事故树分析计算软件（2015年10月更新）
- 基于遗传算法GA的PID参数自整定程序源代码
- 详解混合动力控制器HCU.pdf
- 小组合作计分器，电子白板专用
- 三维模型网格简化源码
- Linux个人防火墙的设计与实现
- 算法设计手册(The.Algorithm.Design.Manual)中英.zip
- matlab找不到编译器的问题
- 概率论教程 中译本 钟开莱
- 一个用WPF编写的串口助手
- KalmanAll.7z
- ookla-speedtest-1.0.0-win64.rar
- 音效助手Setup.exe
- KOK高仿YY电脑界面 实例源码III太强益智游戏程序教程
- TstCon.exe
- IAR FOR STM8库工程模版
- html+php+ajax+mysql留言板
- SiteSee工具
- 金蝶全套视频培训8G
- 51单片机的200个电路的原理图
- 软件测试设计报告
- 李炎恢php第二季源码
- java在线预览office
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明