cprover
|
Field-insensitive, location-sensitive global may alias analysis. More...
#include "global_may_alias.h"
Go to the source code of this file.
Field-insensitive, location-sensitive global may alias analysis.
Definition in file global_may_alias.cpp.