4 ms·
How does this compare to scan-build, clazy etc.?
by ranger_danger 3y ago
How does this compare to scan-build, clazy etc.?
- IshKebab 3y agoThose are different kinds of tools. Clazy is pretty much a linter. Scan-build is a traditional static analyser. It tries to find bugs or possible bugs but it's not trying to disprove the presence of bugs. CBMC is a formal verification tool which tries to prove that there aren't any bugs (where "bugs" means things like UB).