Static Value-Flow Analysis
Loading...
Searching...
No Matches
Class Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
|
Z
A
AbsExtAPI
(
SVF
)
AbstractInterpretation
(
SVF
)
AbstractState
(
SVF
)
AbstractValue
(
SVF
)
AccessPath
(
SVF
)
ActualINSVFGNode
(
SVF
)
ActualOUTSVFGNode
(
SVF
)
ActualParmVFGNode
(
SVF
)
ActualRetVFGNode
(
SVF
)
add_const_past_pointer
(
SVF::SVFUtil
)
add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >
(
SVF::SVFUtil
)
add_lvalue_reference_if_not_pointer
(
SVF::SVFUtil
)
add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >
(
SVF::SVFUtil
)
AddrCGEdge
(
SVF
)
AddressValue
(
SVF
)
AddrStmt
(
SVF
)
AddrVFGNode
(
SVF
)
AEDetector
(
SVF
)
AEException
(
SVF
)
AEStat
(
SVF
)
AETest
AliasCFLGraphBuilder
(
SVF
)
AliasDDAClient
(
SVF
)
Andersen
(
SVF
)
AndersenBase
(
SVF
)
AndersenSCD
(
SVF
)
AndersenSFR
(
SVF
)
AndersenStat
(
SVF
)
AndersenWaveDiff
(
SVF
)
Annotator
(
SVF
)
ArgumentVFGNode
(
SVF
)
ArgValVar
(
SVF
)
AssignStmt
(
SVF
)
B
BaseObjVar
(
SVF
)
BasicBlockEdge
(
SVF
)
BasicBlockGraph
(
SVF
)
BinaryOPStmt
(
SVF
)
BinaryOPVFGNode
(
SVF
)
BitVector
(
SVF
)
BlackHoleValVar
(
SVF
)
BoundedDouble
(
SVF
)
BoundedInt
(
SVF
)
BranchStmt
(
SVF
)
BranchVFGNode
(
SVF
)
BreakConstantGEPs
(
SVF
)
BufferOverflowBug
(
SVF
)
BufOverflowDetector
(
SVF
)
BVDataPTAImpl
(
SVF
)
C
CallCFGEdge
(
SVF
)
CallCHI
(
SVF
)
CallDirSVFGEdge
(
SVF
)
CallGraph
(
SVF
)
CallGraphBuilder
(
SVF
)
CallGraphEdge
(
SVF
)
CallGraphNode
(
SVF
)
CallICFGNode
(
SVF
)
CallIndSVFGEdge
(
SVF
)
CallMU
(
SVF
)
CallPE
(
SVF
)
cast_convert_val
(
SVF::SVFUtil
)
cast_convert_val< To, FromTy, FromTy >
(
SVF::SVFUtil
)
cast_retty
(
SVF::SVFUtil
)
cast_retty_impl
(
SVF::SVFUtil
)
cast_retty_impl< To, const From * >
(
SVF::SVFUtil
)
cast_retty_impl< To, const From *const >
(
SVF::SVFUtil
)
cast_retty_impl< To, const From >
(
SVF::SVFUtil
)
cast_retty_impl< To, From * >
(
SVF::SVFUtil
)
cast_retty_impl< To, std::unique_ptr< From > >
(
SVF::SVFUtil
)
cast_retty_wrap
(
SVF::SVFUtil
)
cast_retty_wrap< To, FromTy, FromTy >
(
SVF::SVFUtil
)
CDG
(
SVF
)
CDGBuilder
(
SVF
)
CDGEdge
(
SVF
)
CDGNode
(
SVF
)
CFGNormalizer
(
SVF
)
CFGrammar
(
SVF
)
CFLAlias
(
SVF
)
CFLBase
(
SVF
)
CFLEdge
(
SVF
)
CFLFIFOWorkList
(
SVF
)
CFLGramGraphChecker
(
SVF
)
CFLGraph
(
SVF
)
CFLGraphBuilder
(
SVF
)
CFLNode
(
SVF
)
CFLSolver
(
SVF
)
CFLStat
(
SVF
)
CFLSVFGBuilder
(
SVF
)
CFLVF
(
SVF
)
CHEdge
(
SVF
)
CHGBuilder
(
SVF
)
CHGraph
(
SVF
)
CHNode
(
SVF
)
cJSON
cJSON_Hooks
NodeIDAllocator::Clusterer
(
SVF
)
CmpStmt
(
SVF
)
CmpVFGNode
(
SVF
)
CommonCHGraph
(
SVF
)
CondPointsToSet
(
SVF
)
CondPTAImpl
(
SVF
)
CondPointsToSet::CondPtsSetIterator
(
SVF
)
CondStdSet
(
SVF
)
CondVar
(
SVF
)
ConstAggObjVar
(
SVF
)
ConstAggValVar
(
SVF
)
ConstDataObjVar
(
SVF
)
ConstDataValVar
(
SVF
)
ConstFPObjVar
(
SVF
)
ConstFPValVar
(
SVF
)
ConstIntObjVar
(
SVF
)
ConstIntValVar
(
SVF
)
ConstNullPtrObjVar
(
SVF
)
ConstNullPtrValVar
(
SVF
)
ConstraintEdge
(
SVF
)
ConstraintGraph
(
SVF
)
ConstraintNode
(
SVF
)
ContextCond
(
SVF
)
ContextDDA
(
SVF
)
CopyCGEdge
(
SVF
)
CopyStmt
(
SVF
)
CopyVFGNode
(
SVF
)
CoreBitVector
(
SVF
)
CoreBitVector::CoreBitVectorIterator
(
SVF
)
CSC
(
SVF
)
CxtDPItem
(
SVF
)
CxtProc
(
SVF
)
CxtStmt
(
SVF
)
CxtStmtDPItem
(
SVF
)
CxtThread
(
SVF
)
CxtThreadProc
(
SVF
)
CxtThreadStmt
(
SVF
)
D
DCHEdge
(
SVF
)
DCHGraph
(
SVF
)
DCHNode
(
SVF
)
DDAClient
(
SVF
)
DDAPass
(
SVF
)
DDAStat
(
SVF
)
DDAVFSolver
(
SVF
)
DefaultDOTGraphTraits
(
SVF
)
DemangledName
(
SVF::cppUtil
)
DFPTData
(
SVF
)
DiffPTData
(
SVF
)
DirectSVFGEdge
(
SVF
)
DistinctMRG
(
SVF
)
DOTGraphTraits
(
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
)
DoubleFreeBug
(
SVF
)
DoubleFreeChecker
(
SVF
)
DPItem
(
SVF
)
DummyObjVar
(
SVF
)
DummyValVar
(
SVF
)
DummyVersionPropSVFGNode
(
SVF
)
E
EntryCHI
(
SVF
)
GenericEdge::equalGEdge
(
SVF
)
MemRegion::equalMemRegion
(
SVF
)
equalNodeBS
(
SVF::SVFUtil
)
equalPointsTo
(
SVF::SVFUtil
)
error
ExtAPI
(
SVF
)
F
FIFOWorkList
(
SVF
)
FileChecker
(
SVF
)
FileNeverCloseBug
(
SVF
)
FilePartialCloseBug
(
SVF
)
FILOWorkList
(
SVF
)
FlowDDA
(
SVF
)
FlowSensitive
(
SVF
)
FlowSensitiveStat
(
SVF
)
ForkJoinAnalysis
(
SVF
)
FormalINSVFGNode
(
SVF
)
FormalOUTSVFGNode
(
SVF
)
FormalParmVFGNode
(
SVF
)
FormalRetVFGNode
(
SVF
)
FullBufferOverflowBug
(
SVF
)
FullNullPtrDereferenceBug
(
SVF
)
FunEntryICFGNode
(
SVF
)
FunExitICFGNode
(
SVF
)
FunObjVar
(
SVF
)
FunptrDDAClient
(
SVF
)
FunValVar
(
SVF
)
G
generic_bridge_gep_type_iterator
(
llvm
)
GenericBug
(
SVF
)
GenericEdge
(
SVF
)
GenericGraph
(
SVF
)
GenericGraphReader
(
SVF
)
GenericGraphTraits
(
SVF
)
GenericGraphTraits< Inverse< Inverse< T > > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::CallGraphNode * > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::CDGNode * > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::CFLNode * > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::CHNode * > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::ConstraintNode * > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::DCHNode * > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::ICFGNode * > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::SVFVar * > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::TCTNode * > >
(
SVF
)
GenericGraphTraits< Inverse< SVF::VFGNode * > >
(
SVF
)
GenericGraphTraits< SVF::CallGraph * >
(
SVF
)
GenericGraphTraits< SVF::CallGraphNode * >
(
SVF
)
GenericGraphTraits< SVF::CDG * >
(
SVF
)
GenericGraphTraits< SVF::CDGNode * >
(
SVF
)
GenericGraphTraits< SVF::CFLGraph * >
(
SVF
)
GenericGraphTraits< SVF::CFLNode * >
(
SVF
)
GenericGraphTraits< SVF::CHGraph * >
(
SVF
)
GenericGraphTraits< SVF::CHNode * >
(
SVF
)
GenericGraphTraits< SVF::ConstraintGraph * >
(
SVF
)
GenericGraphTraits< SVF::ConstraintNode * >
(
SVF
)
GenericGraphTraits< SVF::DCHGraph * >
(
SVF
)
GenericGraphTraits< SVF::DCHNode * >
(
SVF
)
GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
(
SVF
)
GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >
(
SVF
)
GenericGraphTraits< SVF::ICFG * >
(
SVF
)
GenericGraphTraits< SVF::ICFGNode * >
(
SVF
)
GenericGraphTraits< SVF::IRGraph * >
(
SVF
)
GenericGraphTraits< SVF::SVFG * >
(
SVF
)
GenericGraphTraits< SVF::SVFVar * >
(
SVF
)
GenericGraphTraits< SVF::TCT * >
(
SVF
)
GenericGraphTraits< SVF::TCTNode * >
(
SVF
)
GenericGraphTraits< SVF::VFG * >
(
SVF
)
GenericGraphTraits< SVF::VFGNode * >
(
SVF
)
GenericGraphWriter
(
SVF
)
GenericNode
(
SVF
)
GepCGEdge
(
SVF
)
GepObjVar
(
SVF
)
GepStmt
(
SVF
)
GepValVar
(
SVF
)
GepVFGNode
(
SVF
)
GlobalICFGNode
(
SVF
)
GlobalObjVar
(
SVF
)
GlobalValVar
(
SVF
)
SCCDetection::GNodeSCCInfo
(
SVF
)
GrammarBase
(
SVF
)
GrammarBuilder
(
SVF
)
GraphPrinter
(
SVF
)
GraphReachSolver
(
SVF
)
GraphWriter
(
SVF
)
H
HareParForEdge
(
SVF
)
has_edgetype
(
SVF
)
has_edgetype< T, std::void_t< typename T::EdgeType > >
(
SVF
)
has_nodetype
(
SVF
)
has_nodetype< T, std::void_t< typename T::NodeType > >
(
SVF
)
Hash
(
SVF
)
hash< const SVF::CondVar< Cond > >
(std)
hash< const SVF::ContextCond >
(std)
Hash< CoreBitVector >
(
SVF
)
Hash< NodePair >
(
SVF
)
Hash< std::pair< S, T > >
(
SVF
)
hash< std::vector< T > >
(std)
hash< SVF::AccessPath >
(std)
hash< SVF::CondStdSet< Element > >
(std)
hash< SVF::CondVar< Cond > >
(std)
hash< SVF::ContextCond >
(std)
hash< SVF::CxtDPItem >
(std)
hash< SVF::CxtProc >
(std)
hash< SVF::CxtStmt >
(std)
hash< SVF::CxtStmtDPItem< LocCond > >
(std)
hash< SVF::CxtThread >
(std)
hash< SVF::CxtThreadProc >
(std)
hash< SVF::CxtThreadStmt >
(std)
hash< SVF::NodePair >
(std)
hash< SVF::PointsTo >
(std)
hash< SVF::RelExeState >
(std)
hash< SVF::SparseBitVector< N > >
(std)
hash< SVF::StmtDPItem< LocCond > >
(std)
hash< SVF::Z3Expr >
(std)
HeapObjVar
(
SVF
)
I
ICFG
(
SVF
)
ICFGBuilder
(
SVF
)
ICFGEdge
(
SVF
)
ICFGNode
(
SVF
)
ICFGStat
(
SVF
)
ICFGWTO
(
SVF
)
IndirectSVFGEdge
(
SVF
)
InterDisjointMRG
(
SVF
)
InterICFGNode
(
SVF
)
InterMSSAPHISVFGNode
(
SVF
)
internal_hooks
InterPHIVFGNode
(
SVF
)
IntervalValue
(
SVF
)
IntraCFGEdge
(
SVF
)
IntraDirSVFGEdge
(
SVF
)
IntraDisjointMRG
(
SVF
)
IntraICFGNode
(
SVF
)
IntraIndSVFGEdge
(
SVF
)
IntraMSSAPHISVFGNode
(
SVF
)
IntraPHIVFGNode
(
SVF
)
Inverse
(
SVF
)
IRGraph
(
SVF
)
is_iterable
(
SVF::SVFUtil
)
is_iterable< T, void_t< decltype(std::begin(std::declval< T & >()) !=std::end(std::declval< T & >()))> >
(
SVF::SVFUtil
)
is_map
(
SVF::SVFUtil
)
is_map< std::map< Ts... > >
(
SVF::SVFUtil
)
is_map< std::unordered_map< Ts... > >
(
SVF::SVFUtil
)
is_sequence_container
(
SVF::SVFUtil
)
is_sequence_container< std::deque< Ts... > >
(
SVF::SVFUtil
)
is_sequence_container< std::list< Ts... > >
(
SVF::SVFUtil
)
is_sequence_container< std::vector< Ts... > >
(
SVF::SVFUtil
)
is_set
(
SVF::SVFUtil
)
is_set< std::set< Ts... > >
(
SVF::SVFUtil
)
is_set< std::unordered_set< Ts... > >
(
SVF::SVFUtil
)
is_simple_type
(
SVF::SVFUtil
)
isa_impl
(
SVF::SVFUtil
)
isa_impl< To, From, std::enable_if_t< std::is_base_of< To, From >::value > >
(
SVF::SVFUtil
)
isa_impl_cl
(
SVF::SVFUtil
)
isa_impl_cl< To, const From * >
(
SVF::SVFUtil
)
isa_impl_cl< To, const From *const >
(
SVF::SVFUtil
)
isa_impl_cl< To, const From >
(
SVF::SVFUtil
)
isa_impl_cl< To, const std::unique_ptr< From > >
(
SVF::SVFUtil
)
isa_impl_cl< To, From * >
(
SVF::SVFUtil
)
isa_impl_cl< To, From *const >
(
SVF::SVFUtil
)
isa_impl_wrap
(
SVF::SVFUtil
)
isa_impl_wrap< To, FromTy, FromTy >
(
SVF::SVFUtil
)
iter_adaptor_base
(
SVF
)
iter_facade_base
(
SVF
)
iter_range
(
SVF
)
L
LeadingZerosCounter
(
SVF
)
LeakChecker
(
SVF
)
List
(
SVF
)
List::ListNode
(
SVF
)
LLVMLoopAnalysis
(
SVF
)
LLVMModuleSet
(
SVF
)
LoadCGEdge
(
SVF
)
LoadMU
(
SVF
)
LoadStmt
(
SVF
)
LoadVFGNode
(
SVF
)
LockAnalysis
(
SVF
)
M
make_void
(
SVF::SVFUtil
)
mapped_iter
(
SVF
)
MemRegion
(
SVF
)
MemSSA
(
SVF
)
MemSSAStat
(
SVF
)
MergeFunctionRets
(
SVF
)
MHP
(
SVF
)
MRGenerator
(
SVF
)
MRSVFGNode
(
SVF
)
MRVer
(
SVF
)
MSSACHI
(
SVF
)
MSSADEF
(
SVF
)
MSSAMU
(
SVF
)
MSSAPHI
(
SVF
)
MSSAPHISVFGNode
(
SVF
)
MTA
(
SVF
)
MTAStat
(
SVF
)
MultiOpndStmt
(
SVF
)
MutableDFPTData
(
SVF
)
MutableDiffPTData
(
SVF
)
MutableIncDFPTData
(
SVF
)
MutablePTData
(
SVF
)
MutableVersionedPTData
(
SVF
)
N
NeverFreeBug
(
SVF
)
VersionedFlowSensitive::SCC::NodeData
(
SVF
)
NodeIDAllocator
(
SVF
)
NormalGepCGEdge
(
SVF
)
NullPtrVFGNode
(
SVF
)
O
ObjTypeInference
(
SVF
)
ObjTypeInfo
(
SVF
)
ObjVar
(
SVF
)
Option
OptionBase
OptionMap
OptionMultiple
Options
(
SVF
)
P
PAGBuilderFromFile
(
SVF
)
parse_buffer
PartialBufferOverflowBug
(
SVF
)
PartialLeakBug
(
SVF
)
PartialNullPtrDereferenceBug
(
SVF
)
PersistentDFPTData
(
SVF
)
PersistentDiffPTData
(
SVF
)
PersistentIncDFPTData
(
SVF
)
PersistentPointsToCache
(
SVF
)
PersistentPTData
(
SVF
)
PersistentVersionedPTData
(
SVF
)
PhiStmt
(
SVF
)
PHIVFGNode
(
SVF
)
POCRAlias
(
SVF
)
POCRHybrid
(
SVF
)
POCRHybridSolver
(
SVF
)
POCRSolver
(
SVF
)
pointee_iter
(
SVF
)
pointer_iterator
(
SVF
)
PointerAnalysis
(
SVF
)
PointsTo
(
SVF
)
PointsTo::PointsToIterator
(
SVF
)
PopulationCounter
(
SVF
)
PopulationCounter< T, 8 >
(
SVF
)
printbuffer
ProgSlice
(
SVF
)
PTAStat
(
SVF
)
PTData
(
SVF
)
R
iter_facade_base::ReferenceProxy
(
SVF
)
RelationSolver
(
SVF
)
RelExeState
(
SVF
)
RetCFGEdge
(
SVF
)
RetDirSVFGEdge
(
SVF
)
RetICFGNode
(
SVF
)
RetIndSVFGEdge
(
SVF
)
RetMU
(
SVF
)
RetPE
(
SVF
)
RetValPN
(
SVF
)
S
SaberCheckerAPI
(
SVF
)
SaberCondAllocator
(
SVF
)
SaberSVFGBuilder
(
SVF
)
VersionedFlowSensitive::SCC
(
SVF
)
SCCDetection
(
SVF
)
SelectStmt
(
SVF
)
simplify_type
(
SVF::SVFUtil
)
simplify_type< const From >
(
SVF::SVFUtil
)
SparseBitVector
(
SVF
)
SparseBitVectorElement
(
SVF
)
SparseBitVector::SparseBitVectorIterator
(
SVF
)
SrcSnkDDA
(
SVF
)
SrcSnkSolver
(
SVF
)
StackObjVar
(
SVF
)
Steensgaard
(
SVF
)
StInfo
(
SVF
)
StmtDPItem
(
SVF
)
StmtVFGNode
(
SVF
)
StoreCGEdge
(
SVF
)
StoreCHI
(
SVF
)
StoreStmt
(
SVF
)
StoreVFGNode
(
SVF
)
SVFArrayType
(
SVF
)
SVFBasicBlock
(
SVF
)
SVFBugEvent
(
SVF
)
SVFBugReport
(
SVF
)
SVFFunctionType
(
SVF
)
SVFG
(
SVF
)
SVFGBuilder
(
SVF
)
SVFGOPT
(
SVF
)
SVFGStat
(
SVF
)
SVFIntegerType
(
SVF
)
SVFIR
(
SVF
)
SVFIRBuilder
(
SVF
)
SVFLoop
(
SVF
)
SVFLoopAndDomInfo
(
SVF
)
SVFOtherType
(
SVF
)
SVFPointerType
(
SVF
)
SVFStat
(
SVF
)
SVFStmt
(
SVF
)
SVFStructType
(
SVF
)
SVFType
(
SVF
)
SVFValue
(
SVF
)
SVFVar
(
SVF
)
SymblicAbstractionTest
GrammarBase::Symbol
(
SVF
)
GrammarBase::SymbolHash
(
SVF
)
SymbolTableBuilder
(
SVF
)
GrammarBase::SymbolVectorHash
(
SVF
)
T
TCT
(
SVF
)
TCTEdge
(
SVF
)
TCTNode
(
SVF
)
TDForkPE
(
SVF
)
TDJoinPE
(
SVF
)
ThreadAPI
(
SVF
)
ThreadCallGraph
(
SVF
)
ThreadForkEdge
(
SVF
)
ThreadJoinEdge
(
SVF
)
ThreadMHPIndSVFGEdge
(
SVF
)
TrailingZerosCounter
(
SVF
)
POCRHybridSolver::TreeNode
(
SVF
)
TypeAnalysis
(
SVF
)
U
UnaryOPStmt
(
SVF
)
UnaryOPVFGNode
(
SVF
)
V
ValVar
(
SVF
)
VarArgValPN
(
SVF
)
VariantGepCGEdge
(
SVF
)
VersionedFlowSensitive
(
SVF
)
VersionedFlowSensitiveStat
(
SVF
)
VersionedPTData
(
SVF
)
VFCFLGraphBuilder
(
SVF
)
VFG
(
SVF
)
VFGEdge
(
SVF
)
VFGNode
(
SVF
)
W
WPAFSSolver
(
SVF
)
WPAMinimumSolver
(
SVF
)
WPAPass
(
SVF
)
WPASCCSolver
(
SVF
)
WPASolver
(
SVF
)
WTO
(
SVF
)
WTOComponent
(
SVF
)
WTOComponentVisitor
(
SVF
)
WTOCycle
(
SVF
)
WTOCycleDepth
(
SVF
)
WTO::WTOCycleDepthBuilder
(
SVF
)
WTONode
(
SVF
)
Z
Z3Expr
(
SVF
)
Generated by
1.9.8
1.9.8