MemModel.h File Reference

#include "MemoryModel/LocationSet.h"
#include "Util/SVFModule.h"

Go to the source code of this file.

Classes
class	SVF::StInfo
class	SVF::ObjTypeInfo
class	SVF::MemObj

Namespaces
	SVF
	for isBitcode

Enumerations
enum	SVF::SYMTYPE {   SVF::BlackHole, SVF::ConstantObj, SVF::BlkPtr, SVF::NullPtr,   SVF::ValSym, SVF::ObjSym, SVF::RetSym, SVF::VarargSym }
	Symbol types. More...