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

- n -

name : OptionBase, SVF::SVFStructType, SVF::SVFValue
NameToCHNodesMap : SVF::CHGraph
narrow_with() : SVF::AbstractValue, SVF::IntervalValue
narrowing() : SVF::AbstractState
NEG() : SVF::Z3Expr
negConds : SVF::SaberCondAllocator
NEVER_FREE_LEAK : SVF::LeakChecker
NEVERFREE : SVF::GenericBug
NeverFreeBug() : SVF::NeverFreeBug
NewBvNumWords : SVF::NodeIDAllocator::Clusterer
newCond() : SVF::SaberCondAllocator
newCycle() : SVF::WTO< GraphT >
newNode() : SVF::WTO< GraphT >
newPointsToId() : SVF::PersistentPointsToCache< Data >
NewSbvNumWords : SVF::NodeIDAllocator::Clusterer
newSSAName() : SVF::MemSSA
newTerminalSubscript : SVF::CFGrammar
next : cJSON, SVF::List< Data >::ListNode
nextSetIndex() : SVF::CoreBitVector
noalloc : printbuffer
Node : SVF::List< Data >
node : SVF::NullPtrVFGNode
Node() : SVF::SCCDetection< GraphType >, SVF::WPASolver< GraphType >, SVF::WTOComponent< GraphT >
Node_Index() : SVF::SCCDetection< GraphType >, SVF::WPASolver< GraphType >
node_iterator : SVF::GraphReachSolver< GraphType, DPIm >, SVF::GraphWriter< GraphType >, SVF::SCCDetection< GraphType >, SVF::SrcSnkSolver< GraphType, DPIm >
NodeAccessPath : SVF::SVFIR
NodeAccessPathMap : SVF::SVFIR
NodeAllocStrat : SVF::Options
NodeData : SVF::VersionedFlowSensitive::SCC
NodeID : SVF::SCCDetection< GraphType >
NodeIDAllocator() : SVF::NodeIDAllocator
NodeIDToNodeIDMap : SVF::SVFGOPT
nodeInCycle() : SVF::SVFGStat
nodeKind : SVF::SVFValue
nodeMapping : SVF::PointsTo
nodeNum : SVF::GenericGraph< NodeTy, EdgeTy >
nodeNumAfterPAGBuild : SVF::IRGraph
NodeOffset : SVF::SVFIR
NodeOffsetMap : SVF::SVFIR
NodePairSetMap : SVF::SVFIR
NodeRef : SVF::GenericGraphTraits< GraphType >, SVF::GenericGraphTraits< SVF::CallGraph * >, SVF::GenericGraphTraits< SVF::CDG * >, SVF::GenericGraphTraits< SVF::CFLGraph * >, SVF::GenericGraphTraits< SVF::CHGraph * >, SVF::GenericGraphTraits< SVF::ConstraintGraph * >, SVF::GenericGraphTraits< SVF::DCHGraph * >, SVF::GenericGraphTraits< SVF::ICFG * >, SVF::GenericGraphTraits< SVF::IRGraph * >, SVF::GenericGraphTraits< SVF::SVFG * >, SVF::GenericGraphTraits< SVF::TCT * >, SVF::GenericGraphTraits< SVF::VFG * >, SVF::GraphWriter< GraphType >
NodeRefList : SVF::WTO< GraphT >, SVF::WTOCycleDepth< GraphT >
NodeRefToCycleDepthNumber : SVF::WTO< GraphT >
NodeRefTONodeRefListMap : SVF::WTO< GraphT >
NodeRefToWTOCycleDepthPtr : SVF::WTO< GraphT >
NodeRefToWTOCycleMap : SVF::WTO< GraphT >
nodes_begin() : SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
nodes_end() : SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
nodes_iterator : SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
nodeSet : SVF::List< Data >
nodeStack : SVF::WPAFSSolver< GraphType >
nodesToBeCollapsed : SVF::ConstraintGraph
NodeStrides : SVF::AndersenSFR
NodeT : SVF::WTO< GraphT >, SVF::WTOCycle< GraphT >, SVF::WTOCycleDepth< GraphT >, SVF::WTONode< GraphT >
nodeToBugInfo : SVF::BufOverflowDetector
nodeToDPItemsMap : SVF::SrcSnkDDA
nodeToECMap : SVF::Steensgaard
NodeToEquivClassMap : SVF::Steensgaard
NodeToNodeMap : SVF::AndersenSCD, SVF::SCCDetection< GraphType >, SVF::SVFIR
NodeToPTSSMap : SVF::CFLSVFGBuilder, SVF::MRGenerator, SVF::SaberSVFGBuilder
nodeToRepMap : SVF::ConstraintGraph
NodeToRepMap : SVF::ConstraintGraph
nodeToSubsMap : SVF::ConstraintGraph
NodeToSubsMap : SVF::ConstraintGraph
nodeToSubsMap : SVF::Steensgaard
NodeToSubsMap : SVF::Steensgaard
NodeType : SVF::DOTGraphTraits< CallGraph * >, SVF::DOTGraphTraits< CFLGraph * >, SVF::DOTGraphTraits< CHGraph * >, SVF::DOTGraphTraits< ConstraintGraph * >, SVF::DOTGraphTraits< ICFG * >, SVF::DOTGraphTraits< IRGraph * >, SVF::DOTGraphTraits< SVF::CDG * >, SVF::DOTGraphTraits< SVFG * >, SVF::DOTGraphTraits< TCT * >, SVF::DOTGraphTraits< VFG * >, SVF::GenericEdge< NodeTy >, 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 >
nonCandidateFuncMHPRelMap : SVF::MHP
NonConstSimpleType : SVF::SVFUtil::simplify_type< const From >
NonOverlap : SVF::AccessPath
nonterminals : SVF::GrammarBase
NormalGep : SVF::ConstraintEdge
NormalGepCGEdge() : SVF::NormalGepCGEdge
normalize() : SVF::CFGNormalizer
normalizeCFLGrammar() : SVF::CFLBase
normalized : SVF::CondPTAImpl< Cond >
normalizePointsTo() : SVF::AndersenBase, SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >
NormCallGraph : SVF::CallGraph
nothingSet() : OptionMultiple< T >
NPtr : SVF::SVFValue
nullExpr() : SVF::Z3Expr
nullPointerId : SVF::NodeIDAllocator
NullPtr : SVF::IRGraph
nullPtrSymID() : SVF::IRGraph
NullPtrVFGNode() : SVF::NullPtrVFGNode
num_generator() : SVF::CFGrammar
numEdgeDestLabels() : SVF::DefaultDOTGraphTraits
numElement() : SVF::CondPointsToSet< Cond >
NumGtIntRegions : SVF::NodeIDAllocator::Clusterer
numNodes : SVF::NodeIDAllocator
NumNonTrivialRegionObjects : SVF::NodeIDAllocator::Clusterer
NumObjects : SVF::NodeIDAllocator::Clusterer
numObjects : SVF::NodeIDAllocator
numOfActualIn : SVF::SVFGStat
numOfActualOut : SVF::SVFGStat
numOfActualParam : SVF::SVFGStat
numOfActualRet : SVF::SVFGStat
numOfAddr : SVF::SVFGStat
NumOfAveragePtsInRegion : SVF::MemSSAStat
NumOfBBHasMSSAPhi : SVF::MemSSAStat
numOfCallEdges : SVF::ICFGStat
numOfCallNodes : SVF::ICFGStat
numOfChecks : SVF::CFLBase, SVF::CFLSolver
numOfCopy : SVF::SVFGStat
NumOfCSChi : SVF::MemSSAStat
NumOfCSHasChi : SVF::MemSSAStat
NumOfCSHasMu : SVF::MemSSAStat
NumOfCSMu : SVF::MemSSAStat
numOfEdges : SVF::ICFGStat
numOfElement : SVF::SVFArrayType
NumOfEntryChi : SVF::MemSSAStat
numOfEntryNodes : SVF::ICFGStat
numOfExitNodes : SVF::ICFGStat
numOfFieldExpand : SVF::AndersenBase
numOfFlattenElements : SVF::StInfo
numOfFlattenFields : SVF::StInfo
numOfFormalIn : SVF::SVFGStat
numOfFormalOut : SVF::SVFGStat
numOfFormalParam : SVF::SVFGStat
numOfFormalRet : SVF::SVFGStat
NumOfFunHasEntryChi : SVF::MemSSAStat
NumOfFunHasRetMu : SVF::MemSSAStat
numOfGep : SVF::SVFGStat
numOfIntraEdges : SVF::ICFGStat
numOfIntraNodes : SVF::ICFGStat
numOfIteration : SVF::CFLBase, SVF::WPASolver< GraphType >
numOfLoad : SVF::SVFGStat
NumOfLoadHasMu : SVF::MemSSAStat
NumOfLoadMu : SVF::MemSSAStat
numOfLockedQueries : SVF::LockAnalysis
NumOfMaxRegion : SVF::MemSSAStat
NumOfMemRegions : SVF::MemSSAStat
numOfMHPQueries : SVF::MHP
NumOfMSSAPhi : SVF::MemSSAStat
numOfMSSAPhi : SVF::SVFGStat
numOfNodes : SVF::ICFGStat, SVF::SVFGStat
numOfNodesInSCC : SVF::FlowSensitive
numOfNonterminalEdges : SVF::CFLBase
numOfPhi : SVF::SVFGStat
numOfProcessedActualParam : SVF::FlowSensitive
numOfProcessedAddr : SVF::AndersenBase, SVF::FlowSensitive
numOfProcessedCopy : SVF::AndersenBase, SVF::FlowSensitive
numOfProcessedFormalRet : SVF::FlowSensitive
numOfProcessedGep : SVF::AndersenBase, SVF::FlowSensitive
numOfProcessedLoad : SVF::AndersenBase, SVF::FlowSensitive
numOfProcessedMSSANode : SVF::FlowSensitive
numOfProcessedPhi : SVF::FlowSensitive
numOfProcessedStore : SVF::AndersenBase, SVF::FlowSensitive
numOfResolvedIndCallEdge : SVF::CallGraph
numOfRetEdges : SVF::ICFGStat
NumOfRetMu : SVF::MemSSAStat
numOfRetNodes : SVF::ICFGStat
numOfSCC : SVF::FlowSensitive
numOfSCCDetection : SVF::AndersenBase
numOfSfrs : SVF::AndersenBase
numOfStartEdges : SVF::CFLBase
numOfStore : SVF::SVFGStat
NumOfStoreChi : SVF::MemSSAStat
NumOfStoreHasChi : SVF::MemSSAStat
numOfTemporaryNonterminalEdges : SVF::CFLBase
numOfTerminalEdges : SVF::CFLBase
numOfTotalQueries : SVF::LockAnalysis, SVF::MHP
NumPerQueryStatMap : SVF::DDAStat
numPrelabeledNodes : SVF::VersionedFlowSensitive
numPrelabelVersions : SVF::VersionedFlowSensitive
NumRegions : SVF::NodeIDAllocator::Clusterer
NUMStatMap : SVF::SVFStat
numSymbols : SVF::NodeIDAllocator
numTypes : SVF::DCHGraph
numValues : SVF::NodeIDAllocator