#include "MemoryModel/AbstractPointsToDS.h"
#include "MemoryModel/PersistentPointsToCache.h"
#include "MemoryModel/PointsTo.h"
#include "Util/SVFUtil.h"

Go to the source code of this file.

Classes
class	SVF::PersistentPTData< Key, KeySet, Data, DataSet >
	PTData backed by a PersistentPointsToCache. More...

class	SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
	DiffPTData implemented with a persistent points-to backing. More...

class	SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
	DFPTData backed by a PersistentPointsToCache. More...

class	SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
	Incremental version of the persistent data-flow points-to data structure. More...

class	SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >

Namespaces
	SVF
	for isBitcode

Classes

Namespaces