南大软件分析
文章平均质量分 92
菊花JUHUA
这个作者很懒,什么都没留下…
展开
-
南大软件分析第十二节——Pointer Analysis - Context Sensitivity II
本节讲上下文敏感的过程间指针分析的算法。原创 2023-04-11 15:41:43 · 123 阅读 · 0 评论 -
南大软件分析第十一节——Pointer Analysis - Context Sensitivity I
对于上述这段代码,当我们不考虑上下文去处理第 5、6 行的 id 函数调用的时候,id 的参数和返回值会和两次调用的参数和返回值杂糅在一起,这样假如在进行常量传播的时候,变量 i 就会被分析为 NAC,这是不对的。OO 程序是典型的堆敏感,因为程序会频繁的修改堆,所以也要对堆抽象添加上下文。C:上下文(暂时用调用点的行数表示),O:对象,F:对象中的域。老师在这里进行举例表示上下文敏感和堆的上下文敏感缺一不可。不考虑堆的上下文敏感,只考虑分析的上下文敏感。考虑堆的上下文敏感,不考虑分析的上下文敏感。原创 2023-04-09 16:05:29 · 108 阅读 · 0 评论 -
南大软件分析第十节——Pointer Analysis - Foundations II
书接上回。原创 2023-04-09 15:10:03 · 177 阅读 · 0 评论 -
南京大学软件分析第九节——Pointer Analysis - Foundations I
视频:南京大学《软件分析》课程09(Pointer Analysis - Foundations I)哔哩哔哩_bilibili课程主页:Static Program Analysis | Tai-e (pascal-lab.net)笔记参考:(34条消息) 【课程笔记】南大软件分析课程—16课时完整版_bsauce的博客-CSDN博客_南京大学软件分析软件分析 - 知乎 (zhihu.com)PPT: Pointer Analysis: Foundations (nju.edu.cn)首先确定分析原创 2023-03-07 17:31:24 · 248 阅读 · 0 评论 -
南京大学软件分析第八节笔记
视频: 南京大学《软件分析》课程 08(Pointer Analysis课程主页:Static Program Analysis | Tai-e (pascal-lab.net)笔记参考:(34条消息) 【课程笔记】南大软件分析课程—16课时完整版_bsauce的博客-CSDN博客_南京大学软件分析软件分析 - 知乎 (zhihu.com)PPT: Pointer Analysis (nju.edu.cn)CHA 算法存在缺陷(上一节课有说)上一节提到过 CHA 算法是针对 call site原创 2023-02-27 21:00:51 · 172 阅读 · 0 评论 -
南京大学软件分析第七节笔记
视频: 南京大学《软件分析》课程07(Interprocedural Analysis课程主页:Static Program Analysis | Tai-e (pascal-lab.net)笔记参考:(34条消息) 【课程笔记】南大软件分析课程—16课时完整版_bsauce的博客-CSDN博客_南京大学软件分析 软件分析(七)Inter-procedural Analysis - 知乎 (zhihu.com)软件分析 - 知乎 (zhihu.com)PPT: Interprocedural An原创 2023-02-20 18:13:53 · 353 阅读 · 0 评论 -
南京大学软件分析第六节笔记
最后我们来梳理一遍第六节课的内容。首先我们想要知道我们的迭代算法是否可以达到不动点,并且达到的不动点是不是最优的,所以我们得看迭代算法是否满足不动点定理的条件有限单调接下来我们讨论了迭代算法的复杂度,知道了最坏的迭代次数然后我们从 lattice 的角度重新审视了 may 和 must 分析,这里的两个图非常直观明了。接着我们用 MOP 来衡量了一下迭代算法的精度指出了满足分配律的转移函数的算法的精度和 MOP 一样同时也介绍了一种不满足分配律的分析最后给出了迭代算法的优化。原创 2023-02-03 17:29:31 · 284 阅读 · 1 评论 -
南大软件分析 前5节笔记
南大软件分析课程前5节笔记总结原创 2023-01-14 21:25:18 · 253 阅读 · 0 评论