|
typedef OrderedMap< NodeBS, PointsToList > | PtsToSubPtsMap |
|
typedef Map< const SVFFunction *, PtsToSubPtsMap > | FunToPtsMap |
|
typedef Map< const SVFFunction *, PointsToList > | FunToInterMap |
|
typedef FIFOWorkList< NodeID > | WorkList |
|
typedef OrderedSet< const MemRegion *, MemRegion::equalMemRegion > | MRSet |
| Get typedef from Pointer Analysis. More...
|
|
typedef Map< const PAGEdge *, const SVFFunction * > | PAGEdgeToFunMap |
|
typedef OrderedSet< NodeBS, SVFUtil::equalNodeBS > | PointsToList |
|
typedef Map< const SVFFunction *, NodeBS > | FunToPointsToMap |
|
typedef Map< const SVFFunction *, PointsToList > | FunToPointsTosMap |
|
typedef OrderedMap< NodeBS, NodeBS, SVFUtil::equalNodeBS > | PtsToRepPtsSetMap |
|
typedef Map< const SVFFunction *, MRSet > | FunToMRsMap |
| Map a function to its region set. More...
|
|
typedef Map< const LoadStmt *, MRSet > | LoadsToMRsMap |
|
typedef Map< const StoreStmt *, MRSet > | StoresToMRsMap |
|
typedef Map< const CallICFGNode *, MRSet > | CallSiteToMRsMap |
|
typedef Map< const LoadStmt *, NodeBS > | LoadsToPointsToMap |
| Map loads/stores/callsites to their cpts set. More...
|
|
typedef Map< const StoreStmt *, NodeBS > | StoresToPointsToMap |
|
typedef Map< const CallICFGNode *, NodeBS > | CallSiteToPointsToMap |
|
typedef Map< const SVFFunction *, NodeBS > | FunToNodeBSMap |
| Maps Mod-Ref analysis. More...
|
|
typedef Map< const CallICFGNode *, NodeBS > | CallSiteToNodeBSMap |
| Map a callsite to its indirect refs/mods of memory objects. More...
|
|
typedef Map< NodeID, NodeBS > | NodeToPTSSMap |
|
typedef SVFIR::SVFStmtList | SVFStmtList |
| SVFIR edge list. More...
|
|
typedef SCCDetection< PTACallGraph * > | SCC |
| Call Graph SCC. More...
|
|
|
virtual void | partitionMRs () |
| Partition regions. More...
|
|
virtual void | getMRsForLoad (MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun) |
|
void | getMRsForLoadFromInterList (MRSet &mrs, const NodeBS &cpts, const PointsToList &inters) |
|
virtual void | getMRsForCallSiteRef (MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun) |
| Get memory regions to be inserted at a load statement. More...
|
|
void | createDisjointMR (const SVFFunction *func, const NodeBS &cpts) |
| Create disjoint memory region. More...
|
|
void | computeIntersections (const NodeBS &cpts, PointsToList &inters) |
| Compute intersections between cpts and computed cpts intersections before. More...
|
|
| MRGenerator (BVDataPTAImpl *p, bool ptrOnly) |
|
void | createMR (const SVFFunction *fun, const NodeBS &cpts) |
| Generate a memory region and put in into functions which use it. More...
|
|
void | collectGlobals () |
| Collect all global variables for later escape analysis. More...
|
|
virtual void | collectModRefForLoadStore () |
| Generate regions for loads/stores. More...
|
|
virtual void | collectModRefForCall () |
| Generate regions for calls/rets. More...
|
|
virtual void | updateAliasMRs () |
| Update aliased regions for loads/stores/callsites. More...
|
|
virtual void | sortPointsTo (const NodeBS &cpts) |
| Given a condition pts, insert into cptsToRepCPtsMap for region generation. More...
|
|
virtual bool | isAliasedMR (const NodeBS &cpts, const MemRegion *mr) |
| Whether a region is aliased with a conditional points-to. More...
|
|
virtual void | getAliasMemRegions (MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun) |
| Get all aliased mem regions from function fun according to cpts. More...
|
|
virtual void | modRefAnalysis (PTACallGraphNode *callGraphNode, WorkList &worklist) |
| Mod-Ref analysis for callsite invoking this callGraphNode. More...
|
|
virtual bool | handleCallsiteModRef (NodeBS &mod, NodeBS &ref, const CallICFGNode *cs, const SVFFunction *fun) |
| Get Mod-Ref of a callee function. More...
|
|
void | addCPtsToStore (NodeBS &cpts, const StoreStmt *st, const SVFFunction *fun) |
| Add cpts to store/load. More...
|
|
void | addCPtsToLoad (NodeBS &cpts, const LoadStmt *ld, const SVFFunction *fun) |
|
void | addCPtsToCallSiteRefs (NodeBS &cpts, const CallICFGNode *cs) |
|
void | addCPtsToCallSiteMods (NodeBS &cpts, const CallICFGNode *cs) |
|
bool | hasCPtsList (const SVFFunction *fun) const |
|
PointsToList & | getPointsToList (const SVFFunction *fun) |
|
FunToPointsTosMap & | getFunToPointsToList () |
|
void | addRefSideEffectOfFunction (const SVFFunction *fun, const NodeBS &refs) |
| Add/Get methods for side-effect of functions and callsites. More...
|
|
void | addModSideEffectOfFunction (const SVFFunction *fun, const NodeBS &mods) |
| Add indirect def an memory object in the function. More...
|
|
bool | addRefSideEffectOfCallSite (const CallICFGNode *cs, const NodeBS &refs) |
| Add indirect uses an memory object in the function. More...
|
|
bool | addModSideEffectOfCallSite (const CallICFGNode *cs, const NodeBS &mods) |
| Add indirect def an memory object in the function. More...
|
|
const NodeBS & | getRefSideEffectOfFunction (const SVFFunction *fun) |
| Get indirect refs of a function. More...
|
|
const NodeBS & | getModSideEffectOfFunction (const SVFFunction *fun) |
| Get indirect mods of a function. More...
|
|
const NodeBS & | getRefSideEffectOfCallSite (const CallICFGNode *cs) |
| Get indirect refs of a callsite. More...
|
|
const NodeBS & | getModSideEffectOfCallSite (const CallICFGNode *cs) |
| Get indirect mods of a callsite. More...
|
|
bool | hasRefSideEffectOfCallSite (const CallICFGNode *cs) |
| Has indirect refs of a callsite. More...
|
|
bool | hasModSideEffectOfCallSite (const CallICFGNode *cs) |
| Has indirect mods of a callsite. More...
|
|
Create memory regions which don't have intersections with each other in the same function scope.
Definition at line 73 of file MemPartition.h.