schrodingers-toctou

这是一个研究编译器优化引发TOCTOU（时序竞争）漏洞的安全分析项目。它揭示C语言编译器在优化过程中可能合法地插入未显式编写的内存读取（即‘编译器发明的加载’），导致原本看似安全的检查-使用逻辑被破坏，从而在运行时产生隐蔽的竞态漏洞。项目通过真实案例（Linux内核、QEMU、SGX、EDK2固件、glibc等）验证该问题的广泛存在，并提供可复现的汇编级证据与审计方法。适用于系统安全研究人员、底层软件开发者及编译器安全审计人员，在开发高保障系统、审查可信计算组件或进行漏洞挖掘时使用。