Here is a list of all functions with links to the classes they belong to:

- ~ -

• ~AbstractInterpretation() : SVF::AbstractInterpretation
• ~AbstractState() : SVF::AbstractState
• ~AbstractValue() : SVF::AbstractValue
• ~AccessPath() : SVF::AccessPath
• ~AddressValue() : SVF::AddressValue
• ~AEDetector() : SVF::AEDetector
• ~AEStat() : SVF::AEStat
• ~AETest() : AETest
• ~AliasDDAClient() : SVF::AliasDDAClient
• ~Andersen() : SVF::Andersen
• ~AndersenBase() : SVF::AndersenBase
• ~AndersenSFR() : SVF::AndersenSFR
• ~AndersenStat() : SVF::AndersenStat
• ~Annotator() : SVF::Annotator
• ~BasicBlockEdge() : SVF::BasicBlockEdge
• ~BoundedDouble() : SVF::BoundedDouble
• ~BoundedInt() : SVF::BoundedInt
• ~BufOverflowDetector() : SVF::BufOverflowDetector
• ~BVDataPTAImpl() : SVF::BVDataPTAImpl
• ~CallCHI() : SVF::CallCHI< Cond >
• ~CallGraph() : SVF::CallGraph
• ~CallGraphEdge() : SVF::CallGraphEdge
• ~CallMU() : SVF::CallMU< Cond >
• ~CDG() : SVF::CDG
• ~CDGBuilder() : SVF::CDGBuilder
• ~CDGEdge() : SVF::CDGEdge
• ~CFLBase() : SVF::CFLBase
• ~CFLEdge() : SVF::CFLEdge
• ~CFLFIFOWorkList() : SVF::CFLFIFOWorkList< Data >
• ~CFLGraph() : SVF::CFLGraph
• ~CFLNode() : SVF::CFLNode
• ~CFLSolver() : SVF::CFLSolver
• ~CFLStat() : SVF::CFLStat
• ~CFLSVFGBuilder() : SVF::CFLSVFGBuilder
• ~CHGraph() : SVF::CHGraph
• ~CHNode() : SVF::CHNode
• ~CommonCHGraph() : SVF::CommonCHGraph
• ~CondPTAImpl() : SVF::CondPTAImpl< Cond >
• ~CondPtsSetIterator() : SVF::CondPointsToSet< Cond >::CondPtsSetIterator
• ~CondStdSet() : SVF::CondStdSet< Element >
• ~CondVar() : SVF::CondVar< Cond >
• ~ConstraintEdge() : SVF::ConstraintEdge
• ~ConstraintGraph() : SVF::ConstraintGraph
• ~ContextCond() : SVF::ContextCond
• ~ContextDDA() : SVF::ContextDDA
• ~CxtDPItem() : SVF::CxtDPItem
• ~CxtProc() : SVF::CxtProc
• ~CxtStmt() : SVF::CxtStmt
• ~CxtStmtDPItem() : SVF::CxtStmtDPItem< LocCond >
• ~CxtThread() : SVF::CxtThread
• ~CxtThreadProc() : SVF::CxtThreadProc
• ~CxtThreadStmt() : SVF::CxtThreadStmt
• ~DCHGraph() : SVF::DCHGraph
• ~DCHNode() : SVF::DCHNode
• ~DDAClient() : SVF::DDAClient
• ~DDAPass() : SVF::DDAPass
• ~DDAVFSolver() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• ~DFPTData() : SVF::DFPTData< Key, KeySet, Data, DataSet >
• ~DiffPTData() : SVF::DiffPTData< Key, KeySet, Data, DataSet >
• ~DistinctMRG() : SVF::DistinctMRG
• ~DoubleFreeChecker() : SVF::DoubleFreeChecker
• ~DPItem() : SVF::DPItem
• ~EntryCHI() : SVF::EntryCHI< Cond >
• ~FIFOWorkList() : SVF::FIFOWorkList< Data >
• ~FileChecker() : SVF::FileChecker
• ~FILOWorkList() : SVF::FILOWorkList< Data >
• ~FlowDDA() : SVF::FlowDDA
• ~FlowSensitive() : SVF::FlowSensitive
• ~FlowSensitiveStat() : SVF::FlowSensitiveStat
• ~FunObjVar() : SVF::FunObjVar
• ~FunptrDDAClient() : SVF::FunptrDDAClient
• ~GenericBug() : SVF::GenericBug
• ~GenericEdge() : SVF::GenericEdge< NodeTy >
• ~GenericGraph() : SVF::GenericGraph< NodeTy, EdgeTy >
• ~GenericNode() : SVF::GenericNode< NodeTy, EdgeTy >
• ~GraphReachSolver() : SVF::GraphReachSolver< GraphType, DPIm >
• ~HareParForEdge() : SVF::HareParForEdge
• ~ICFG() : SVF::ICFG
• ~ICFGEdge() : SVF::ICFGEdge
• ~ICFGWTO() : SVF::ICFGWTO
• ~InterDisjointMRG() : SVF::InterDisjointMRG
• ~IntervalValue() : SVF::IntervalValue
• ~IntraDisjointMRG() : SVF::IntraDisjointMRG
• ~IRGraph() : SVF::IRGraph
• ~LeakChecker() : SVF::LeakChecker
• ~List() : SVF::List< Data >
• ~ListNode() : SVF::List< Data >::ListNode
• ~LLVMLoopAnalysis() : SVF::LLVMLoopAnalysis
• ~LLVMModuleSet() : SVF::LLVMModuleSet
• ~LoadMU() : SVF::LoadMU< Cond >
• ~MemRegion() : SVF::MemRegion
• ~MemSSA() : SVF::MemSSA
• ~MemSSAStat() : SVF::MemSSAStat
• ~MHP() : SVF::MHP
• ~MRGenerator() : SVF::MRGenerator
• ~MSSACHI() : SVF::MSSACHI< Cond >
• ~MSSADEF() : SVF::MSSADEF
• ~MSSAMU() : SVF::MSSAMU< Cond >
• ~MSSAPHI() : SVF::MSSAPHI< Cond >
• ~MTA() : SVF::MTA
• ~MutableDFPTData() : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >
• ~MutableDiffPTData() : SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >
• ~MutableIncDFPTData() : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >
• ~MutablePTData() : SVF::MutablePTData< Key, KeySet, Data, DataSet >
• ~MutableVersionedPTData() : SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• ~ObjTypeInference() : SVF::ObjTypeInference
• ~ObjTypeInfo() : SVF::ObjTypeInfo
• ~PAGBuilderFromFile() : SVF::PAGBuilderFromFile
• ~PersistentDFPTData() : SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
• ~PersistentDiffPTData() : SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• ~PersistentIncDFPTData() : SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• ~PersistentPTData() : SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• ~PersistentVersionedPTData() : SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• ~POCRHybridSolver() : SVF::POCRHybridSolver
• ~POCRSolver() : SVF::POCRSolver
• ~PointerAnalysis() : SVF::PointerAnalysis
• ~PointsTo() : SVF::PointsTo
• ~ProgSlice() : SVF::ProgSlice
• ~PTAStat() : SVF::PTAStat
• ~PTData() : SVF::PTData< Key, KeySet, Data, DataSet >
• ~RelExeState() : SVF::RelExeState
• ~RetMU() : SVF::RetMU< Cond >
• ~SaberCondAllocator() : SVF::SaberCondAllocator
• ~SaberSVFGBuilder() : SVF::SaberSVFGBuilder
• ~SrcSnkDDA() : SVF::SrcSnkDDA
• ~SrcSnkSolver() : SVF::SrcSnkSolver< GraphType, DPIm >
• ~StInfo() : SVF::StInfo
• ~StmtDPItem() : SVF::StmtDPItem< LocCond >
• ~StoreCHI() : SVF::StoreCHI< Cond >
• ~SVFBasicBlock() : SVF::SVFBasicBlock
• ~SVFBugEvent() : SVF::SVFBugEvent
• ~SVFBugReport() : SVF::SVFBugReport
• ~SVFG() : SVF::SVFG
• ~SVFGBuilder() : SVF::SVFGBuilder
• ~SVFGOPT() : SVF::SVFGOPT
• ~SVFGStat() : SVF::SVFGStat
• ~SVFIR() : SVF::SVFIR
• ~SVFIRBuilder() : SVF::SVFIRBuilder
• ~SVFLoop() : SVF::SVFLoop
• ~SVFLoopAndDomInfo() : SVF::SVFLoopAndDomInfo
• ~SVFStat() : SVF::SVFStat
• ~SVFStmt() : SVF::SVFStmt
• ~SVFType() : SVF::SVFType
• ~SVFVar() : SVF::SVFVar
• ~SymblicAbstractionTest() : SymblicAbstractionTest
• ~TCT() : SVF::TCT
• ~TCTEdge() : SVF::TCTEdge
• ~ThreadCallGraph() : SVF::ThreadCallGraph
• ~ThreadForkEdge() : SVF::ThreadForkEdge
• ~ThreadJoinEdge() : SVF::ThreadJoinEdge
• ~TreeNode() : SVF::POCRHybridSolver::TreeNode
• ~TypeAnalysis() : SVF::TypeAnalysis
• ~VersionedFlowSensitiveStat() : SVF::VersionedFlowSensitiveStat
• ~VersionedPTData() : SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• ~VFG() : SVF::VFG
• ~VFGEdge() : SVF::VFGEdge
• ~WPAFSSolver() : SVF::WPAFSSolver< GraphType >
• ~WPAMinimumSolver() : SVF::WPAMinimumSolver< GraphType >
• ~WPAPass() : SVF::WPAPass
• ~WPASCCSolver() : SVF::WPASCCSolver< GraphType >
• ~WPASolver() : SVF::WPASolver< GraphType >
• ~WTO() : SVF::WTO< GraphT >
• ~WTOComponent() : SVF::WTOComponent< GraphT >
• ~WTOComponentVisitor() : SVF::WTOComponentVisitor< GraphT >
• ~WTOCycleDepth() : SVF::WTOCycleDepth< GraphT >
• ~Z3Expr() : SVF::Z3Expr