|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::PCG, including all inherited members.
| addFollowerFun(const SVFFunction *fun) | SVF::PCG | inlineprivate |
| addSpawneeFun(const SVFFunction *fun) | SVF::PCG | inlineprivate |
| addSpawnerFun(const SVFFunction *fun) | SVF::PCG | inlineprivate |
| addSpawnsite(const SVFInstruction *callInst) | SVF::PCG | inlineprivate |
| analyze() | SVF::PCG | virtual |
| BBWorkList typedef | SVF::PCG | |
| callgraph | SVF::PCG | private |
| CallInstSet typedef | SVF::PCG | |
| collectFollowers() | SVF::PCG | |
| collectSpawnees() | SVF::PCG | |
| collectSpawners() | SVF::PCG | |
| followers | SVF::PCG | private |
| followersBegin(const SVFFunction *fun) const | SVF::PCG | inline |
| followersEnd(const SVFFunction *fun) const | SVF::PCG | inline |
| FunSet typedef | SVF::PCG | |
| FunVec typedef | SVF::PCG | |
| FunWorkList typedef | SVF::PCG | |
| getCallICFGNode(const SVFInstruction *inst) | SVF::PCG | inline |
| getFollowers() const | SVF::PCG | inline |
| getMHPFunctions() const | SVF::PCG | inline |
| getSpawnees() const | SVF::PCG | inline |
| getSpawners() const | SVF::PCG | inline |
| identifyFollowers() | SVF::PCG | |
| inferFromCallGraph() | SVF::PCG | |
| initFromThreadAPI(SVFModule *module) | SVF::PCG | |
| interferenceAnalysis() | SVF::PCG | |
| isFollowerFun(const SVFFunction *fun) const | SVF::PCG | inlineprivate |
| isSpawneeFun(const SVFFunction *fun) const | SVF::PCG | inlineprivate |
| isSpawnerFun(const SVFFunction *fun) const | SVF::PCG | inlineprivate |
| isSpawnsite(const SVFInstruction *callInst) | SVF::PCG | inlineprivate |
| mayHappenInParallel(const SVFInstruction *i1, const SVFInstruction *i2) const | SVF::PCG | virtual |
| mayHappenInParallelBetweenFunctions(const SVFFunction *fun1, const SVFFunction *fun2) const | SVF::PCG | |
| mhpfuns | SVF::PCG | private |
| mod | SVF::PCG | private |
| PCG(PointerAnalysis *an) | SVF::PCG | inline |
| printResults() | SVF::PCG | |
| printTDFuns() | SVF::PCG | |
| pta | SVF::PCG | private |
| spawnCallSites | SVF::PCG | private |
| spawnees | SVF::PCG | private |
| spawneesBegin(const SVFFunction *fun) const | SVF::PCG | inline |
| spawneesEnd(const SVFFunction *fun) const | SVF::PCG | inline |
| spawners | SVF::PCG | private |
| spawnersBegin(const SVFFunction *fun) const | SVF::PCG | inline |
| spawnersEnd(const SVFFunction *fun) const | SVF::PCG | inline |
| spawnSitesBegin() const | SVF::PCG | inlineprivate |
| spawnSitesEnd() const | SVF::PCG | inlineprivate |
| tdAPI | SVF::PCG | private |
| ~PCG() | SVF::PCG | inlinevirtual |
1.9.1