Static Value-Flow Analysis
Loading...
Searching...
No Matches
Here is a list of all variables with links to the classes they belong to:
- u -
UndefAsNull :
SVF::Options
underlying :
SVF::SlicedCallGraphEdgeRef
,
SVF::SlicedICFGEdgeRef
,
SVF::SlicedPAGEdgeRef
,
SVF::SlicedSVFGEdgeRef
unionCache :
SVF::PersistentPointsToCache< Data >
uniqueComplements :
SVF::PersistentPointsToCache< Data >
uniqueIntersections :
SVF::PersistentPointsToCache< Data >
uniqueUnions :
SVF::PersistentPointsToCache< Data >
unlockSites :
SVF::LockAnalysis
updateCallGraphTime :
SVF::FlowSensitive
updateTime :
SVF::FlowSensitive
upperBound :
SVF::AbstractInterpretation::AllocationSizeBounds
usedMRVers :
SVF::MemSSA
usedRegs :
SVF::MemSSA
UsePreCompFieldSensitive :
SVF::Options
userInput :
SVF::DDAClient
UserInputQuery :
SVF::Options
utils :
SVF::AbstractInterpretation
Generated by
1.15.0