27 #ifndef SVF_CFLSVFGBUILDER_H
28 #define SVF_CFLSVFGBUILDER_H
Set< const SVFGNode * > SVFGNodeSet
FIFOWorkList< NodeID > WorkList
virtual void rmIncomingEdgeForSUStore(BVDataPTAImpl *pta)
CFLSVFGBuilder()=default
Constructor.
Map< NodeID, PointsTo > NodeToPTSSMap
virtual ~CFLSVFGBuilder()=default
Destructor.
virtual void buildSVFG()
Re-write create SVFG method.
std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map
std::unordered_set< Key, Hash, KeyEqual, Allocator > Set