cprover
global_may_alias.cpp File Reference

Field-insensitive, location-sensitive global may alias analysis. More...

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

Go to the source code of this file.

Detailed Description

Field-insensitive, location-sensitive global may alias analysis.

Definition in file global_may_alias.cpp.