The right data
Hundreds of unique rules find Bugs, Vulnerabilities, Security
Hotspots, and Code Smells in your C++ code using
Symbolic
execution
Path-sensitive
analysis
Cross-function,
cross-file analysis