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

- v -

• ValidateTests : SVF::Options
• valSymMap : SVF::LLVMModuleSet
• value : Option< T >, OptionMap< T >, SVF::SVFStmt, SVF::SVFUtil::is_simple_type< X >
• valuedouble : cJSON
• valueint : cJSON
• valuestring : cJSON
• valVarNum : SVF::IRGraph
• ValVarToDefMap : SVF::VFG
• var2LabelMap : SVF::SVFStmt
• varArg : SVF::SVFFunctionType
• varargFunObjSymMap : SVF::IRGraph
• varargSymMap : SVF::LLVMModuleSet
• variableAttribute : SVF::GrammarBase::Symbol
• variantField : SVF::GepStmt
• varKills : SVF::MemSSA
• ver : SVF::ActualINSVFGNode, SVF::ActualOUTSVFGNode, SVF::FormalINSVFGNode, SVF::FormalOUTSVFGNode, SVF::MSSAMU< Cond >, SVF::MSSAPHISVFGNode
• version : SVF::DummyVersionPropSVFGNode, SVF::MRVer
• versionedVarToPropNode : SVF::VersionedFlowSensitive
• VersioningThreads : SVF::Options
• versionPropTime : SVF::VersionedFlowSensitive
• versionReliance : SVF::VersionedFlowSensitive
• vfEdgesAtIndCallSite : SVF::SVFGBuilder
• VFGNodes : SVF::ICFGNode
• vfID : SVF::CHGraph
• vfspta : SVF::VersionedFlowSensitive, SVF::VersionedFlowSensitiveStat
• vid : SVF::MRVer
• view : SVF::SlicedCGEdgeIterImpl< Forward >, SVF::SlicedCGNodeIter, SVF::SlicedICFGEdgeIterImpl< Forward >, SVF::SlicedICFGNodeIter, SVF::SlicedNodeRef< ViewT, RawNodeT >, SVF::SlicedPAGEdgeIterImpl< Forward >, SVF::SlicedPAGNodeIter, SVF::SlicedSVFGEdgeIterImpl< Forward >, SVF::SlicedSVFGNodeIter
• virtualFunctionToIDMap : SVF::CHGraph
• virtualFunctionVectors : SVF::CHNode
• virtualFunIdx : SVF::CallICFGNode
• visited : SVF::ICFGBuilder
• visitedCTPs : SVF::LockAnalysis, SVF::TCT
• visitedSet : SVF::SrcSnkDDA
• vPtD : SVF::VersionedFlowSensitive
• vtable : SVF::CHNode
• VtableInSVFIR : SVF::Options
• vtableToCallSiteMap : SVF::AliasDDAClient, SVF::FunptrDDAClient
• vtabPtr : SVF::CallICFGNode
• vWorklist : SVF::VersionedFlowSensitive