Static Value-Flow Analysis
Loading...
Searching...
No Matches
Here is a list of all variables with links to the classes they belong to:
- l -
labelToKindMap :
SVF::CFLGraphBuilder
LargestRegion :
SVF::NodeIDAllocator::Clusterer
length :
parse_buffer
,
printbuffer
LLVMBB2SVFBB :
SVF::LLVMModuleSet
LLVMFun2FunObjVar :
SVF::LLVMModuleSet
llvmModuleSet :
SVF::LLVMModuleSet
LLVMType2SVFType :
SVF::LLVMModuleSet
load2MuSetMap :
SVF::MemSSA
LoadCGEdgeSet :
SVF::ConstraintGraph
loadInEdges :
SVF::ConstraintNode
loadOutEdges :
SVF::ConstraintNode
loadSrcNodes :
SVF::AliasDDAClient
loadsToMRsMap :
SVF::MRGenerator
loadsToPointsToMap :
SVF::MRGenerator
loadTime :
SVF::FlowSensitive
loadToPTCVarMap :
SVF::DDAVFSolver< CVar, CPtSet, DPIm >
localVarInRecursion :
SVF::PTAStat
lockcandidateFuncSet :
SVF::LockAnalysis
lockQueriesTime :
SVF::LockAnalysis
locksites :
SVF::LockAnalysis
lockTime :
SVF::LockAnalysis
LocMemModel :
SVF::Options
locToDpmSetMap :
SVF::DDAVFSolver< CVar, CPtSet, DPIm >
lookupComplements :
SVF::PersistentPointsToCache< Data >
lookupIntersections :
SVF::PersistentPointsToCache< Data >
lookupUnions :
SVF::PersistentPointsToCache< Data >
LoopAnalysis :
SVF::Options
loopAndDom :
SVF::FunObjVar
LoopBound :
SVF::Options
loopBound :
SVF::SVFLoop
lowlink :
SVF::VersionedFlowSensitive::SCC::NodeData
lsa :
SVF::MTA
Generated by
1.9.8