Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF::MTA Member List

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::MTAprivatestatic
computeLocksets(TCT *tct)SVF::MTAvirtual
computeMHP(TCT *tct)SVF::MTAvirtual
detectRace(SVFIR *svfIr, AndersenBase *pta, MHP *mhp, LockAnalysis *lockAnalysis, CallGraph *callGraph, std::set< RacePair > &outRacePairs)SVF::MTAstatic
getGlobalObjectVariables(SVFIR *svfIr)SVF::MTAstatic
getLockAnalysis()SVF::MTAinline
getMHP()SVF::MTAinline
getPointsToClosure(AndersenBase *pta, const PointsTo &pts)SVF::MTAstatic
hasThreadFunctions(CallGraph *callGraph)SVF::MTAstatic
lsaSVF::MTAprivate
mhpSVF::MTAprivate
MTA()SVF::MTA
occurrencesRace(MHP *mhp, const RaceOccurrence &first, const RaceOccurrence &second)SVF::MTAprivatestatic
reportRaces()SVF::MTAvirtual
runOnModule(SVFIR *module)SVF::MTAvirtual
statSVF::MTAprivate
tcgSVF::MTAprivate
tctSVF::MTAprivate
~MTA()SVF::MTAvirtual