ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
dead_store_advisory.h File Reference
#include <string>
Include dependency graph for dead_store_advisory.h:
This graph shows which files directly or indirectly include this file:

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...