CBMC

https://github.com/diffblue/cbmc

CBMC is a Bounded Model Checker for C and C++ programs that verifies array bounds, pointer safety,...

Tokens:167,289
Snippets:2,242
Trust Score:9.8
Update:1 month ago
Tokens:
Raw