-
看论文 Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation
看论文 Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation主要研究的是大语言模型在生成定向输入测试集时的... -
看论文 UBfuzz Finding Bugs in Sanitizer Implementations
论文链接：https://shao-hua-li.github.io/assets/pdf/2024_asplos_ubfuzz.pdf 代码仓库：https://github.com/shao-hua-li/UBGen 看论文 UBfuzz: ... -
AFL 使用技巧总结
AFL 使用技巧总结快速简易上手 使用 afl-cc 编译项目或者库，比较常见的做法如下： 123CC=afl-cc CXX=afl-c++ ./configure --disable-sharedcmake -DCMAKE_C_COMPILERC... -
KLEE 学习笔记
KLEE 学习笔记KLEE 的介绍建议直接 GPT。 安装KLEE 由于是一款符号执行工具，需要 clang 和 llvm 的支持，这两者都可以直接通过 apt 安装，下面介绍 klee 的安装： 123456git clone https://gi... -
南大《软件分析》16.0 Soundiness
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》16.0 Soundiness首先来... -
南大《软件分析》15.0 CFL-Reachability and IFDS
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》15.0 CFL-Reachabil... -
南大《软件分析》14.0 Datalog-Based Program Analysis
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》14.0 Datalog-Based... -
南大《软件分析》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...