01Command-line interface (CLI) and API for automated and scriptable analysis
02Automated detection of race conditions, use-after-free, and data corruption
03Analysis for Time-of-Check-Time-of-Use (TOCTOU) vulnerabilities
04Detection of reference counting imbalances and double-decrement patterns
05Identification of unchecked rundown protection calls and use-after-rundown patterns
060 GitHub stars