cprover
dereference_callback.cpp File Reference

Pointer Dereferencing. More...

Include dependency graph for dereference_callback.cpp:

Go to the source code of this file.

Detailed Description

Pointer Dereferencing.

Definition in file dereference_callback.cpp.