Here is a list of all variables with links to the classes they belong to:
- n -
- name : OptionBase, SVF::SVFStructType, SVF::SVFValue
- negConds : SVF::SaberCondAllocator
- NewBvNumWords : SVF::NodeIDAllocator::Clusterer
- NewSbvNumWords : SVF::NodeIDAllocator::Clusterer
- newTerminalSubscript : SVF::CFGrammar
- next : cJSON, SVF::List< Data >::ListNode
- noalloc : printbuffer
- node : SVF::NullPtrVFGNode
- NodeAllocStrat : SVF::Options
- nodeKind : SVF::SVFValue
- nodeMapping : SVF::PointsTo
- nodeNum : SVF::GenericGraph< NodeTy, EdgeTy >
- nodeNumAfterPAGBuild : SVF::IRGraph
- nodeSet : SVF::List< Data >
- nodeStack : SVF::WPAFSSolver< GraphType >
- nodesToBeCollapsed : SVF::ConstraintGraph
- nodeToBugInfo : SVF::BufOverflowDetector
- nodeToDPItemsMap : SVF::SrcSnkDDA
- nodeToECMap : SVF::Steensgaard
- nodeToRepMap : SVF::ConstraintGraph
- nodeToSubsMap : SVF::ConstraintGraph, SVF::Steensgaard
- nonCandidateFuncMHPRelMap : SVF::MHP
- nonterminals : SVF::GrammarBase
- normalized : SVF::CondPTAImpl< Cond >
- nullPointerId : SVF::NodeIDAllocator
- 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
- numSymbols : SVF::NodeIDAllocator
- numTypes : SVF::DCHGraph
- numValues : SVF::NodeIDAllocator
