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) 静态代码分析是指在不运行代码的方式下，通过词法分析、语法分析、控制流