CBMC
points_to.cpp File Reference

Field-sensitive, location-insensitive points-to analysis. More...

#include "points_to.h"
+ Include dependency graph for points_to.cpp:

Go to the source code of this file.

Detailed Description

Field-sensitive, location-insensitive points-to analysis.

Definition in file points_to.cpp.