目录： 指针分析规则 如何实现指针分析 指针分析算法 指针分析如何处理函数调用（过程间指针分析） 重点： 理解指针分析的规则、指针流图PFG、指...
投稿
收录了16篇文章 · 11人关注
-
【课程笔记】南大软件分析课程7——指针分析基础（课时9/10） -
【课程笔记】南大软件分析课程6——指针分析介绍（课时8）目录： Motivation 指针分析介绍 影响指针分析的关键要素 分析哪些语句 重点： 什么是指针分析？影响指针分析的关键因素是什么？指针分析...
-
【课程笔记】南大软件分析课程5——过程间分析（课时7）目录： Motivation 调用图构建 过程间控制流分析 过程间数据流分析 重点： 学习如何利用类层级分析来构建调用图；过程间控制流/数据流分...
-
【课程笔记】南大软件分析课程4——数据流分析基础（课时5/6）关于这一节zcc的笔记已经够完美了，我就直接在他基础上记录了。 目录： 迭代算法-另一个角度 偏序（Partial Order） 上下界（Upp...
-
【课程笔记】南大软件分析课程3——数据流分析应用（课时3/4）目录： 数据流分析总览 预备知识 Reaching Definitions Analysis (may analysis) Live Varia...
-
【课程笔记】南大软件分析课程2——IR目录： 编译器和静态分析的关系 AST vs IR IR:3-地址代码（3AC） 实际静态分析器的3AC—Soot（Java） SSA-静态单赋...
-
【bsauce读论文】KEPLER-新型内核ROP构造方法本文来自USENIX 2019，KEPLER- Facilitating Control-flow Hijacking Primitive Ev...
-
【bsauce读论文】SLAKE-内核slab自动化布置技术本文来自CCS 2019，SLAKE- Facilitating Slab Manipulation for Exploiting Vulner...
-
【LLVM】AliasAnalysis别名分析的介绍与使用
一、介绍 Alias Analysis (又名 Pointer Analysis)是用于确定两个指针是否指向内存中的同一对象，这里有很多不同的别...
-
【CTF-angr】DEFCON Quals 2019 : babytrace & mamatrace writeup1.babytrace题解 分析： 本题叫做"Program Interactive Tracing as a Symbolic Service...
专题公告
分享自动化漏洞挖掘、自动化攻防相关的内容
{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1881139527',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://upload.jianshu.io/collections/images/1776924/AEG.jpg', '推荐专题《自动化攻防》（ 分享自 @简书 ）','https://jianshuapi.com/c/22a765df26b7?utm_campaign=maleskine&utm_content=collection&utm_medium=reader_share&utm_source=weibo','页面编码gb2312|utf-8默认gb2312'));){kind=link}