-
南大《软件分析》13.0 Static Analysis for Security
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》13.0 Static Analys... -
EnvFuzz 实战 evince
EnvFuzz 实战 evince如果对 envfuzz 不了解，可以看我前面的分析文章 。 本来想着捡捡漏，看看能不能出点比较有价值的洞，结果令人大失所望，再原论文中他们所 fuzz 出来的漏洞大多是在配置文件上出现了类似的解析错误，从而导致程序会... -
南大《软件分析》12.0 Pointer Analysis Context Sensitivity II
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》12.0 Pointer Analy... -
南大《软件分析》11.0 Pointer Analysis Context Sensitivity I
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》11.0 Pointer Analy... -
南大《软件分析》10.0 Pointer Analysis Foundations II
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》10.0 Pointer Analy... -
南大《软件分析》9.0 Pointer Analysis Foundations I
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》9.0 Pointer Analys... -
南大《软件分析》7.0 Interprocedural Analysis
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》7.0 Interprocedur... -
南大《软件分析》8.0 Pointer Analysis
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》8.0 Pointer Analys... -
南大《软件分析》6.0 Data Flow Analysis - Foundations II
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》6.0 Data Flow Anal... -
看论文 Program Environment Fuzzing
论文链接：https://arxiv.org/pdf/2404.13951 代码链接：https://github.com/GJDuck/EnvFuzz 看论文 Program Environment Fuzzing1 INTRODUCTION原...