Static Value-Flow Analysis
Loading...
Searching...
No Matches
Here is a list of all variables with links to the classes they belong to:
- u -
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
usedMRVers :
SVF::MemSSA
usedRegs :
SVF::MemSSA
UsePreCompFieldSensitive :
SVF::Options
userInput :
SVF::DDAClient
UserInputQuery :
SVF::Options
utils :
SVF::AbstractInterpretation
Generated by
1.9.8