SVF::MTA Member List

This is the complete list of members for SVF::MTA, including all inherited members.

buildRaceClasses(const std::vector< RaceOccurrence > &occurrences, const std::vector< size_t > &occurrenceIndices)	SVF::MTA	privatestatic
collectRaceOccurrences(SVFIR *svfir, AndersenBase *pta, MHP *mhp, LockAnalysis *lockAnalysis, CallGraph *callGraph, const PointsTo &escapedObjects, std::vector< RaceOccurrence > &occurrences, ObjectToRaceOccurrences &objectToOccurrences)	SVF::MTA	privatestatic
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
emitRacePairs(MHP *mhp, LockAnalysis *lockAnalysis, const std::vector< RaceOccurrence > &occurrences, const std::vector< RaceClass > &classes, std::set< RacePair > &outRacePairs)	SVF::MTA	privatestatic
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
ObjectToRaceOccurrences typedef	SVF::MTA	private
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