Class Hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

[detail level 1234567]

C< > WrappedIteratorT & > >
CSVF::iter_adaptor_base< pointer_iterator< WrappedIteratorT, decltype(&*std::declval< WrappedIteratorT >()) >, WrappedIteratorT, std::iterator_traits< WrappedIteratorT >::iterator_category, decltype(&*std::declval< WrappedIteratorT >()) >
CSVF::AbsExtAPI	Handles external API calls and manages abstract states
CSVF::AbstractInterpretation
CSVF::SemiSparseAbstractInterpretation
CSVF::FullSparseAbstractInterpretation
CSVF::AbstractState
CSVF::AbstractValue
CSVF::AccessPath
CSVF::SVFUtil::add_const_past_pointer< T, Enable >
CSVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >
CSVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, Enable >	If T is a pointer, just return it. If it is not, return T&
CSVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >
CSVF::AddressValue
CSVF::AEDetector	Base class for all detectors
CSVF::BufOverflowDetector	Detector for identifying buffer overflow issues
CSVF::NullptrDerefDetector
CAETest
CSVF::AEWTO
CSVF::AbstractInterpretation::AllocationSizeBounds
CSVF::BoundedDouble
CSVF::BoundedInt	A class representing a bounded 64-bit integer
CSVF::BufOverflowDetector::BufferOverflowInfo
CSVF::CallGraphBuilder
CSVF::ThreadCallGraph::CallSiteIdCmp
CSVF::SVFUtil::cast_convert_val< To, From, SimpleFrom >
CSVF::SVFUtil::cast_convert_val< To, FromTy, FromTy >
CSVF::SVFUtil::cast_retty< To, From >
CSVF::SVFUtil::cast_retty_impl< To, From >
CSVF::SVFUtil::cast_retty_impl< To, const From * >
CSVF::SVFUtil::cast_retty_impl< To, const From *const >
CSVF::SVFUtil::cast_retty_impl< To, const From >
CSVF::SVFUtil::cast_retty_impl< To, From * >
CSVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >
CSVF::SVFUtil::cast_retty_wrap< To, From, SimpleFrom >
CSVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >
CSVF::CDGBuilder
CSVF::CFGNormalizer
CSVF::CFLFIFOWorkList< Data >
CSVF::CFLGramGraphChecker
CSVF::CFLGraphBuilder
CSVF::AliasCFLGraphBuilder	AliasCFLGraphBuilder: a CFLGraphBuilder specialized for handling aliasing
CSVF::VFCFLGraphBuilder	VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow
CSVF::CFLSolver
CSVF::POCRSolver	Solver Utilize CFLData
CSVF::POCRHybridSolver	Solver Utilize Hybrid Representation of Graph
CSVF::CHGBuilder
CcJSON
CcJSON_Hooks
CSVF::NodeIDAllocator::Clusterer
CSVF::CommonCHGraph	Common base for class hierarchy graph. Only implements what PointerAnalysis needs
CSVF::CHGraph
CSVF::CondPointsToSet< Cond >
CSVF::CondPointsToSet< Cond >::CondPtsSetIterator	Conditional Points-to Set Iterator
CSVF::CondStdSet< Element >
CSVF::CondVar< Cond >
CSVF::ContextCond
CSVF::CoreBitVector
CSVF::BitVector
CSVF::CoreBitVector::CoreBitVectorIterator
CSVF::CSC
CSVF::CxtProc
CSVF::CxtThreadProc
CSVF::CxtStmt
CSVF::CxtThreadStmt
CSVF::CxtThread
CSVF::cppUtil::CXXABI
CSVF::cppUtil::ItaniumABI
CSVF::cppUtil::MSVCABI
CSVF::DDAClient
CSVF::AliasDDAClient
CSVF::FunptrDDAClient
CSVF::DDAPass
CSVF::DDAVFSolver< CVar, CPtSet, DPIm >
CSVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >
CSVF::ContextDDA
CSVF::DDAVFSolver< NodeID, PointsTo, LocDPItem >
CSVF::FlowDDA
CSVF::DefaultDOTGraphTraits
CSVF::DOTGraphTraits< GraphType >
CSVF::DOTGraphTraits< SVFIR * >
CSVF::DOTGraphTraits< ConstraintGraph * >
CSVF::DOTGraphTraits< ICFG * >
CSVF::DOTGraphTraits< SVFG * >
CSVF::DOTGraphTraits< VFG * >
CSVF::DOTGraphTraits< SVF::PAG * >
CSVF::DOTGraphTraits< SVF::CDG * >
CSVF::DOTGraphTraits< CFLGraph * >
CSVF::DOTGraphTraits< CHGraph * >
CSVF::DOTGraphTraits< CallGraph * >
CSVF::DOTGraphTraits< ConstraintGraph * >
CSVF::DOTGraphTraits< ICFG * >
CSVF::DOTGraphTraits< IRGraph * >
CSVF::DOTGraphTraits< SVF::CDG * >
CSVF::DOTGraphTraits< SVFG * >
CSVF::DOTGraphTraits< SparseObjGraph * >
CSVF::DOTGraphTraits< TCT * >
CSVF::DOTGraphTraits< VFG * >
CSVF::DOTGraphTraits< const SlicedICFGView * >
CSVF::DOTGraphTraits< const SlicedPAGView * >
CSVF::DOTGraphTraits< const SlicedSVFGView * >
CSVF::DOTGraphTraits< const SlicedThreadCallGraphView * >
CSVF::DOTGraphTraits< Ty >
CSVF::DOTGraphTraits< CFLGraph * >
CSVF::DOTGraphTraits< CHGraph * >
CSVF::DOTGraphTraits< CallGraph * >
CSVF::DOTGraphTraits< IRGraph * >
CSVF::DOTGraphTraits< SparseObjGraph * >
CSVF::DOTGraphTraits< TCT * >
CSVF::DOTGraphTraits< const SlicedICFGView * >
CSVF::DOTGraphTraits< const SlicedPAGView * >
CSVF::DOTGraphTraits< const SlicedSVFGView * >
CSVF::DOTGraphTraits< const SlicedThreadCallGraphView * >
CSVF::cppUtil::DemangledName
CSVF::DPItem
CSVF::StmtDPItem< SVFGNode >
CSVF::CxtStmtDPItem< SVFGNode >
CSVF::CxtDPItem
CSVF::StmtDPItem< LocCond >
CSVF::CxtStmtDPItem< LocCond >
CSVF::GenericEdge< NodeTy >::equalGEdge	Add the hash function for std::set (we also can overload operator< to implement this)
CSVF::MemRegion::equalMemRegion
CSVF::SVFUtil::equalNodeBS
CSVF::SVFUtil::equalPointsTo
Cerror
Cstd::exception
CSVF::AEException	Exception class for handling errors in Abstract Execution
CSVF::ExtAPI
Cstd::false_type
CSVF::has_edgetype< T, std::void_t< typename T::EdgeType > >
CSVF::has_nodetype< T, std::void_t< typename T::NodeType > >
CSVF::has_edgetype< T, typename >
CSVF::has_nodetype< T, typename >
CSVF::FIFOWorkList< Data >
CSVF::FILOWorkList< Data >
CSVF::ThreadAPI::ForkJoinAliasCache	If fork join the same thread
CSVF::ForkJoinAnalysis
CSVF::TCT::FunObjVarIdCmp
Cllvm::generic_bridge_gep_type_iterator< ItTy >
CSVF::GenericBug
CSVF::BufferOverflowBug
CSVF::FullBufferOverflowBug
CSVF::PartialBufferOverflowBug
CSVF::DoubleFreeBug
CSVF::FileNeverCloseBug
CSVF::FilePartialCloseBug
CSVF::FullNullPtrDereferenceBug
CSVF::NeverFreeBug
CSVF::PartialLeakBug
CSVF::PartialNullPtrDereferenceBug
CSVF::GenericEdge< NodeTy >
CSVF::GenericEdge< CallGraphNode >
CSVF::CallGraphEdge
CSVF::HareParForEdge
CSVF::ThreadForkEdge
CSVF::ThreadJoinEdge
CSVF::GenericEdge< CDGNode >
CSVF::CDGEdge
CSVF::GenericEdge< CFLNode >
CSVF::CFLEdge
CSVF::GenericEdge< CHNode >
CSVF::CHEdge
CSVF::GenericEdge< ConstraintNode >
CSVF::ConstraintEdge
CSVF::AddrCGEdge
CSVF::CopyCGEdge
CSVF::GepCGEdge
CSVF::NormalGepCGEdge
CSVF::VariantGepCGEdge
CSVF::LoadCGEdge
CSVF::StoreCGEdge
CSVF::GenericEdge< ICFGNode >
CSVF::ICFGEdge
CSVF::CallCFGEdge
CSVF::IntraCFGEdge
CSVF::RetCFGEdge
CSVF::GenericEdge< SparseObjNode >
CSVF::SparseObjEdge	An edge carries the source packed Obj to the target ICFG location
CSVF::GenericEdge< SVFBasicBlock >
CSVF::BasicBlockEdge
CSVF::GenericEdge< SVFVar >
CSVF::SVFStmt
CSVF::AssignStmt
CSVF::AddrStmt
CSVF::CopyStmt
CSVF::GepStmt
CSVF::LoadStmt
CSVF::RetPE
CSVF::TDJoinPE
CSVF::StoreStmt
CSVF::BranchStmt
CSVF::MultiOpndStmt
CSVF::BinaryOPStmt
CSVF::CallPE
CSVF::TDForkPE
CSVF::CmpStmt
CSVF::PhiStmt
CSVF::SelectStmt
CSVF::UnaryOPStmt
CSVF::GenericEdge< TCTNode >
CSVF::TCTEdge
CSVF::GenericEdge< VFGNode >
CSVF::VFGEdge
CSVF::DirectSVFGEdge
CSVF::CallDirSVFGEdge
CSVF::IntraDirSVFGEdge
CSVF::RetDirSVFGEdge
CSVF::IndirectSVFGEdge
CSVF::CallIndSVFGEdge
CSVF::IntraIndSVFGEdge
CSVF::RetIndSVFGEdge
CSVF::ThreadMHPIndSVFGEdge
CSVF::GenericGraph< NodeTy, EdgeTy >
CSVF::GenericGraph< CallGraphNode, CallGraphEdge >
CSVF::CallGraph
CSVF::ThreadCallGraph
CSVF::GenericGraph< CDGNode, CDGEdge >
CSVF::CDG
CSVF::GenericGraph< CFLNode, CFLEdge >
CSVF::CFLGraph
CSVF::GenericGraph< CHNode, CHEdge >
CSVF::CHGraph
CSVF::GenericGraph< ConstraintNode, ConstraintEdge >
CSVF::ConstraintGraph
CSVF::GenericGraph< ICFGNode, ICFGEdge >
CSVF::ICFG
CSVF::GenericGraph< SparseObjNode, SparseObjEdge >
CSVF::SparseObjGraph
CSVF::GenericGraph< SVFBasicBlock, BasicBlockEdge >
CSVF::BasicBlockGraph
CSVF::GenericGraph< SVFVar, SVFStmt >
CSVF::IRGraph
CSVF::SVFIR
CSVF::GenericGraph< TCTNode, TCTEdge >
CSVF::TCT
CSVF::SlicedTCT
CSVF::GenericGraph< VFGNode, VFGEdge >
CSVF::VFG
CSVF::SVFG
CSVF::SVFGOPT
CSVF::GenericGraphReader< typename, typename >
CSVF::GenericGraphTraits< GraphType >
CSVF::GenericGraphTraits< const SlicedICFGView * >
CSVF::GenericGraphTraits< const SlicedPAGView * >
CSVF::GenericGraphTraits< const SlicedSVFGView * >
CSVF::GenericGraphTraits< const SlicedThreadCallGraphView * >
CSVF::GenericGraphTraits< GenericGraph< SparseObjNode, SparseObjEdge > * >
CSVF::GenericGraphTraits< SparseObjGraph * >
CSVF::GenericGraphTraits< GenericNode< SparseObjNode, SparseObjEdge > * >
CSVF::GenericGraphTraits< SparseObjNode * >
CSVF::GenericGraphTraits< Inverse< const SlicedICFGView * > >
CSVF::GenericGraphTraits< Inverse< const SlicedPAGView * > >
CSVF::GenericGraphTraits< Inverse< const SlicedSVFGView * > >
CSVF::GenericGraphTraits< Inverse< const SlicedThreadCallGraphView * > >
CSVF::GenericGraphTraits< Inverse< GenericNode< SparseObjNode, SparseObjEdge > * > >
CSVF::GenericGraphTraits< Inverse< SparseObjNode * > >
CSVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >
CSVF::GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CallGraphNode, SVF::CallGraphEdge > * > >
CSVF::GenericGraphTraits< Inverse< SVF::CallGraphNode * > >	Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal
CSVF::GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CDGNode, SVF::CDGEdge > * > >
CSVF::GenericGraphTraits< Inverse< SVF::CDGNode * > >	Inverse GenericGraphTraits specializations for call graph node, it is used for inverse ICFGTraversal
CSVF::GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CFLNode, SVF::CFLEdge > * > >
CSVF::GenericGraphTraits< Inverse< SVF::CFLNode * > >	Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal
CSVF::GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * > >
CSVF::GenericGraphTraits< Inverse< SVF::CHNode * > >
CSVF::GenericGraphTraits< Inverse< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * > >
CSVF::GenericGraphTraits< Inverse< SVF::ConstraintNode * > >	Inverse GenericGraphTraits specializations for Value flow node, it is used for inverse traversal
CSVF::GenericGraphTraits< Inverse< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * > >
CSVF::GenericGraphTraits< Inverse< SVF::ICFGNode * > >	Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal
CSVF::GenericGraphTraits< Inverse< SVF::GenericNode< SVF::SVFVar, SVF::SVFStmt > * > >
CSVF::GenericGraphTraits< Inverse< SVF::SVFVar * > >	Inverse GenericGraphTraits specializations for SVFIR node, it is used for inverse traversal
CSVF::GenericGraphTraits< Inverse< SVF::GenericNode< SVF::TCTNode, SVF::TCTEdge > * > >
CSVF::GenericGraphTraits< Inverse< SVF::TCTNode * > >	Inverse GenericGraphTraits specializations for Value flow node, it is used for inverse traversal
CSVF::GenericGraphTraits< Inverse< SVF::GenericNode< SVF::VFGNode, SVF::VFGEdge > * > >
CSVF::GenericGraphTraits< Inverse< SVF::VFGNode * > >	Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal
CSVF::GenericGraphTraits< SVF::GenericGraph< SVF::CallGraphNode, SVF::CallGraphEdge > * >
CSVF::GenericGraphTraits< SVF::CallGraph * >
CSVF::GenericGraphTraits< SVF::ThreadCallGraph * >
CSVF::GenericGraphTraits< SVF::GenericGraph< SVF::CDGNode, SVF::CDGEdge > * >
CSVF::GenericGraphTraits< SVF::CDG * >
CSVF::GenericGraphTraits< SVF::GenericGraph< SVF::CFLNode, SVF::CFLEdge > * >
CSVF::GenericGraphTraits< SVF::CFLGraph * >
CSVF::GenericGraphTraits< SVF::GenericGraph< SVF::CHNode, SVF::CHEdge > * >
CSVF::GenericGraphTraits< SVF::CHGraph * >
CSVF::GenericGraphTraits< SVF::GenericGraph< SVF::ConstraintNode, SVF::ConstraintEdge > * >
CSVF::GenericGraphTraits< SVF::ConstraintGraph * >
CSVF::GenericGraphTraits< SVF::GenericGraph< SVF::ICFGNode, SVF::ICFGEdge > * >
CSVF::GenericGraphTraits< SVF::ICFG * >
CSVF::GenericGraphTraits< SVF::GenericGraph< SVF::SVFGNode, SVF::SVFGEdge > * >
CSVF::GenericGraphTraits< SVF::SVFG * >
CSVF::GenericGraphTraits< SVF::GenericGraph< SVF::SVFVar, SVF::SVFStmt > * >
CSVF::GenericGraphTraits< SVF::IRGraph * >
CSVF::GenericGraphTraits< SVF::GenericGraph< SVF::TCTNode, SVF::TCTEdge > * >
CSVF::GenericGraphTraits< SVF::TCT * >
CSVF::GenericGraphTraits< SVF::GenericGraph< SVF::VFGNode, SVF::VFGEdge > * >
CSVF::GenericGraphTraits< SVF::VFG * >
CSVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
CSVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
CSVF::GenericGraphTraits< SVF::GenericNode< SVF::CallGraphNode, SVF::CallGraphEdge > * >
CSVF::GenericGraphTraits< SVF::CallGraphNode * >
CSVF::GenericGraphTraits< SVF::GenericNode< SVF::CDGNode, SVF::CDGEdge > * >
CSVF::GenericGraphTraits< SVF::CDGNode * >
CSVF::GenericGraphTraits< SVF::GenericNode< SVF::CFLNode, SVF::CFLEdge > * >
CSVF::GenericGraphTraits< SVF::CFLNode * >
CSVF::GenericGraphTraits< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * >
CSVF::GenericGraphTraits< SVF::CHNode * >
CSVF::GenericGraphTraits< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * >
CSVF::GenericGraphTraits< SVF::ConstraintNode * >
CSVF::GenericGraphTraits< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * >
CSVF::GenericGraphTraits< SVF::ICFGNode * >
CSVF::GenericGraphTraits< SVF::GenericNode< SVF::SVFVar, SVF::SVFStmt > * >
CSVF::GenericGraphTraits< SVF::SVFVar * >
CSVF::GenericGraphTraits< SVF::GenericNode< SVF::TCTNode, SVF::TCTEdge > * >
CSVF::GenericGraphTraits< SVF::TCTNode * >
CSVF::GenericGraphTraits< SVF::GenericNode< SVF::VFGNode, SVF::VFGEdge > * >
CSVF::GenericGraphTraits< SVF::VFGNode * >
CSVF::GenericGraphTraits< T >
CSVF::GenericGraphTraits< Inverse< Inverse< T > > >
CSVF::GenericGraphWriter< typename, typename >
CSVF::SCCDetection< GraphType >::GNodeSCCInfo
CSVF::GrammarBase
CSVF::CFGrammar
CSVF::GrammarBuilder
CSVF::GraphPrinter
CSVF::GraphReachSolver< GraphType, DPIm >
CSVF::GraphReachSolver< SVFG *, CxtDPItem >
CSVF::SrcSnkDDA
CSVF::LeakChecker
CSVF::DoubleFreeChecker
CSVF::FileChecker
CSVF::GraphWriter< GraphType >
CSVF::Hash< T >	Provide extra hash function for std::pair handling
Cstd::hash< const SVF::CondVar< Cond > >	Specialise hash for CondVar
Cstd::hash< const SVF::ContextCond >	Specialise hash for ContextCond
CSVF::Hash< CoreBitVector >
CSVF::Hash< NodePair >
CSVF::Hash< std::pair< S, T > >
Cstd::hash< std::vector< T > >
Cstd::hash< SVF::AccessPath >
Cstd::hash< SVF::CondStdSet< Element > >
Cstd::hash< SVF::CondVar< Cond > >
Cstd::hash< SVF::ContextCond >
Cstd::hash< SVF::CxtDPItem >	Specialise hash for CxtDPItem
Cstd::hash< SVF::CxtProc >
Cstd::hash< SVF::CxtStmt >
Cstd::hash< SVF::CxtStmtDPItem< LocCond > >	Specialise hash for CxtStmtDPItem
Cstd::hash< SVF::CxtThread >
Cstd::hash< SVF::CxtThreadProc >
Cstd::hash< SVF::CxtThreadStmt >
Cstd::hash< SVF::NodePair >
Cstd::hash< SVF::PointsTo >
Cstd::hash< SVF::RelExeState >
Cstd::hash< SVF::SparseBitVector< N > >	Specialise hash for SparseBitVectors
Cstd::hash< SVF::StmtDPItem< LocCond > >	Specialise hash for StmtDPItem
Cstd::hash< SVF::Z3Expr >	Specialise hash for AbsCxtDPItem
CSVF::ICFGBuilder
Cllvm::InstVisitor
CSVF::SVFIRBuilder
Cinternal_hooks
CSVF::IntervalValue
CSVF::Inverse< GraphType >
CSVF::SVFUtil::is_simple_type< X >
CSVF::SVFUtil::isa_impl< To, From, Enabler >
CSVF::SVFUtil::isa_impl< To, From, std::enable_if_t< std::is_base_of< To, From >::value > >	Always allow upcasts, and perform no dynamic check for them
CSVF::SVFUtil::isa_impl_cl< To, From >
CSVF::SVFUtil::isa_impl_cl< To, const From * >
CSVF::SVFUtil::isa_impl_cl< To, const From *const >
CSVF::SVFUtil::isa_impl_cl< To, const From >
CSVF::SVFUtil::isa_impl_cl< To, const std::unique_ptr< From > >
CSVF::SVFUtil::isa_impl_cl< To, From * >
CSVF::SVFUtil::isa_impl_cl< To, From *const >
CSVF::SVFUtil::isa_impl_wrap< To, From, SimpleFrom >
CSVF::SVFUtil::isa_impl_wrap< To, FromTy, FromTy >
CSVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
CSVF::iter_adaptor_base< mapped_iter< ItTy, FuncTy >, ItTy, std::iterator_traits< ItTy >::iterator_category, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type >
CSVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
CSVF::mapped_iter< typename SVF::GenericNode< NodeTy, EdgeTy >::iterator, decltype(&edge_dest)>
CSVF::mapped_iter< typename GenericGraphTy::iterator, decltype(&deref_val)>
CSVF::pointer_iterator< pointee_iter< WrappedIteratorT, T1 >, T2 >
CSVF::mapped_iter< ItTy, FuncTy, FuncReturnTy >
CSVF::pointee_iter< WrappedIteratorT, T >
CSVF::pointer_iterator< WrappedIteratorT, T >
Citer_facade_base< pointee_iter
CSVF::iter_adaptor_base< pointee_iter< WrappedIteratorT, std::remove_reference_t< decltype(**std::declval< WrappedIteratorT >())> >, WrappedIteratorT, std::iterator_traits< WrappedIteratorT >::iterator_category, std::remove_reference_t< decltype(**std::declval< WrappedIteratorT >())> >
CSVF::iter_range< IteratorT >
CSVF::LeadingZerosCounter< T, SizeOfT >
CSVF::List< Data >
CSVF::List< Data >::ListNode
CSVF::LLVMLoopAnalysis
CSVF::LLVMModuleSet
CSVF::AndersenWaveDiff::LoadStoreState
CSVF::LockAnalysis
CSVF::MemRegion	Memory Region class
CSVF::MemSSA
CSVF::MHP
CModulePass
CSVF::BreakConstantGEPs
CSVF::MergeFunctionRets
CSVF::MRGenerator
CSVF::DistinctMRG
CSVF::IntraDisjointMRG
CSVF::InterDisjointMRG
CSVF::MRVer
CSVF::MSSADEF
CSVF::MSSACHI< Condition >
CSVF::CallCHI< Condition >
CSVF::EntryCHI< Condition >
CSVF::StoreCHI< Condition >
CSVF::MSSAPHI< Condition >
CSVF::MSSACHI< Cond >
CSVF::CallCHI< Cond >
CSVF::EntryCHI< Cond >
CSVF::StoreCHI< Cond >
CSVF::MSSAPHI< Cond >
CSVF::MSSAMU< Cond >
CSVF::CallMU< Cond >
CSVF::LoadMU< Cond >
CSVF::RetMU< Cond >
CSVF::MSSAMU< Condition >
CSVF::CallMU< Condition >
CSVF::LoadMU< Condition >
CSVF::RetMU< Condition >
CSVF::MTA
CSVF::MTASlicerBase
CSVF::MultiStageSlicer
CSVF::SingleSlicer
CSVF::VersionedFlowSensitive::SCC::NodeData
CSVF::NodeIDAllocator
CSVF::MHP::NodeThreadSummary
CSVF::ObjTypeInference
CSVF::ObjTypeInfo
COptionBase
COption< bool >
COption< u32_t >
COption< std::string >
COptionMap< SVFStat::ClockType >
COptionMap< SVF::NodeIDAllocator::Strategy >
COptionMap< PointsTo::Type >
COptionMap< u32_t >
COptionMap< PTBackingType >
COptionMultiple< PTATY >
COptionMultiple< u32_t >
COption< T >
COptionMap< T >
COptionMultiple< T >
CSVF::Options	Carries around command line options
CSVF::PAGBuilderFromFile
Cparse_buffer
CSVF::PersistentPointsToCache< Data >
CSVF::PointerAnalysis
CSVF::CondPTAImpl< ContextCond >
CSVF::ContextDDA
CSVF::BVDataPTAImpl
CSVF::AndersenBase
CSVF::Andersen
CSVF::AndersenSCD
CSVF::AndersenSFR
CSVF::AndersenWaveDiff
CSVF::Steensgaard
CSVF::TypeAnalysis
CSVF::CFLBase	CFL Client Base Class
CSVF::CFLAlias
CSVF::POCRAlias
CSVF::POCRHybrid
CSVF::CFLVF
CSVF::FlowDDA
CSVF::FlowSensitive
CSVF::FSMPTA< SVFGGraph >
CSVF::VersionedFlowSensitive
CSVF::CondPTAImpl< Cond >
CSVF::PointsTo
CSVF::PointsTo::PointsToIterator
CSVF::PopulationCounter< T, SizeOfT >
CSVF::PopulationCounter< T, 8 >
Cprintbuffer
CSVF::ProgSlice
CSVF::PTData< Key, KeySet, Data, DataSet >
CSVF::PtsMap< Key, KeySet, Data, DataSet >
CSVF::KeyToIDMap< Key, KeySet, Data, DataSet >
CSVF::DFPTData< Key, KeySet, Data, DataSet >
CSVF::MutableDFPTData< Key, KeySet, Data, DataSet >
CSVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >	Incremental version of the mutable data-flow points-to data structure
CSVF::PersistentDFPTData< Key, KeySet, Data, DataSet >	DFPTData backed by a PersistentPointsToCache
CSVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >	Incremental version of the persistent data-flow points-to data structure
CSVF::DiffPTData< Key, KeySet, Data, DataSet >
CSVF::MutableDiffPTData< Key, KeySet, Data, DataSet >	DiffPTData implemented with points-to sets which are updated continuously
CSVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >	DiffPTData implemented with a persistent points-to backing
CSVF::MutablePTData< Key, KeySet, Data, DataSet >	PTData implemented using points-to sets which are created once and updated continuously
CSVF::PersistentPTData< Key, KeySet, Data, DataSet >	PTData backed by a PersistentPointsToCache
CSVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
CSVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
CSVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
CSVF::PTData< CVar, Set< CVar >, CVar, CPtSet >
CSVF::MutablePTData< CVar, Set< CVar >, CVar, CPtSet >
CSVF::PTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::DFPTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::MutableDFPTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::MutableIncDFPTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::PersistentDFPTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::PersistentIncDFPTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::DiffPTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::MutableDiffPTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::PersistentDiffPTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::MutablePTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::PersistentPTData< NodeID, NodeSet, NodeID, PointsTo >
CSVF::VersionedPTData< NodeID, NodeSet, NodeID, PointsTo, VersionedVar, Set< VersionedVar > >
CSVF::MutableVersionedPTData< NodeID, NodeSet, NodeID, PointsTo, VersionedVar, Set< VersionedVar > >
CSVF::PersistentVersionedPTData< NodeID, NodeSet, NodeID, PointsTo, VersionedVar, Set< VersionedVar > >
CSVF::PTData< VersionedKey, VersionedKeySet, Data, DataSet >
CSVF::MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet >
CSVF::KeyToIDMap< VersionedKey, VersionedKeySet, Data, DataSet >
CSVF::PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet >
CSVF::MTA::RaceClass
CSVF::MTA::RaceClassKey
CSVF::SlicedMTA::RaceDigests
CSVF::MTA::RaceOccurrence	One occurrence of a memory access under one thread instance
CSVF::MTA::RacePair	A race pair: two statements that may race
CSVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy
CSVF::RelationSolver
CSVF::RelExeState
CSVF::SaberCheckerAPI
CSVF::SaberCondAllocator
CSVF::VersionedFlowSensitive::SCC
CSVF::SCCDetection< GraphType >
CSVF::ScopedPhaseTimer
CSVF::SVFUtil::simplify_type< From >
CSVF::SVFUtil::simplify_type< const From >
CSVF::SlicedCallGraphEdgeRef
CSVF::SlicedCGChildIterImpl< Forward >
CSVF::SlicedCGEdgeIterImpl< Forward >
CSVF::SlicedCGNodeIter
CSVF::SlicedICFGChildIterImpl< Forward >
CSVF::SlicedICFGEdgeIterImpl< Forward >
CSVF::SlicedICFGEdgeRef
CSVF::SlicedICFGNodeIter
CSVF::SlicedICFGView
CSVF::SlicedMTA
CSVF::SlicedNodeRef< ViewT, RawNodeT >
CSVF::SlicedPAGChildIterImpl< Forward >
CSVF::SlicedPAGEdgeIterImpl< Forward >
CSVF::SlicedPAGEdgeRef
CSVF::SlicedPAGNodeIter
CSVF::SlicedPAGView
CSVF::SlicedSVFGChildIterImpl< Forward >
CSVF::SlicedSVFGEdgeIterImpl< Forward >
CSVF::SlicedSVFGEdgeRef
CSVF::SlicedSVFGNodeIter
CSVF::SlicedSVFGView
CSVF::SlicedSVFIRView
CSVF::SlicedThreadCallGraphView
CSVF::SparseBitVector< ElementSize >
CSVF::SparseBitVectorElement< ElementSize >
CSVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
CSVF::SrcSnkSolver< GraphType, DPIm >
CSVF::StInfo
CSVF::SVFBugEvent
CSVF::SVFBugReport
CSVF::SVFGBuilder
CSVF::MTASVFGBuilder
CSVF::SaberSVFGBuilder
CSVF::CFLSVFGBuilder
CSVF::SVFLoop
CSVF::SVFLoopAndDomInfo
CSVF::SVFStat
CSVF::AEStat	AEStat: Statistic for AE
CSVF::PTAStat
CSVF::AndersenStat
CSVF::CFLStat
CSVF::DDAStat
CSVF::FlowSensitiveStat
CSVF::ICFGStat
CSVF::MTAStat
CSVF::MemSSAStat
CSVF::SVFGStat
CSVF::VersionedFlowSensitiveStat
CSVF::SVFType
CSVF::SVFArrayType
CSVF::SVFFunctionType
CSVF::SVFIntegerType
CSVF::SVFOtherType
CSVF::SVFPointerType
CSVF::SVFStructType
CSVF::SVFValue
CSVF::GenericNode< SVFBasicBlock, BasicBlockEdge >
CSVF::SVFBasicBlock
CSVF::GEdgeSetTy< CallGraphNode, CallGraphEdge >
CSVF::GenericNode< CallGraphNode, CallGraphEdge >
CSVF::CallGraphNode
CSVF::GEdgeSetTy< CDGNode, CDGEdge >
CSVF::GenericNode< CDGNode, CDGEdge >
CSVF::CDGNode
CSVF::GEdgeSetTy< CFLNode, CFLEdge >
CSVF::GenericNode< CFLNode, CFLEdge >
CSVF::CFLNode
CSVF::GEdgeSetTy< CHNode, CHEdge >
CSVF::GenericNode< CHNode, CHEdge >
CSVF::CHNode
CSVF::GEdgeSetTy< ConstraintNode, ConstraintEdge >
CSVF::GenericNode< ConstraintNode, ConstraintEdge >
CSVF::ConstraintNode
CSVF::GEdgeSetTy< ICFGNode, ICFGEdge >
CSVF::GenericNode< ICFGNode, ICFGEdge >
CSVF::ICFGNode
CSVF::GlobalICFGNode
CSVF::InterICFGNode
CSVF::CallICFGNode
CSVF::FunEntryICFGNode
CSVF::FunExitICFGNode
CSVF::RetICFGNode
CSVF::IntraICFGNode
CSVF::GenericNode< SparseObjNode, SparseObjEdge >
CSVF::SparseObjNode
CSVF::GEdgeSetTy< CallGraphNode, ThreadForkEdge >
CSVF::GEdgeSetTy< CallGraphNode, ThreadJoinEdge >
CSVF::GEdgeSetTy< CallGraphNode, HareParForEdge >
CSVF::GEdgeSetTy< VFGNode, VFGEdge >
CSVF::GenericNode< VFGNode, VFGEdge >
CSVF::VFGNode
CSVF::ArgumentVFGNode
CSVF::ActualParmVFGNode
CSVF::ActualRetVFGNode
CSVF::FormalParmVFGNode
CSVF::FormalRetVFGNode
CSVF::BinaryOPVFGNode
CSVF::BranchVFGNode
CSVF::CmpVFGNode
CSVF::DummyVersionPropSVFGNode
CSVF::MRSVFGNode
CSVF::ActualINSVFGNode
CSVF::ActualOUTSVFGNode
CSVF::FormalINSVFGNode
CSVF::FormalOUTSVFGNode
CSVF::MSSAPHISVFGNode
CSVF::InterMSSAPHISVFGNode
CSVF::IntraMSSAPHISVFGNode
CSVF::NullPtrVFGNode
CSVF::PHIVFGNode
CSVF::InterPHIVFGNode
CSVF::IntraPHIVFGNode
CSVF::StmtVFGNode
CSVF::AddrVFGNode
CSVF::CopyVFGNode
CSVF::GepVFGNode
CSVF::LoadVFGNode
CSVF::StoreVFGNode
CSVF::UnaryOPVFGNode
CSVF::GEdgeSetTy< TCTNode, TCTEdge >
CSVF::GenericNode< TCTNode, TCTEdge >
CSVF::TCTNode
CSVF::GEdgeSetTy< SVFVar, SVFStmt >
CSVF::GenericNode< SVFVar, SVFStmt >
CSVF::SVFVar
CSVF::ObjVar
CSVF::BaseObjVar
CSVF::ConstDataObjVar
CSVF::ConstFPObjVar
CSVF::ConstIntObjVar
CSVF::ConstNullPtrObjVar
CSVF::DummyObjVar
CSVF::FunObjVar
CSVF::GlobalObjVar
CSVF::HeapObjVar	Class representing a heap object variable in the SVFIR
CSVF::StackObjVar	Represents a stack-allocated object variable in the SVFIR (SVF Intermediate Representation) @inherits BaseObjVar
CSVF::GepObjVar
CSVF::ValVar
CSVF::ArgValVar	Class representing a function argument variable in the SVFIR
CSVF::AsmPCValVar
CSVF::ConstDataValVar
CSVF::BlackHoleValVar
CSVF::ConstFPValVar
CSVF::ConstIntValVar
CSVF::ConstNullPtrValVar
CSVF::DummyValVar
CSVF::FunValVar
CSVF::GepValVar
CSVF::GlobalValVar
CSVF::IntrinsicValVar
CSVF::RetValPN
CSVF::VarArgValPN
CSVF::GenericNode< NodeTy, EdgeTy >
CSymblicAbstractionTest
CSVF::GrammarBase::Symbol
CSVF::GrammarBase::SymbolHash
CSVF::SymbolTableBuilder
CSVF::GrammarBase::SymbolVectorHash
CSVF::ThreadAPI
CSVF::MTASVFGBuilder::ThreadVFBuildConfig
CSVF::MTASVFGBuilder::ThreadVFCandidate
CSVF::TrailingZerosCounter< T, SizeOfT >
CSVF::POCRHybridSolver::TreeNode
Cstd::true_type
CSVF::has_edgetype< T, std::void_t< typename T::EdgeType > >
CSVF::has_nodetype< T, std::void_t< typename T::NodeType > >
CSVF::ValueFlowSlice
CSVF::WPAPass
CSVF::WPASolver< GraphType >
CSVF::WPAFSSolver< SVFG * >
CSVF::FlowSensitive
CSVF::WPAFSSolver< GraphType >
CSVF::WPASCCSolver< GraphType >
CSVF::WPAMinimumSolver< GraphType >
CSVF::WPASolver< ConstraintGraph * >
CSVF::AndersenBase
CSVF::WTO< GraphT >
CSVF::WTO< ICFG >
CSVF::ICFGWTO
CSVF::WTOComponent< GraphT >
CSVF::WTOCycle< GraphT >
CSVF::WTONode< GraphT >
CSVF::WTOComponent< ICFG >
CSVF::WTOCycle< ICFG >
CSVF::WTONode< ICFG >
CSVF::WTOComponentVisitor< GraphT >
CSVF::WTO< GraphT >::WTOCycleDepthBuilder	Visitor to build the cycle depths of each node
CSVF::WTOCycleDepth< GraphT >
CSVF::Z3Expr