| ►Nllvm | |
| Cgeneric_bridge_gep_type_iterator | |
| ►Nstd | |
| Chash< const SVF::CondVar< Cond > > | Specialise hash for CondVar |
| Chash< const SVF::ContextCond > | Specialise hash for ContextCond |
| Chash< std::vector< T > > | |
| Chash< SVF::AccessPath > | |
| Chash< SVF::CondStdSet< Element > > | |
| Chash< SVF::CondVar< Cond > > | |
| Chash< SVF::ContextCond > | |
| Chash< SVF::CxtDPItem > | Specialise hash for CxtDPItem |
| Chash< SVF::CxtProc > | |
| Chash< SVF::CxtStmt > | |
| Chash< SVF::CxtStmtDPItem< LocCond > > | Specialise hash for CxtStmtDPItem |
| Chash< SVF::CxtThread > | |
| Chash< SVF::CxtThreadProc > | |
| Chash< SVF::CxtThreadStmt > | |
| Chash< SVF::NodePair > | |
| Chash< SVF::PointsTo > | |
| Chash< SVF::RelExeState > | |
| Chash< SVF::SparseBitVector< N > > | Specialise hash for SparseBitVectors |
| Chash< SVF::StmtDPItem< LocCond > > | Specialise hash for StmtDPItem |
| Chash< SVF::Z3Expr > | Specialise hash for AbsCxtDPItem |
| ►NSVF | For isBitcode |
| ►NcppUtil | |
| CDemangledName | |
| ►NSVFUtil | |
| Cadd_const_past_pointer | |
| Cadd_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > > | |
| Cadd_lvalue_reference_if_not_pointer | If T is a pointer, just return it. If it is not, return T& |
| Cadd_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > > | |
| Ccast_convert_val | |
| Ccast_convert_val< To, FromTy, FromTy > | |
| Ccast_retty | |
| Ccast_retty_impl | |
| Ccast_retty_impl< To, const From * > | |
| Ccast_retty_impl< To, const From *const > | |
| Ccast_retty_impl< To, const From > | |
| Ccast_retty_impl< To, From * > | |
| Ccast_retty_impl< To, std::unique_ptr< From > > | |
| Ccast_retty_wrap | |
| Ccast_retty_wrap< To, FromTy, FromTy > | |
| CequalNodeBS | |
| CequalPointsTo | |
| Cis_iterable | Type trait that checks if a type is iterable (can be applied on a range-based for loop) |
| Cis_iterable< T, void_t< decltype(std::begin(std::declval< T & >()) !=std::end(std::declval< T & >()))> > | |
| Cis_map | Type trait to check if a type is a map or unordered_map |
| Cis_map< std::map< Ts... > > | |
| Cis_map< std::unordered_map< Ts... > > | |
| Cis_sequence_container | Type trait to check if a type is vector or list |
| Cis_sequence_container< std::deque< Ts... > > | |
| Cis_sequence_container< std::list< Ts... > > | |
| Cis_sequence_container< std::vector< Ts... > > | |
| Cis_set | Type trait to check if a type is a set or unordered_set |
| Cis_set< std::set< Ts... > > | |
| Cis_set< std::unordered_set< Ts... > > | |
| Cis_simple_type | |
| Cisa_impl | |
| Cisa_impl< To, From, std::enable_if_t< std::is_base_of< To, From >::value > > | Always allow upcasts, and perform no dynamic check for them |
| Cisa_impl_cl | |
| Cisa_impl_cl< To, const From * > | |
| Cisa_impl_cl< To, const From *const > | |
| Cisa_impl_cl< To, const From > | |
| Cisa_impl_cl< To, const std::unique_ptr< From > > | |
| Cisa_impl_cl< To, From * > | |
| Cisa_impl_cl< To, From *const > | |
| Cisa_impl_wrap | |
| Cisa_impl_wrap< To, FromTy, FromTy > | |
| Cmake_void | Void_t is not available until C++17. We define it here for C++11/14 |
| Csimplify_type | |
| Csimplify_type< const From > | |
| CAbsExtAPI | Handles external API calls and manages abstract states |
| CAbstractInterpretation | AbstractInterpretation is same as Abstract Execution |
| CAbstractState | |
| CAbstractValue | |
| CAccessPath | |
| CActualINSVFGNode | |
| CActualOUTSVFGNode | |
| CActualParmVFGNode | |
| CActualRetVFGNode | |
| CAddrCGEdge | |
| CAddressValue | |
| CAddrStmt | |
| CAddrVFGNode | |
| CAEDetector | Base class for all detectors |
| CAEException | Exception class for handling errors in Abstract Execution |
| CAEStat | AEStat: Statistic for AE |
| CAliasCFLGraphBuilder | AliasCFLGraphBuilder: a CFLGraphBuilder specialized for handling aliasing |
| CAliasDDAClient | |
| CAndersen | |
| CAndersenBase | |
| CAndersenSCD | |
| CAndersenSFR | |
| CAndersenStat | |
| CAndersenWaveDiff | |
| CAnnotator | |
| CArgumentVFGNode | |
| CArgValVar | Class representing a function argument variable in the SVFIR |
| CAssignStmt | |
| CBaseObjVar | |
| CBasicBlockEdge | |
| CBasicBlockGraph | |
| CBinaryOPStmt | |
| CBinaryOPVFGNode | |
| CBitVector | |
| CBlackHoleValVar | |
| CBoundedDouble | |
| CBoundedInt | A class representing a bounded 64-bit integer |
| CBranchStmt | |
| CBranchVFGNode | |
| CBreakConstantGEPs | |
| CBufferOverflowBug | |
| CBufOverflowDetector | Detector for identifying buffer overflow issues |
| CBVDataPTAImpl | |
| CCallCFGEdge | |
| CCallCHI | |
| CCallDirSVFGEdge | |
| CCallGraph | |
| CCallGraphBuilder | |
| CCallGraphEdge | |
| CCallGraphNode | |
| CCallICFGNode | |
| CCallIndSVFGEdge | |
| CCallMU | |
| CCallPE | |
| CCDG | |
| CCDGBuilder | |
| CCDGEdge | |
| CCDGNode | |
| CCFGNormalizer | |
| CCFGrammar | |
| CCFLAlias | |
| CCFLBase | CFL Client Base Class |
| CCFLEdge | |
| CCFLFIFOWorkList | |
| CCFLGramGraphChecker | |
| CCFLGraph | |
| CCFLGraphBuilder | |
| CCFLNode | |
| CCFLSolver | |
| CCFLStat | |
| CCFLSVFGBuilder | |
| CCFLVF | |
| CCHEdge | |
| CCHGBuilder | |
| CCHGraph | |
| CCHNode | |
| CCmpStmt | |
| CCmpVFGNode | |
| CCommonCHGraph | Common base for class hierarchy graph. Only implements what PointerAnalysis needs |
| ►CCondPointsToSet | |
| CCondPtsSetIterator | Conditional Points-to Set Iterator |
| CCondPTAImpl | |
| CCondStdSet | |
| CCondVar | |
| CConstAggObjVar | |
| CConstAggValVar | |
| CConstDataObjVar | |
| CConstDataValVar | |
| CConstFPObjVar | |
| CConstFPValVar | |
| CConstIntObjVar | |
| CConstIntValVar | |
| CConstNullPtrObjVar | |
| CConstNullPtrValVar | |
| CConstraintEdge | |
| CConstraintGraph | |
| CConstraintNode | |
| CContextCond | |
| CContextDDA | |
| CCopyCGEdge | |
| CCopyStmt | |
| CCopyVFGNode | |
| ►CCoreBitVector | |
| CCoreBitVectorIterator | |
| CCSC | |
| CCxtDPItem | |
| CCxtProc | |
| CCxtStmt | |
| CCxtStmtDPItem | |
| CCxtThread | |
| CCxtThreadProc | |
| CCxtThreadStmt | |
| CDCHEdge | |
| CDCHGraph | Dwarf based CHG |
| CDCHNode | |
| CDDAClient | |
| CDDAPass | |
| CDDAStat | |
| CDDAVFSolver | |
| CDefaultDOTGraphTraits | |
| CDFPTData | |
| CDiffPTData | |
| CDirectSVFGEdge | |
| CDistinctMRG | |
| CDOTGraphTraits | |
| CDOTGraphTraits< CallGraph * > | |
| CDOTGraphTraits< CFLGraph * > | |
| CDOTGraphTraits< CHGraph * > | |
| CDOTGraphTraits< ConstraintGraph * > | |
| CDOTGraphTraits< ICFG * > | |
| CDOTGraphTraits< IRGraph * > | |
| CDOTGraphTraits< SVF::CDG * > | |
| CDOTGraphTraits< SVFG * > | |
| CDOTGraphTraits< TCT * > | |
| CDOTGraphTraits< VFG * > | |
| CDoubleFreeBug | |
| CDoubleFreeChecker | |
| CDPItem | |
| CDummyObjVar | |
| CDummyValVar | |
| CDummyVersionPropSVFGNode | |
| CEntryCHI | |
| CExtAPI | |
| CFIFOWorkList | |
| CFileChecker | |
| CFileNeverCloseBug | |
| CFilePartialCloseBug | |
| CFILOWorkList | |
| CFlowDDA | |
| CFlowSensitive | |
| CFlowSensitiveStat | |
| CForkJoinAnalysis | |
| CFormalINSVFGNode | |
| CFormalOUTSVFGNode | |
| CFormalParmVFGNode | |
| CFormalRetVFGNode | |
| CFullBufferOverflowBug | |
| CFullNullPtrDereferenceBug | |
| CFunEntryICFGNode | |
| CFunExitICFGNode | |
| CFunObjVar | |
| CFunptrDDAClient | |
| CFunValVar | |
| CGenericBug | |
| ►CGenericEdge | |
| CequalGEdge | Add the hash function for std::set (we also can overload operator< to implement this) |
| CGenericGraph | |
| CGenericGraphReader | |
| CGenericGraphTraits | |
| CGenericGraphTraits< Inverse< Inverse< T > > > | |
| CGenericGraphTraits< Inverse< SVF::CallGraphNode * > > | Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal |
| CGenericGraphTraits< Inverse< SVF::CDGNode * > > | Inverse GenericGraphTraits specializations for call graph node, it is used for inverse ICFGTraversal |
| CGenericGraphTraits< Inverse< SVF::CFLNode * > > | Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal |
| CGenericGraphTraits< Inverse< SVF::CHNode * > > | |
| CGenericGraphTraits< Inverse< SVF::ConstraintNode * > > | Inverse GenericGraphTraits specializations for Value flow node, it is used for inverse traversal |
| CGenericGraphTraits< Inverse< SVF::DCHNode * > > | Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal |
| CGenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > > | |
| CGenericGraphTraits< Inverse< SVF::ICFGNode * > > | Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal |
| CGenericGraphTraits< Inverse< SVF::SVFVar * > > | Inverse GenericGraphTraits specializations for SVFIR node, it is used for inverse traversal |
| CGenericGraphTraits< Inverse< SVF::TCTNode * > > | Inverse GenericGraphTraits specializations for Value flow node, it is used for inverse traversal |
| CGenericGraphTraits< Inverse< SVF::VFGNode * > > | Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal |
| CGenericGraphTraits< SVF::CallGraph * > | |
| CGenericGraphTraits< SVF::CallGraphNode * > | |
| CGenericGraphTraits< SVF::CDG * > | |
| CGenericGraphTraits< SVF::CDGNode * > | |
| CGenericGraphTraits< SVF::CFLGraph * > | |
| CGenericGraphTraits< SVF::CFLNode * > | |
| CGenericGraphTraits< SVF::CHGraph * > | |
| CGenericGraphTraits< SVF::CHNode * > | |
| CGenericGraphTraits< SVF::ConstraintGraph * > | |
| CGenericGraphTraits< SVF::ConstraintNode * > | |
| CGenericGraphTraits< SVF::DCHGraph * > | |
| CGenericGraphTraits< SVF::DCHNode * > | |
| CGenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * > | |
| CGenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * > | |
| CGenericGraphTraits< SVF::ICFG * > | |
| CGenericGraphTraits< SVF::ICFGNode * > | |
| CGenericGraphTraits< SVF::IRGraph * > | |
| CGenericGraphTraits< SVF::SVFG * > | |
| CGenericGraphTraits< SVF::SVFVar * > | |
| CGenericGraphTraits< SVF::TCT * > | |
| CGenericGraphTraits< SVF::TCTNode * > | |
| CGenericGraphTraits< SVF::VFG * > | |
| CGenericGraphTraits< SVF::VFGNode * > | |
| CGenericGraphWriter | |
| CGenericNode | |
| CGepCGEdge | |
| CGepObjVar | |
| CGepStmt | |
| CGepValVar | |
| CGepVFGNode | |
| CGlobalICFGNode | |
| CGlobalObjVar | |
| CGlobalValVar | |
| ►CGrammarBase | |
| CSymbol | |
| CSymbolHash | |
| CSymbolVectorHash | |
| CGrammarBuilder | |
| CGraphPrinter | |
| CGraphReachSolver | |
| CGraphWriter | |
| CHareParForEdge | |
| Chas_edgetype | |
| Chas_edgetype< T, std::void_t< typename T::EdgeType > > | |
| Chas_nodetype | |
| Chas_nodetype< T, std::void_t< typename T::NodeType > > | |
| CHash | Provide extra hash function for std::pair handling |
| CHash< CoreBitVector > | |
| CHash< NodePair > | |
| CHash< std::pair< S, T > > | |
| CHeapObjVar | Class representing a heap object variable in the SVFIR |
| CICFG | |
| CICFGBuilder | |
| CICFGEdge | |
| CICFGNode | |
| CICFGStat | |
| CICFGWTO | |
| CIndirectSVFGEdge | |
| CInterDisjointMRG | |
| CInterICFGNode | |
| CInterMSSAPHISVFGNode | |
| CInterPHIVFGNode | |
| CIntervalValue | |
| CIntraCFGEdge | |
| CIntraDirSVFGEdge | |
| CIntraDisjointMRG | |
| CIntraICFGNode | |
| CIntraIndSVFGEdge | |
| CIntraMSSAPHISVFGNode | |
| CIntraPHIVFGNode | |
| CInverse | |
| CIRGraph | |
| Citer_adaptor_base | |
| ►Citer_facade_base | |
| CReferenceProxy | |
| Citer_range | |
| CLeadingZerosCounter | |
| CLeakChecker | |
| ►CList | |
| CListNode | |
| CLLVMLoopAnalysis | |
| CLLVMModuleSet | |
| CLoadCGEdge | |
| CLoadMU | |
| CLoadStmt | |
| CLoadVFGNode | |
| CLockAnalysis | |
| Cmapped_iter | |
| ►CMemRegion | Memory Region class |
| CequalMemRegion | |
| CMemSSA | |
| CMemSSAStat | |
| CMergeFunctionRets | |
| CMHP | |
| CMRGenerator | |
| CMRSVFGNode | |
| CMRVer | |
| CMSSACHI | |
| CMSSADEF | |
| CMSSAMU | |
| CMSSAPHI | |
| CMSSAPHISVFGNode | |
| CMTA | |
| CMTAStat | |
| CMultiOpndStmt | |
| CMutableDFPTData | |
| CMutableDiffPTData | DiffPTData implemented with points-to sets which are updated continuously |
| CMutableIncDFPTData | Incremental version of the mutable data-flow points-to data structure |
| CMutablePTData | PTData implemented using points-to sets which are created once and updated continuously |
| CMutableVersionedPTData | |
| CNeverFreeBug | |
| ►CNodeIDAllocator | |
| CClusterer | |
| CNormalGepCGEdge | |
| CNullPtrVFGNode | |
| CObjTypeInference | |
| CObjTypeInfo | |
| CObjVar | |
| COptions | Carries around command line options |
| CPAGBuilderFromFile | |
| CPartialBufferOverflowBug | |
| CPartialLeakBug | |
| CPartialNullPtrDereferenceBug | |
| CPersistentDFPTData | DFPTData backed by a PersistentPointsToCache |
| CPersistentDiffPTData | DiffPTData implemented with a persistent points-to backing |
| CPersistentIncDFPTData | Incremental version of the persistent data-flow points-to data structure |
| CPersistentPointsToCache | |
| CPersistentPTData | PTData backed by a PersistentPointsToCache |
| CPersistentVersionedPTData | |
| CPhiStmt | |
| CPHIVFGNode | |
| CPOCRAlias | |
| CPOCRHybrid | |
| ►CPOCRHybridSolver | Solver Utilize Hybrid Representation of Graph |
| CTreeNode | |
| CPOCRSolver | Solver Utilize CFLData |
| Cpointee_iter | |
| Cpointer_iterator | |
| CPointerAnalysis | |
| ►CPointsTo | |
| CPointsToIterator | |
| CPopulationCounter | |
| CPopulationCounter< T, 8 > | |
| CProgSlice | |
| CPTAStat | |
| CPTData | |
| CRelationSolver | |
| CRelExeState | |
| CRetCFGEdge | |
| CRetDirSVFGEdge | |
| CRetICFGNode | |
| CRetIndSVFGEdge | |
| CRetMU | |
| CRetPE | |
| CRetValPN | |
| CSaberCheckerAPI | |
| CSaberCondAllocator | |
| CSaberSVFGBuilder | |
| ►CSCCDetection | |
| CGNodeSCCInfo | |
| CSelectStmt | |
| ►CSparseBitVector | |
| CSparseBitVectorIterator | |
| CSparseBitVectorElement | |
| CSrcSnkDDA | |
| CSrcSnkSolver | |
| CStackObjVar | Represents a stack-allocated object variable in the SVFIR (SVF Intermediate Representation) @inherits BaseObjVar |
| CSteensgaard | |
| CStInfo | |
| CStmtDPItem | |
| CStmtVFGNode | |
| CStoreCGEdge | |
| CStoreCHI | |
| CStoreStmt | |
| CStoreVFGNode | |
| CSVFArrayType | |
| CSVFBasicBlock | |
| CSVFBugEvent | |
| CSVFBugReport | |
| CSVFFunctionType | |
| CSVFG | |
| CSVFGBuilder | |
| CSVFGOPT | |
| CSVFGStat | |
| CSVFIntegerType | |
| CSVFIR | |
| CSVFIRBuilder | |
| CSVFLoop | |
| CSVFLoopAndDomInfo | |
| CSVFOtherType | |
| CSVFPointerType | |
| CSVFStat | |
| CSVFStmt | |
| CSVFStructType | |
| CSVFType | |
| CSVFValue | |
| CSVFVar | |
| CSymbolTableBuilder | |
| CTCT | |
| CTCTEdge | |
| CTCTNode | |
| CTDForkPE | |
| CTDJoinPE | |
| CThreadAPI | |
| CThreadCallGraph | |
| CThreadForkEdge | |
| CThreadJoinEdge | |
| CThreadMHPIndSVFGEdge | |
| CTrailingZerosCounter | |
| CTypeAnalysis | |
| CUnaryOPStmt | |
| CUnaryOPVFGNode | |
| CValVar | |
| CVarArgValPN | |
| CVariantGepCGEdge | |
| ►CVersionedFlowSensitive | |
| ►CSCC | |
| CNodeData | |
| CVersionedFlowSensitiveStat | |
| CVersionedPTData | |
| CVFCFLGraphBuilder | VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow |
| CVFG | |
| CVFGEdge | |
| CVFGNode | |
| CWPAFSSolver | |
| CWPAMinimumSolver | |
| CWPAPass | |
| CWPASCCSolver | |
| CWPASolver | |
| ►CWTO | |
| CWTOCycleDepthBuilder | Visitor to build the cycle depths of each node |
| CWTOComponent | |
| CWTOComponentVisitor | |
| CWTOCycle | |
| CWTOCycleDepth | |
| CWTONode | |
| CZ3Expr | |
| CAETest | |
| CcJSON | |
| CcJSON_Hooks | |
| Cerror | |
| Cinternal_hooks | |
| COption | |
| COptionBase | |
| COptionMap | |
| COptionMultiple | |
| Cparse_buffer | |
| Cprintbuffer | |
| CSymblicAbstractionTest | |
