|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <dereference.h>
Public Attributes | |
| expr2tc | object |
| expr2tc | offset |
| expr2tc | guard |
| expr2tc dereference_callbackt::internal_item::guard |
| expr2tc dereference_callbackt::internal_item::object |
| expr2tc dereference_callbackt::internal_item::offset |