Analysis tools logo
3

CBMC

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

Github:
    2812816251592016
Workflow integration:
  • Type: cli
    cli

Official CBMC Homepage

https://github.com/diffblue/cbmc

BSD-4-Clause-UC

Maintained

Similar Tools

  • 2Unibeautify
  • 0vera++
  • 0Veracode
  • 0Undebt
  • -1XCode