
schrodingers-toctou
Detect compiler-invented memory loads that turn secure C into TOCTOU vulnerabilities. Includes automated source audits, Unicorn-based binary…
binary-analysisdynamic-analysis-sandboxingeducation+3
138

Detect compiler-invented memory loads that turn secure C into TOCTOU vulnerabilities. Includes automated source audits, Unicorn-based binary…

Proof-of-concept and static analysis toolkit for finding speculative race condition (SCUAF) gadgets in Linux kernel. Includes 1200+ gadget dataset.

解决网络安全漏洞

CodeQL + DTrace = Memory Disclosure Vulnerabilities in XNU

Bloomberg Memray’s Stored XSS via Unescaped Command-Line Metadata