静态分析
文章平均质量分 90
樱满无门
这个作者很懒,什么都没留下…
展开
-
静态分析 第三课 Data Flow Analysis(1)
Data Flow Analysis – ApplicationsOverview of DFAPreliminaries of DFAReaching Definitions AnalysisLive Variables AnalysisAvailable Expressions AnalysisOverviewHow Data Flows on CFG?How application-specific Data <- AbstractionFlows through the原创 2021-07-19 17:49:03 · 541 阅读 · 0 评论 -
静态分析 第二课 IR、3AC and CFG
静态分析 第二课 IR、3AC and CFGIntermediate Representation——中间表示特性:简便的、有利于静态程序分析源程序->IRCompilers and Static AnalyzersAST vs IRIR: Three-Address Code(3AC)3AC in Real Static Analyzer: SootStatic SIgnal ssignment(SSA)Basic Blocks(BB)Control Flow Graphs(原创 2021-07-11 10:14:12 · 662 阅读 · 3 评论 -
静态分析 第一课 静态分析介绍
静态分析 第一课 静态分析介绍本人是北邮19级学生,最近需要使用soot进行java静态分析,但是没有任何静态分析的基础,在北邮人论坛里学长给我推荐了B站南京大学的一个软件分析的网课,感触颇深这是本人的个人笔记,记得不是很全,主要是为了自己能看得懂下面这个是南京大学学长的笔记,我认为很有参考价值https://blog.csdn.net/zhang971105/article/details/109046458PL和静态分析为什么学习静态分析什么是静态分析静态分析特征和例子PLPro原创 2021-07-04 22:30:53 · 624 阅读 · 0 评论