esbmc
esbmc copied to clipboard
esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
Results
511
esbmc issues
Sort by
recently updated
recently updated
newest added
We need a set of tests that cover all combinations of dereferencing differently typed objects through differently typed pointers, with different offsets, const and dynamic. Otherwise, the way it works...
test
good first issue