SVF::SlicedMTA Member List

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

buildFullLockAnalysis()	SVF::SlicedMTA	private
buildVFGPre()	SVF::SlicedMTA	private
detectRacePairsOnSlicedGraph(BVDataPTAImpl *slicedPTA, MHP *slicedMHP, LockAnalysis *slicedLockAnalysis)	SVF::SlicedMTA	private
fullLockAnalysis	SVF::SlicedMTA	private
fullLockTCT	SVF::SlicedMTA	private
fullLockView	SVF::SlicedMTA	private
getMainPTA() const	SVF::SlicedMTA	private
getVulnerableStmts() const	SVF::SlicedMTA	private
hasThreadFunctions	SVF::SlicedMTA	private
lockAnalysis	SVF::SlicedMTA	private
mainCxtDepth	SVF::SlicedMTA	private
mhp	SVF::SlicedMTA	private
mtaFSMPTA	SVF::SlicedMTA	private
mtaSlicedView	SVF::SlicedMTA	private
multiStageSlicer	SVF::SlicedMTA	private
operator=(const SlicedMTA &)=delete	SVF::SlicedMTA
preAnder	SVF::SlicedMTA	private
ptaSlicedView	SVF::SlicedMTA	private
RacePair typedef	SVF::SlicedMTA
racePairs	SVF::SlicedMTA	private
ResolveIndirectCalls typedef	SVF::SlicedMTA
runFinalRaceDetection()	SVF::SlicedMTA	private
runMTASlicingAndAnalysis()	SVF::SlicedMTA	private
runOnModule(SVFIR *pag, const ResolveIndirectCalls &resolveIndirectCalls)	SVF::SlicedMTA
runPreAnalysis(const ResolveIndirectCalls &resolveIndirectCalls)	SVF::SlicedMTA	private
runPTASlicingAndAnalysis()	SVF::SlicedMTA	private
runWholeProgramDetection()	SVF::SlicedMTA	private
singleSlicedNodes	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
vfgPre	SVF::SlicedMTA	private
vfgPreBuilder	SVF::SlicedMTA	private
~SlicedMTA()	SVF::SlicedMTA