Here is a list of all class members with links to the classes they belong to:

- u -

• ub() : SVF::IntervalValue
• UDiv : SVF::BinaryOPStmt
• UITOFP : SVF::CopyStmt
• UnaryOp : SVF::SVFStmt, SVF::SVFValue
• UnaryOPStmt() : SVF::UnaryOPStmt
• UnaryOPVFGNode() : SVF::UnaryOPVFGNode
• UNCLASSIFIED : SVF::AbsExtAPI
• UnifyFunctionExit() : SVF::MergeFunctionRets
• unionCache : SVF::PersistentPointsToCache< Data >
• unionDDAPts() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA
• unionPts() : SVF::Andersen, SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPointsToCache< Data >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PTData< Key, KeySet, Data, DataSet >, SVF::Steensgaard, SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• unionPtsFromId() : SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• unionPtsFromIn() : SVF::FlowSensitive
• unionPtsFromTop() : SVF::FlowSensitive
• unionPtsThroughIds() : SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
• unionWith() : SVF::SparseBitVectorElement< ElementSize >
• uniqueComplements : SVF::PersistentPointsToCache< Data >
• uniqueIntersections : SVF::PersistentPointsToCache< Data >
• uniqueUnions : SVF::PersistentPointsToCache< Data >
• UNKNOWN : SVF::AEDetector
• unlocksites : SVF::LockAnalysis
• unset() : SVF::NodeIDAllocator
• updateAliasMRs() : SVF::MRGenerator
• updateAllDFInFromIn() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• updateAllDFInFromOut() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• updateAllDFOutFromIn() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• updateAncestorThreads() : SVF::MHP
• updateATVPts() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• updateCachedPointsTo() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• updateCallGraph() : SVF::AndersenBase, SVF::AndersenSCD, SVF::BVDataPTAImpl, SVF::CFLAlias, SVF::FlowSensitive, SVF::ICFG, SVF::SVFIRBuilder, SVF::ThreadCallGraph, SVF::VFG
• updateCallGraphAndSVFG() : SVF::ContextDDA, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA
• updateCallGraphTime : SVF::FlowSensitive
• updateConnectedNodes() : SVF::FlowSensitive, SVF::VersionedFlowSensitive
• updateDFInFromIn() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• updateDFInFromOut() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• updateDFOutFromIn() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• UpdatedVarconstIter : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >
• UpdatedVarMap : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• UpdatedVarMapIter : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >
• updateGepObjOffsetFromBase() : SVF::BufOverflowDetector
• updateInFromIn() : SVF::FlowSensitive
• updateInFromOut() : SVF::FlowSensitive
• updateJoinEdge() : SVF::ThreadCallGraph
• updateMap() : SVF::CDGBuilder, SVF::RelationSolver
• updateNodeRepAndSubs() : SVF::Andersen
• updateNonCandidateFunInterleaving() : SVF::MHP
• updateOutFromIn() : SVF::FlowSensitive
• updatePropaPts() : SVF::Andersen
• updatePropaPtsMap() : SVF::DiffPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• updateRepNode() : SVF::ICFG
• updateSiblingThreads() : SVF::MHP
• updateStateOnAddr() : SVF::AbstractInterpretation
• updateStateOnBinary() : SVF::AbstractInterpretation
• updateStateOnCall() : SVF::AbstractInterpretation
• updateStateOnCmp() : SVF::AbstractInterpretation
• updateStateOnCopy() : SVF::AbstractInterpretation
• updateStateOnGep() : SVF::AbstractInterpretation
• updateStateOnLoad() : SVF::AbstractInterpretation
• updateStateOnPhi() : SVF::AbstractInterpretation
• updateStateOnRet() : SVF::AbstractInterpretation
• updateStateOnSelect() : SVF::AbstractInterpretation
• updateStateOnStore() : SVF::AbstractInterpretation
• updateSubAndRep() : SVF::ICFG
• updateThreadCallGraph() : SVF::AndersenBase
• updateTime : SVF::FlowSensitive
• updateTLVPts() : SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• URem : SVF::BinaryOPStmt
• usageAndExit() : OptionBase
• usedMRVers : SVF::MemSSA
• usedRegs : SVF::MemSSA
• UsePreCompFieldSensitive : SVF::Options
• userInput : SVF::DDAClient
• UserInputQuery : SVF::Options
• utils : SVF::AbstractInterpretation