Systematically walks through code and surfaces race conditions, off-by-one errors, and security vulnerabilities.