SVF::SlicedMTA Member List

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

buildPreAnalysisSVFG()	SVF::SlicedMTA	private
collectICFGNodes(SVFG *svfg, const NodeBS &svfgNodeIds)	SVF::SlicedMTA	privatestatic
computeRaceDigests(const std::set< RacePair > &pairs)	SVF::SlicedMTA	privatestatic
detectRacePairsOnSlicedGraph(const std::set< RacePair > &preAnalysisRacePairs, BVDataPTAImpl *slicedPTA, MHP *slicedMHP, LockAnalysis *slicedLockAnalysis)	SVF::SlicedMTA	private
getMainPTA() const	SVF::SlicedMTA	private
getVulnerableStmts() const	SVF::SlicedMTA	private
hasThreadFunctions	SVF::SlicedMTA	private
lockAnalysis	SVF::SlicedMTA	private
mainContextDepth	SVF::SlicedMTA	private
mainFSMPTA	SVF::SlicedMTA	private
mhp	SVF::SlicedMTA	private
mtaSlicedView	SVF::SlicedMTA	private
multiStageSlicer	SVF::SlicedMTA	private
operator=(const SlicedMTA &)=delete	SVF::SlicedMTA
preAndersen	SVF::SlicedMTA	private
preCandidateSolveNodeIds	SVF::SlicedMTA	private
preSVFG	SVF::SlicedMTA	private
preSVFGBuilder	SVF::SlicedMTA	private
ptaSlicedView	SVF::SlicedMTA	private
RacePair typedef	SVF::SlicedMTA
racePairs	SVF::SlicedMTA	private
raceStatementKey(const SVFStmt *statement)	SVF::SlicedMTA	privatestatic
reportOriginalStatistics(SVFIR *svfir)	SVF::SlicedMTA	privatestatic
reportPTASliceStatistics(const std::set< const ICFGNode * > &icfgNodes)	SVF::SlicedMTA	privatestatic
runFinalRaceDetection()	SVF::SlicedMTA	private
runMTASlicingAndAnalysis()	SVF::SlicedMTA	private
runOnModule(SVFIR *pag, AndersenWaveDiff &preAnalysis)	SVF::SlicedMTA
runPreAnalysis()	SVF::SlicedMTA	private
runPTASlicingAndAnalysis()	SVF::SlicedMTA	private
runWholeProgramDetection()	SVF::SlicedMTA	private
selectedThreadVFCandidates	SVF::SlicedMTA	private
singleSlicedNodes	SVF::SlicedMTA	private
singleSlicedSVFGNodeIds	SVF::SlicedMTA	private
singleSlicer	SVF::SlicedMTA	private
slicedLockAnalysis	SVF::SlicedMTA	private
slicedMHP	SVF::SlicedMTA	private
SlicedMTA()	SVF::SlicedMTA
SlicedMTA(const SlicedMTA &)=delete	SVF::SlicedMTA
slicedSVFGView	SVF::SlicedMTA	private
slicedTCT	SVF::SlicedMTA	private
svfir	SVF::SlicedMTA	private
tct	SVF::SlicedMTA	private
threadCallGraph	SVF::SlicedMTA	private
updateDigest(u64_t &digest, const std::string &value)	SVF::SlicedMTA	privatestatic
~SlicedMTA()	SVF::SlicedMTA