![](https://img-blog.csdnimg.cn/20201014180756923.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
指针分析
文章平均质量分 97
I still …
这个作者很懒,什么都没留下…
展开
-
指针分析-改进版Andersen算法(二)
Fast and Accurate Pointer Analysis for Millions of Lines of Code一.Introduction二.提出的算法2.1.LCD算法2.2.HCD算法三.SVF中的实现3.1.AndersenLCD3.1.1.主循环代码3.1.2.压缩环路3.1.3.总结3.2.AndersenHCD3.2.1.生成offline副本3.2.2.计算list LLL3.2.3.主循环代码四.总结五.参考文献这篇blog主要讲的是上一篇提到的Lazy Cycle De原创 2022-04-28 20:22:54 · 878 阅读 · 0 评论 -
程序分析-基于SVF实现AnderSen指针分析算法
基于SVF实现简单的AnderSen算法原创 2022-04-07 15:11:36 · 4045 阅读 · 2 评论 -
指针分析-改进版Andersen算法(一)
Wave Propagation and Deep Propagation for Pointer Analysis一.背景二.Wave Propagation2.1.Wave Propagation2.2.压缩强连通分量2.3.实施Wave Propagation2.4.添加新边2.5.motivating example三.Deep Propagation四.实验4.1.渐近性4.2.运行时间4.3.内存占用五.总结六.参考文献这篇paper提出了2个Andersen-based指针分析算法,这里的改原创 2022-04-18 15:55:36 · 1477 阅读 · 0 评论