|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <string>Go to the source code of this file.
Classes | |
| struct | dead_store_advisoryt |
| One dead-store advisory (CWE-563, "Assignment to Variable without Use"): an assignment whose left-hand side is never read on any subsequent path. More... | |