S
S
Static Program Analysis Book
搜索文档…
简介
前言
写在前面
课程介绍与实验进度安排
数据流分析
静态程序分析简介与数据流分析
中间表示
数据流分析上
数据流分析下
过程间分析
过程间分析简介
指针分析
指针分析简介
指针分析进阶
指针分析应用与声明式实现
应用——污点分析
实现——声明式指针分析
其他话题
另一种静态分析框架——IFDS
从Soundness到Soundiness
由
GitBook
提供支持
静态程序分析简介与数据流分析
在简介中,将介绍:
什么是静态程序分析(下简称为静态分析)?
如何设计一个实用的静态程序分析器?
然后将用较长的篇幅介绍静态分析的一个常见应用——数据流分析。
首先介绍数据流分析的应用,让学习者有直观感受
然后从理论上深入讲解数据流分析背后的逻辑
注:
这一部分在B站上有相应的视频。
建议读者结合B站视频食用。
(
[email protected]
完整的官方视频
已发布,1至6课文稿更新。祝大家玩的愉快!)
1至6课对应的视频在这里:
第一课-课程简介
第二课-中间表示(IR)
第三课-数据流分析一
第四课-数据流分析二
第五课-数据流分析理论一
第六课-数据流分析理论二
前言 - 以前
课程介绍与实验进度安排
下一个 - 数据流分析
中间表示
最近更新
5mo ago
复制链接