Analysis tools logo
5

CBMC

Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.

Github:
    3943944262012016
Workflow integration:
  • Type: cli
    cli

Official CBMC Homepage

https://github.com/diffblue/cbmc

BSD-4-Clause-UC

Maintained

Alternative Tools

  • 3Unibeautify
  • 1Veracode
  • 0weggli
  • -1vera++
  • -1XCode