Here is a list of all class members with links to the classes they belong to:
- e -
- e : SVF::SlicedCGChildIterImpl< Forward >, SVF::SlicedICFGChildIterImpl< Forward >, SVF::SlicedPAGChildIterImpl< Forward >, SVF::SlicedSVFGChildIterImpl< Forward >, SVF::Z3Expr
- ebnf_bin() : SVF::CFGNormalizer
- ebnfBracketMatch() : SVF::CFGNormalizer
- ebnfSignReplace() : SVF::CFGNormalizer
- EBNFSigns : SVF::GrammarBase
- ecUnion() : SVF::Steensgaard
- Edge : SVF::SparseObjGraph
- edge_dest() : SVF::GenericGraphTraits< const SlicedICFGView * >, SVF::GenericGraphTraits< const SlicedPAGView * >, SVF::GenericGraphTraits< const SlicedSVFGView * >, SVF::GenericGraphTraits< const SlicedThreadCallGraphView * >, SVF::GenericGraphTraits< Inverse< const SlicedICFGView * > >, SVF::GenericGraphTraits< Inverse< const SlicedPAGView * > >, SVF::GenericGraphTraits< Inverse< const SlicedSVFGView * > >, SVF::GenericGraphTraits< Inverse< const SlicedThreadCallGraphView * > >, SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >, SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
- edgeFlag : SVF::GenericEdge< NodeTy >
- edgeFlow() : SVF::MHP
- edgeId : SVF::ConstraintEdge, SVF::SVFStmt
- edgeInCallGraphSCC() : SVF::ContextDDA, SVF::DDAPass
- edgeIndex : SVF::ConstraintGraph
- edgeInSVFGSCC() : SVF::DDAPass, SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- EdgeIt : SVF::SlicedCGEdgeIterImpl< Forward >, SVF::SlicedICFGEdgeIterImpl< Forward >, SVF::SlicedPAGEdgeIterImpl< Forward >, SVF::SlicedSVFGEdgeIterImpl< Forward >
- EdgeKindMask : SVF::GenericEdge< NodeTy >, SVF::GrammarBase
- EdgeKindMaskBits : SVF::GenericEdge< NodeTy >, SVF::GrammarBase
- edgeNum : SVF::GenericGraph< NodeTy, EdgeTy >
- EdgeRef : SVF::GenericGraphTraits< const SlicedICFGView * >, SVF::GenericGraphTraits< const SlicedPAGView * >, SVF::GenericGraphTraits< const SlicedSVFGView * >, SVF::GenericGraphTraits< const SlicedThreadCallGraphView * >, SVF::GenericGraphTraits< Inverse< const SlicedICFGView * > >, SVF::GenericGraphTraits< Inverse< const SlicedPAGView * > >, SVF::GenericGraphTraits< Inverse< const SlicedSVFGView * > >, SVF::GenericGraphTraits< Inverse< const SlicedThreadCallGraphView * > >
- EdgeT : SVF::WTO< GraphT >
- edgeTargetsEdgeSource() : SVF::DefaultDOTGraphTraits
- EdgeType : SVF::GenericGraph< NodeTy, EdgeTy >, SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >, SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >, SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >, SVF::GenericNode< NodeTy, EdgeTy >
- edgeType : SVF::CHEdge
- ElementIndex : SVF::SparseBitVectorElement< ElementSize >
- ElementList : SVF::SparseBitVector< ElementSize >
- ElementListConstIter : SVF::SparseBitVector< ElementSize >
- ElementListIter : SVF::SparseBitVector< ElementSize >
- Elements : SVF::SparseBitVector< ElementSize >
- elements : SVF::CondStdSet< Element >
- ElementSet : SVF::CondStdSet< Element >
- elemIdxVec : SVF::StInfo
- elemNum : SVF::ObjTypeInfo
- emitEdge() : SVF::GraphWriter< GraphType >
- emitRacePairs() : SVF::MTA
- emitSimpleNode() : SVF::GraphWriter< GraphType >
- emplacePts() : SVF::PersistentPointsToCache< Data >
- Empty : SVF::ForkJoinAnalysis, SVF::LockAnalysis
- empty() : SVF::AddressValue, SVF::CFLFIFOWorkList< Data >, SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::FIFOWorkList< Data >, SVF::FILOWorkList< Data >, SVF::iter_range< IteratorT >, SVF::List< Data >, SVF::LLVMModuleSet, SVF::PointsTo, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >
- emptyData : SVF::POCRSolver
- emptyPointsToId() : SVF::PersistentPointsToCache< Data >
- emptySet() : SVF::SlicedICFGEdgeIterImpl< Forward >
- EnableAliasCheck : SVF::Options
- enabled : SVF::ScopedPhaseTimer
- EnableThreadCallGraph : SVF::Options
- EnableTypeCheck : SVF::Options
- end() : llvm::generic_bridge_gep_type_iterator< ItTy >, SVF::AddressValue, SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::ContextCond, SVF::CoreBitVector, SVF::FunObjVar, SVF::GenericGraph< NodeTy, EdgeTy >, SVF::iter_range< IteratorT >, SVF::POCRSolver, SVF::PointsTo, SVF::SlicedCGEdgeIterImpl< Forward >, SVF::SlicedICFGEdgeIterImpl< Forward >, SVF::SlicedPAGEdgeIterImpl< Forward >, SVF::SlicedSVFGEdgeIterImpl< Forward >, SVF::SparseBitVector< ElementSize >, SVF::SVFBasicBlock, SVF::WTO< GraphT >, SVF::WTOCycle< GraphT >, SVF::WTOCycleDepth< GraphT >
- end_iterator : SVF::iter_range< IteratorT >
- endClk() : SVF::SVFStat
- endIt : SVF::SlicedSVFGNodeIter
- endSymbolAllocation() : SVF::NodeIDAllocator
- endTime : SVF::SVFStat
- enqueueSVFGNode() : SVF::FSMPTA< SVFGGraph >, SVF::MTASlicerBase
- ensurePAGView() : SVF::SlicedSVFIRView
- entry : SVF::CallPE
- ENTRYCHI : SVF::MemSSA, SVF::SVFG
- EntryCHI() : SVF::EntryCHI< Cond >
- entryFuncSet : SVF::TCT
- entryICFGEdges : SVF::SVFLoop
- entryICFGEdgesBegin() : SVF::SVFLoop
- entryICFGEdgesEnd() : SVF::SVFLoop
- EntryMSSACHI : SVF::MSSADEF
- ENUM_INOUT : SVF::FlowSensitiveStat
- epsilonProds : SVF::CFGrammar
- eq : SVF::BoundedDouble, SVF::BoundedInt, SVF::Z3Expr
- equal() : SVF::BoundedDouble, SVF::BoundedInt
- equalGEdge : SVF::GenericEdge< NodeTy >
- equalMemRegion : SVF::MemRegion
- equals() : SVF::AbstractState, SVF::AbstractValue, SVF::AddressValue, SVF::IntervalValue
- equivalentObject : SVF::VersionedFlowSensitive
- eqVarToValMap() : SVF::AbstractState, SVF::RelExeState
- evalFinalCond() : SVF::ProgSlice
- evalFinalCond2Event() : SVF::ProgSlice
- EvalTime : SVF::NodeIDAllocator::Clusterer
- evaluate() : SVF::NodeIDAllocator::Clusterer
- evaluateBranchCond() : SVF::SaberCondAllocator
- evaluateIntervalCmp() : SVF::AbstractInterpretation
- evaluateLoopExitBranch() : SVF::SaberCondAllocator
- evaluatePointerCmp() : SVF::AbstractInterpretation
- evaluateProgExit() : SVF::SaberCondAllocator
- evaluateTestNullLikeExpr() : SVF::SaberCondAllocator
- eventInst : SVF::SVFBugEvent
- EventStack : SVF::GenericBug
- EventType : SVF::SVFBugEvent
- exactCondElem() : SVF::SaberCondAllocator
- executedByTheSameThread() : SVF::MHP
- existsVar() : SVF::RelExeState
- exit : SVF::RetPE
- exitBlock : SVF::FunObjVar
- expandCallDependence() : SVF::MTASlicerBase
- expandFIObjs() : SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >
- ExtAPI() : SVF::ExtAPI
- extAPIBufOverflowCheckRules : SVF::BufOverflowDetector
- ExtAPIPath : SVF::Options
- ExtAPIType : SVF::AbsExtAPI
- extBcPath : SVF::ExtAPI
- extendBackward() : SVF::CoreBitVector
- extendedKeptNodes : SVF::SlicedThreadCallGraphView
- extendForward() : SVF::CoreBitVector
- extendTo() : SVF::CoreBitVector
- ExternalPAG : SVF::SVFIR
- ExtFun2Annotations : SVF::LLVMModuleSet
- ExtFuncsVec : SVF::LLVMModuleSet
- extOp : SVF::ExtAPI
- extractAttributeStrFromSymbolStr() : SVF::GrammarBase
- extractBBS() : SVF::CDGBuilder
- extractClassName() : SVF::cppUtil::CXXABI, SVF::cppUtil::ItaniumABI, SVF::cppUtil::MSVCABI
- extractCmpVars() : SVF::RelExeState
- extractKindStrFromSymbolStr() : SVF::GrammarBase
- extractNodesBetweenPdomNodes() : SVF::CDGBuilder
- extractPossibilityDescriptions() : OptionBase
- extractSubConds() : SVF::SaberCondAllocator
- extractSubVars() : SVF::RelExeState