| ►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 | AbstractInterpretation is same as Abstract Execution |
| 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 |
| CAETest | |
| CSVF::Annotator | |
| CSVF::BoundedDouble | |
| CSVF::BoundedInt | A class representing a bounded 64-bit integer |
| CSVF::CallGraphBuilder | |
| 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::DCHGraph | Dwarf based CHG |
| 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::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< SVFIR * > | |
| CSVF::DOTGraphTraits< ConstraintGraph * > | |
| CSVF::DOTGraphTraits< ICFG * > | |
| CSVF::DOTGraphTraits< SVFG * > | |
| CSVF::DOTGraphTraits< VFG * > | |
| ►CSVF::DOTGraphTraits< SVF::PAG * > | |
| CSVF::DOTGraphTraits< SVF::CDG * > | |
| CSVF::DOTGraphTraits< GraphType > | |
| CSVF::DOTGraphTraits< Ty > | |
| CSVF::DOTGraphTraits< CFLGraph * > | |
| CSVF::DOTGraphTraits< CHGraph * > | |
| CSVF::DOTGraphTraits< CallGraph * > | |
| CSVF::DOTGraphTraits< IRGraph * > | |
| CSVF::DOTGraphTraits< TCT * > | |
| CSVF::cppUtil::DemangledName | |
| ►CSVF::DPItem | |
| 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::SVFUtil::is_iterable< T, typename > | Type trait that checks if a type is iterable (can be applied on a range-based for loop) |
| CSVF::SVFUtil::is_map< T > | Type trait to check if a type is a map or unordered_map |
| CSVF::SVFUtil::is_sequence_container< T > | Type trait to check if a type is vector or list |
| CSVF::SVFUtil::is_set< T > | Type trait to check if a type is a set or unordered_set |
| CSVF::has_edgetype< T, typename > | |
| CSVF::has_nodetype< T, typename > | |
| CSVF::FIFOWorkList< Data > | |
| CSVF::FIFOWorkList< const CFLEdge * > | |
| CSVF::FIFOWorkList< const MSSAPHISVFGNode * > | |
| CSVF::FIFOWorkList< CxtLockProc > | |
| CSVF::FIFOWorkList< CxtStmt > | |
| CSVF::FIFOWorkList< CxtThreadProc > | |
| CSVF::FIFOWorkList< CxtThreadStmt > | |
| CSVF::FIFOWorkList< DPItem > | |
| CSVF::FIFOWorkList< NodeID > | |
| CSVF::FILOWorkList< Data > | |
| CSVF::ForkJoinAnalysis | |
| ►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::BasicBlockEdge | |
| CSVF::CDGEdge | |
| CSVF::CFLEdge | |
| CSVF::CHEdge | |
| ►CSVF::CallGraphEdge | |
| CSVF::HareParForEdge | |
| CSVF::ThreadForkEdge | |
| CSVF::ThreadJoinEdge | |
| ►CSVF::ConstraintEdge | |
| CSVF::AddrCGEdge | |
| CSVF::CopyCGEdge | |
| ►CSVF::GepCGEdge | |
| CSVF::NormalGepCGEdge | |
| CSVF::VariantGepCGEdge | |
| CSVF::LoadCGEdge | |
| CSVF::StoreCGEdge | |
| ►CSVF::ICFGEdge | |
| CSVF::CallCFGEdge | |
| CSVF::IntraCFGEdge | |
| CSVF::RetCFGEdge | |
| ►CSVF::SVFStmt | |
| ►CSVF::AssignStmt | |
| CSVF::AddrStmt | |
| ►CSVF::CallPE | |
| CSVF::TDForkPE | |
| CSVF::CopyStmt | |
| CSVF::GepStmt | |
| CSVF::LoadStmt | |
| ►CSVF::RetPE | |
| CSVF::TDJoinPE | |
| CSVF::StoreStmt | |
| CSVF::BranchStmt | |
| ►CSVF::MultiOpndStmt | |
| CSVF::BinaryOPStmt | |
| CSVF::CmpStmt | |
| CSVF::PhiStmt | |
| CSVF::SelectStmt | |
| CSVF::UnaryOPStmt | |
| CSVF::TCTEdge | |
| ►CSVF::VFGEdge | |
| ►CSVF::DirectSVFGEdge | |
| CSVF::CallDirSVFGEdge | |
| CSVF::IntraDirSVFGEdge | |
| CSVF::RetDirSVFGEdge | |
| ►CSVF::IndirectSVFGEdge | |
| CSVF::CallIndSVFGEdge | |
| CSVF::IntraIndSVFGEdge | |
| CSVF::RetIndSVFGEdge | |
| CSVF::ThreadMHPIndSVFGEdge | |
| ►CSVF::GenericEdge< DCHNode > | |
| CSVF::DCHEdge | |
| ►CSVF::GenericGraph< NodeTy, EdgeTy > | |
| CSVF::BasicBlockGraph | |
| CSVF::CDG | |
| CSVF::CFLGraph | |
| CSVF::CHGraph | |
| ►CSVF::CallGraph | |
| CSVF::ThreadCallGraph | |
| CSVF::ICFG | |
| CSVF::TCT | |
| ►CSVF::VFG | |
| ►CSVF::SVFG | |
| CSVF::SVFGOPT | |
| ►CSVF::GenericGraph< ConstraintNode, ConstraintEdge > | |
| CSVF::ConstraintGraph | |
| ►CSVF::GenericGraph< DCHNode, DCHEdge > | |
| CSVF::DCHGraph | Dwarf based CHG |
| ►CSVF::GenericGraph< SVFVar, SVFStmt > | |
| ►CSVF::IRGraph | |
| CSVF::SVFIR | |
| CSVF::GenericGraphReader< typename, typename > | |
| CSVF::GenericGraphTraits< GraphType > | |
| 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::DCHNode, SVF::DCHEdge > * > > | |
| CSVF::GenericGraphTraits< Inverse< SVF::DCHNode * > > | Inverse GenericGraphTraits specializations for call graph 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::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::DCHNode, SVF::DCHEdge > * > | |
| CSVF::GenericGraphTraits< SVF::DCHGraph * > | |
| ►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::DCHNode, SVF::DCHEdge > * > | |
| CSVF::GenericGraphTraits< SVF::DCHNode * > | |
| ►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::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< ItTy, FuncTy, FuncReturnTy > | |
| CSVF::pointee_iter< WrappedIteratorT, T > | |
| CSVF::pointer_iterator< WrappedIteratorT, T > | |
| CSVF::iter_facade_base< DerivedT, typename std::iterator_traits< WrappedIteratorT >::iterator_category, typename std::iterator_traits< WrappedIteratorT >::value_type, typename std::iterator_traits< WrappedIteratorT >::difference_type, std::conditional_t< std::is_same< typename std::iterator_traits< WrappedIteratorT >::value_type, typename std::iterator_traits< WrappedIteratorT >::value_type >::value, typename std::iterator_traits< WrappedIteratorT >::pointer, typename std::iterator_traits< WrappedIteratorT >::value_type * >, std::conditional_t< std::is_same< typename std::iterator_traits< WrappedIteratorT >::value_type, typename std::iterator_traits< WrappedIteratorT >::value_type >::value, typename std::iterator_traits< WrappedIteratorT >::reference, typename std::iterator_traits< WrappedIteratorT >::value_type & > > | |
| CSVF::iter_facade_base< mapped_iter< ItTy, FuncTy >, std::iterator_traits< ItTy >::iterator_category, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type, typename std::iterator_traits< ItTy >::difference_type, std::conditional_t< std::is_same< std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type, typename std::iterator_traits< ItTy >::value_type >::value, typename std::iterator_traits< ItTy >::pointer, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type * >, std::conditional_t< std::is_same< std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type, typename std::iterator_traits< ItTy >::value_type >::value, typename std::iterator_traits< ItTy >::reference, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type & > > | |
| ►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 > | |
| ►Cstd::iterator | |
| Cllvm::generic_bridge_gep_type_iterator< ItTy > | |
| CSVF::LeadingZerosCounter< T, SizeOfT > | |
| CSVF::List< Data > | |
| CSVF::List< Data >::ListNode | |
| CSVF::LLVMLoopAnalysis | |
| CSVF::LLVMModuleSet | |
| CSVF::LockAnalysis | |
| CSVF::SVFUtil::make_void< Ts > | Void_t is not available until C++17. We define it here for C++11/14 |
| 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< 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::MTA | |
| CSVF::VersionedFlowSensitive::SCC::NodeData | |
| CSVF::NodeIDAllocator | |
| CSVF::ObjTypeInference | |
| CSVF::ObjTypeInfo | |
| ►COptionBase | |
| COption< bool > | |
| COption< u32_t > | |
| COption< std::string > | |
| COptionMap< enum PTAStat::ClockType > | |
| COptionMap< SVF::NodeIDAllocator::Strategy > | |
| COptionMap< PointsTo::Type > | |
| COptionMap< enum hclust_fast_methods > | |
| COptionMap< BVDataPTAImpl::PTBackingType > | |
| COptionMap< MemSSA::MemPartition > | |
| COptionMultiple< PointerAnalysis::PTATY > | |
| COptionMultiple< WPAPass::AliasCheckRule > | |
| COption< T > | |
| COptionMap< T > | |
| COptionMultiple< T > | |
| CSVF::Options | Carries around command line options |
| CSVF::PAGBuilderFromFile | |
| Cparse_buffer | |
| CSVF::PersistentPointsToCache< Data > | |
| CSVF::PersistentPointsToCache< DataSet > | |
| CSVF::PersistentPointsToCache< SVF::PointsTo > | |
| ►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::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::MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet > | |
| CSVF::PersistentPTData< VersionedKey, VersionedKeySet, 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< VersionedKey, VersionedKeySet, Data, DataSet > | |
| 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::SVFUtil::simplify_type< From > | |
| CSVF::SVFUtil::simplify_type< const From > | |
| CSVF::SparseBitVector< ElementSize > | |
| CSVF::SparseBitVector< ElementSize > | |
| CSVF::SparseBitVectorElement< ElementSize > | |
| CSVF::SparseBitVectorElement< ElementSize > | |
| CSVF::SparseBitVector< ElementSize >::SparseBitVectorIterator | |
| CSVF::SrcSnkSolver< GraphType, DPIm > | |
| CSVF::StInfo | |
| CSVF::SVFBugEvent | |
| CSVF::SVFBugReport | |
| ►CSVF::SVFGBuilder | |
| ►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< DCHNode, DCHEdge > | |
| CSVF::DCHNode | |
| ►CSVF::GenericNode< CFLNode, CFLEdge > | |
| CSVF::CFLNode | |
| ►CSVF::GenericNode< ConstraintNode, ConstraintEdge > | |
| CSVF::ConstraintNode | |
| ►CSVF::GenericNode< NodeTy, EdgeTy > | |
| CSVF::CDGNode | |
| CSVF::CHNode | |
| CSVF::CallGraphNode | |
| ►CSVF::ICFGNode | |
| CSVF::GlobalICFGNode | |
| ►CSVF::InterICFGNode | |
| CSVF::CallICFGNode | |
| CSVF::FunEntryICFGNode | |
| CSVF::FunExitICFGNode | |
| CSVF::RetICFGNode | |
| CSVF::IntraICFGNode | |
| CSVF::SVFBasicBlock | |
| ►CSVF::SVFVar | |
| ►CSVF::ObjVar | |
| ►CSVF::BaseObjVar | |
| CSVF::ConstAggObjVar | |
| ►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::ConstAggValVar | |
| ►CSVF::ConstDataValVar | |
| CSVF::BlackHoleValVar | |
| CSVF::ConstFPValVar | |
| CSVF::ConstIntValVar | |
| CSVF::ConstNullPtrValVar | |
| CSVF::DummyValVar | |
| CSVF::FunValVar | |
| CSVF::GepValVar | |
| CSVF::GlobalValVar | |
| CSVF::RetValPN | |
| CSVF::VarArgValPN | |
| CSVF::TCTNode | |
| ►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 | |
| CSymblicAbstractionTest | |
| CSVF::GrammarBase::Symbol | |
| CSVF::GrammarBase::SymbolHash | |
| CSVF::SymbolTableBuilder | |
| CSVF::GrammarBase::SymbolVectorHash | |
| CSVF::ThreadAPI | |
| CSVF::TrailingZerosCounter< T, SizeOfT > | |
| CSVF::POCRHybridSolver::TreeNode | |
| ►Cstd::true_type | |
| CSVF::SVFUtil::is_iterable< T, void_t< decltype(std::begin(std::declval< T & >()) !=std::end(std::declval< T & >()))> > | |
| CSVF::SVFUtil::is_map< std::map< Ts... > > | |
| CSVF::SVFUtil::is_map< std::unordered_map< Ts... > > | |
| CSVF::SVFUtil::is_sequence_container< std::deque< Ts... > > | |
| CSVF::SVFUtil::is_sequence_container< std::list< Ts... > > | |
| CSVF::SVFUtil::is_sequence_container< std::vector< Ts... > > | |
| CSVF::SVFUtil::is_set< std::set< Ts... > > | |
| CSVF::SVFUtil::is_set< std::unordered_set< Ts... > > | |
| CSVF::has_edgetype< T, std::void_t< typename T::EdgeType > > | |
| CSVF::has_nodetype< T, std::void_t< typename T::NodeType > > | |
| CSVF::WPAPass | |
| ►CSVF::WPASolver< GraphType > | |
| CSVF::AndersenBase | |
| ►CSVF::WPAFSSolver< GraphType > | |
| CSVF::FlowSensitive | |
| ►CSVF::WPASCCSolver< GraphType > | |
| CSVF::WPAMinimumSolver< GraphType > | |
| CSVF::WTO< GraphT > | |
| ►CSVF::WTO< ICFG > | |
| CSVF::ICFGWTO | |
| ►CSVF::WTOComponent< GraphT > | |
| CSVF::WTOCycle< GraphT > | |
| CSVF::WTONode< GraphT > | |
| ►CSVF::WTOComponentVisitor< GraphT > | |
| CSVF::WTO< GraphT >::WTOCycleDepthBuilder | Visitor to build the cycle depths of each node |
| CSVF::WTOCycleDepth< GraphT > | |
| CSVF::Z3Expr | |
