Static Value-Flow Analysis
Loading...
Searching...
No Matches
Here is a list of all variables with links to the classes they belong to:
- k -
keepActualOutFormalIn :
SVF::SVFGOPT
keepAllSelfCycle :
SVF::SVFGOPT
KeepAOFI :
SVF::Options
keepContextSelfCycle :
SVF::SVFGOPT
keptDirectCalls :
SVF::SlicedThreadCallGraphView
keptEdges :
SVF::SlicedThreadCallGraphView
keptFunctionsSet :
SVF::SlicedThreadCallGraphView
keptIndirectCalls :
SVF::SlicedThreadCallGraphView
keptNodeIds :
SVF::SlicedPAGView
keptNodes :
SVF::SlicedICFGView
,
SVF::SlicedThreadCallGraphView
keptNodesSet :
SVF::SlicedICFGView
keptStmts :
SVF::SlicedPAGView
kind :
SVF::AEDetector
,
SVF::CallGraph
,
SVF::CommonCHGraph
,
SVF::GrammarBase::Symbol
,
SVF::SVFType
,
SVF::VFG
kindToAttrsMap :
SVF::CFLGraphBuilder
,
SVF::GrammarBase
kindToLabelMap :
SVF::CFLGraphBuilder
KindToPTASVFStmtSetMap :
SVF::IRGraph
KindToSVFStmtSetMap :
SVF::IRGraph
Generated by
1.15.0