
slides
CodeQL + DTrace = Memory Disclosure Vulnerabilities in XNU
dynamic-code-analysiseducationpapers-research+2

CodeQL + DTrace = Memory Disclosure Vulnerabilities in XNU

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

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.

解决网络安全漏洞