Static Value-Flow Analysis
Loading...
Searching...
No Matches
Here is a list of all functions with links to the classes they belong to:
- n -
narrow_with() :
SVF::AbstractValue
,
SVF::IntervalValue
narrowing() :
SVF::AbstractState
NEG() :
SVF::Z3Expr
NeverFreeBug() :
SVF::NeverFreeBug
newCond() :
SVF::SaberCondAllocator
newCycle() :
SVF::WTO< GraphT >
newNode() :
SVF::WTO< GraphT >
newPointsToId() :
SVF::PersistentPointsToCache< Data >
newSSAName() :
SVF::MemSSA
nextSetIndex() :
SVF::CoreBitVector
Node() :
SVF::SCCDetection< GraphType >
,
SVF::WPASolver< GraphType >
Node_Index() :
SVF::SCCDetection< GraphType >
,
SVF::WPASolver< GraphType >
NodeIDAllocator() :
SVF::NodeIDAllocator
nodeInCycle() :
SVF::SVFGStat
nodes_begin() :
SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
nodes_end() :
SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
NormalGepCGEdge() :
SVF::NormalGepCGEdge
normalize() :
SVF::CFGNormalizer
normalizeCFLGrammar() :
SVF::CFLBase
normalizePointsTo() :
SVF::AndersenBase
,
SVF::BVDataPTAImpl
,
SVF::CondPTAImpl< Cond >
nothingSet() :
OptionMultiple< T >
nullExpr() :
SVF::Z3Expr
nullPtrSymID() :
SVF::IRGraph
NullPtrVFGNode() :
SVF::NullPtrVFGNode
num_generator() :
SVF::CFGrammar
numEdgeDestLabels() :
SVF::DefaultDOTGraphTraits
numElement() :
SVF::CondPointsToSet< Cond >
Generated by
1.9.8