Software testing
Language analysis
C++
Software defect detection
C
Automated code review
Software code vulnerabilities
Coding Standards Enforcement
Software verification
Static code analysis
CWE
Automatic Static Analysis
Computer
MISRA
Software
HICPP
CERT