静态分析学习笔记
文章平均质量分 91
用来保存静态分析课程的学习笔记
童年梦
这个作者很懒,什么都没留下…
展开
-
【软件分析/静态程序分析学习笔记】8.指针分析基础知识(Pointer Analysis Foundations)
个人觉得指针分析这块内容还是挺复杂的,需要配合上一篇文章仔细看看才能大概搞懂,如果有写的不清楚的地方欢迎讨论原创 2020-11-13 15:51:39 · 2317 阅读 · 3 评论 -
【软件分析/静态程序分析学习笔记】7.指针分析(Pointer Analysis)入门
本文大概写了一下指针分析是什么,有哪些关注点,可以粗浅地了解一下什么是指针分析,具体的分析将在下一篇文章中进行。原创 2020-11-07 17:23:06 · 3152 阅读 · 1 评论 -
【软件分析/静态程序分析学习笔记】6.过程间分析(Interprocedural Analysis)
本文内容比较简单,只是将单个方法内的数据流分析扩展到数个方法中,之前的内容看懂的话这个还是很容易理解的,传递函数还是比较简单,就不多说啦。原创 2020-10-30 14:19:22 · 4260 阅读 · 6 评论 -
【软件分析/静态程序分析学习笔记】5.数据流分析基础(Data Flow Analysis-Foundations)
本篇文章比较长,看完本文需要掌握的知识点如下:- lattice和complete lattice的定义- 如何在lattice中总结may和must分析- 了解不动点定理- MOP与迭代算法产生的解之间的关系- Constant propagation analysis- worklist算法原创 2020-10-24 22:46:57 · 3376 阅读 · 1 评论 -
【软件分析/静态程序分析学习笔记】4.数据流分析(下):存活变量分析(Live Variables Analysis)及可用表达式分析(Available Expressions Analysis)
Reaching Definitions表示只要从赋值语句到点p存在1条路径,则为reaching,结果不一定正确;Live Variables表示只要从点p到Exit存在1条路径使用了变量v,则为live,结果不一定正确;Available Expressions表示从Entry到点p的每一条路径都经过了该表达式,则为available,结果肯定正确。原创 2020-10-23 11:30:18 · 3313 阅读 · 0 评论 -
【软件分析/静态程序分析学习笔记】1.静态程序分析(Static Program Analysis)介绍
0.写在前面的话本渣有幸成为南京大学软件学院研究生,在前往仙林校区蹭课的时候偶然发现了这门宝藏课程,听了以后感觉深有收获,但又因为课程难度较大,国庆假期归来发现遗忘较多,因此开了一坑来记录自己对每节课知识点的理解。也由于这是本人第一次开坑写博客,结构内容自有诸多不合理之处,希望有问题的地方大家可以指出。...原创 2020-10-13 16:07:14 · 10301 阅读 · 8 评论 -
【软件分析/静态程序分析学习笔记】3.数据流分析(Data Flow Analysis) (上):可达性分析(Reaching Definitions)
本文主要是介绍了数据流分析是什么,并首先介绍了一种数据流分析的算法:可达性分析(Reaching Definitions)原创 2020-10-21 21:35:50 · 4304 阅读 · 2 评论 -
【软件分析/静态程序分析学习笔记】2.中间表示(Intermediate Representation)
以上就是本章的全部内容了,主要介绍了用于静态分析的中间表示,以及具体用于分析的控制流图形式,难度较低,看一遍基本就能理解了,如有错漏,欢迎指正,谢谢!原创 2020-10-17 15:32:39 · 5532 阅读 · 9 评论