Analysis tools logo
0

ESBMC

ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.

Github:
    152152282622015
Workflow integration:
  • Type: cli
    cli

Official ESBMC Homepage

https://github.com/esbmc/esbmc

Apache License 2.0

Maintained

Alternative Tools

  • 5CodeSonar from GrammaTech
  • 0vera++
  • 0Veracode
  • -1weggli
  • -1XCode