CppCheck

Provides unique code analysis to detect bugs and focuses on detecting undefined behavior and dangerous coding constructs.

Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Detect code vulnerable to null pointer dereference attacks.
Detect code vulnerable to buffer overflow attacks.