这是在阅读 Clang 时遇到不会内容时的随笔，看到哪写到哪，可能不会有任何的结构（Who knows）。如果某部分内容可以单独成文，会随时进行拆分。

😘 在此先疯狂鸣谢一波 ChatGPT 和 Claude 😍。

The article is cited from http://btorpey.github.io/blog/2015/04/27/static-analysis-with-clang/.

The article is cited from http://btorpey.github.io/blog/2014/03/27/using-clangs-address-sanitizer/.

[@蓝色](https://www.zhihu.com/people/lan-se-52-30)老师个人知乎主页。

本文详细介绍了动态污点分析（Dynamic Taint Analysis）和前向符号执行（Forward Symbolic Execution）。

本文是对综述论文 Fuzzing: a survey¹, Fuzzing: A Survey for Roadmap² 和 The art, science, and engineering of fuzzing: A survey³ 的归纳总结。

本文以Linux下调用库函数的一个例子来演示一下插桩技术。

本文提出了 Yggdrasil，Yggdrasil 是一个工具包，可用于编写具有一键验证功能的文件系统。它通过一种称为崩溃细化的新颖正确性定义实现自动化验证，无需手动注释或证明实现代码，并在出现错误时生成反例。崩溃细化适用于完全自动化的 SMT 推理，并使开发人员能够模块化地实现文件系统以进行验证。

Creating pipelines with the C programming language can be a bit more involved than our simple shell example. To create a simple pipe with C, we make use of the pipe() system call.