|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::MTA, including all inherited members.
| commitRacePair(std::set< RacePair > &out, const RaceOccurrence &first, const RaceOccurrence &second) | SVF::MTA | privatestatic |
| computeLocksets(TCT *tct) | SVF::MTA | virtual |
| computeMHP(TCT *tct) | SVF::MTA | virtual |
| detectRace(SVFIR *svfIr, AndersenBase *pta, MHP *mhp, LockAnalysis *lockAnalysis, CallGraph *callGraph, std::set< RacePair > &outRacePairs) | SVF::MTA | static |
| getGlobalObjectVariables(SVFIR *svfIr) | SVF::MTA | static |
| getLockAnalysis() | SVF::MTA | inline |
| getMHP() | SVF::MTA | inline |
| getPointsToClosure(AndersenBase *pta, const PointsTo &pts) | SVF::MTA | static |
| hasThreadFunctions(CallGraph *callGraph) | SVF::MTA | static |
| lsa | SVF::MTA | private |
| mhp | SVF::MTA | private |
| MTA() | SVF::MTA | |
| occurrencesRace(MHP *mhp, const RaceOccurrence &first, const RaceOccurrence &second) | SVF::MTA | privatestatic |
| reportRaces() | SVF::MTA | virtual |
| runOnModule(SVFIR *module) | SVF::MTA | virtual |
| stat | SVF::MTA | private |
| tcg | SVF::MTA | private |
| tct | SVF::MTA | private |
| ~MTA() | SVF::MTA | virtual |