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

- v -

• ValDomain : SVF::ForkJoinAnalysis, SVF::LockAnalysis
• validateExpectedFailureTests() : SVF::DoubleFreeChecker, SVF::LeakChecker, SVF::PointerAnalysis
• validateSuccessTests() : SVF::DoubleFreeChecker, SVF::LeakChecker, SVF::PointerAnalysis
• ValidateTests : SVF::Options
• validateTests() : SVF::PointerAnalysis
• validateTypeCheck() : SVF::ObjTypeInference
• ValNode : SVF::SVFValue
• ValSymbol : SVF::IRGraph
• valSymMap : SVF::LLVMModuleSet
• valSyms() : SVF::LLVMModuleSet
• value : Option< T >, OptionMap< T >, SVF::SVFStmt, SVF::SVFUtil::is_simple_type< X >
• value_type : SVF::CoreBitVector::CoreBitVectorIterator, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::PointsTo::PointsToIterator
• ValueBoolPair : SVF::ObjTypeInference
• valuedouble : cJSON
• valueint : cJSON
• valueOnlyToString() : SVF::SVFValue
• ValueSet : SVF::ObjTypeInference
• valuestring : cJSON
• ValueToClassNames : SVF::ObjTypeInference
• ValueToIDMapTy : SVF::LLVMModuleSet
• ValueToInferSites : SVF::ObjTypeInference
• ValueToSources : SVF::ObjTypeInference
• ValueToType : SVF::ObjTypeInference
• ValueToValueSet : SVF::ObjTypeInference
• ValVar() : SVF::ValVar
• valVarNum : SVF::IRGraph
• var2LabelMap : SVF::SVFStmt
• Var2LabelMap : SVF::SVFStmt
• VAR_ARRAY_OBJ : SVF::ObjTypeInfo
• VAR_STRUCT_OBJ : SVF::ObjTypeInfo
• varArg : SVF::SVFFunctionType
• varargFunObjSymMap : SVF::IRGraph
• varargFunObjSyms() : SVF::IRGraph
• VarargSymbol : SVF::IRGraph
• varargSymMap : SVF::LLVMModuleSet
• varargSyms() : SVF::LLVMModuleSet
• VarargValNode : SVF::SVFValue
• VarArgValPN() : SVF::VarArgValPN
• varHasNewDFInPts() : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• varHasNewDFOutPts() : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• variableAttribute : SVF::GrammarBase::Symbol
• VariableAttribute : SVF::GrammarBase
• variantField : SVF::GepStmt
• VariantGep : SVF::ConstraintEdge
• VariantGepCGEdge() : SVF::VariantGepCGEdge
• varKills : SVF::MemSSA
• VarToAbsValMap : SVF::AbstractState
• VarToPropNodeMap : SVF::VersionedFlowSensitive
• VarToValMap : SVF::RelExeState
• ver : SVF::ActualINSVFGNode, SVF::ActualOUTSVFGNode, SVF::FormalINSVFGNode, SVF::FormalOUTSVFGNode, SVF::MSSAMU< Cond >, SVF::MSSAPHISVFGNode
• verifyCallGraph() : SVF::CallGraph
• version : SVF::DummyVersionPropSVFGNode, SVF::MRVer
• Versioned : SVF::PTData< Key, KeySet, Data, DataSet >
• VersionedFlowSensitive() : SVF::VersionedFlowSensitive
• VersionedFlowSensitiveStat : SVF::VersionedFlowSensitive, SVF::VersionedFlowSensitiveStat
• VersionedKeyToIDMap : SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• VersionedPTData() : SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• VersionedPTDataTy : SVF::BVDataPTAImpl
• versionedVarToPropNode : SVF::VersionedFlowSensitive
• VersioningThreads : SVF::Options
• versionPropTime : SVF::VersionedFlowSensitive
• versionReliance : SVF::VersionedFlowSensitive
• VersionRelianceMap : SVF::VersionedFlowSensitive
• versionStat() : SVF::VersionedFlowSensitiveStat
• Veto : SVF::WPAPass
• vfEdgesAtIndCallSite : SVF::SVFGBuilder
• VFG : SVF::SVFVar, SVF::VFG
• VFGEdge() : SVF::VFGEdge
• VFGEdgeK : SVF::VFGEdge
• VFGEdgeSetTy : SVF::VFG, SVF::VFGEdge
• VFGK : SVF::VFG
• VFGNode() : SVF::VFGNode
• VFGNodeIDToNodeMapTy : SVF::VFG
• VFGNodeIter : SVF::VFG
• VFGNodeK : SVF::VFGNode
• VFGNodeList : SVF::ICFGNode
• VFGNodes : SVF::ICFGNode, SVF::VFG
• VFGNodeSet : SVF::VFG
• vfID : SVF::CHGraph
• vfnVectors : SVF::DCHNode
• VFS_WPA : SVF::PointerAnalysis
• vfspta : SVF::VersionedFlowSensitive, SVF::VersionedFlowSensitiveStat
• VFunSet : SVF::PointerAnalysis
• VFWorkList : SVF::ProgSlice
• vid : SVF::MRVer
• view() : SVF::CallGraph, SVF::CDG, SVF::CFLGraph, SVF::CHGraph, SVF::ConstraintGraph, SVF::ICFG, SVF::IRGraph, SVF::VFG
• virtualFunctionToIDMap : SVF::CHGraph
• virtualFunctionVectors : SVF::CHNode
• virtualFunIdx : SVF::CallICFGNode
• visit() : SVF::CSC, SVF::SCCDetection< GraphType >, SVF::VersionedFlowSensitive::SCC, SVF::WTO< GraphT >, SVF::WTO< GraphT >::WTOCycleDepthBuilder, SVF::WTOComponentVisitor< GraphT >
• visitAllocaInst() : SVF::SVFIRBuilder
• visitAtomicCmpXchgInst() : SVF::SVFIRBuilder
• visitAtomicRMWInst() : SVF::SVFIRBuilder
• visitBinaryOperator() : SVF::SVFIRBuilder
• visitBranchInst() : SVF::SVFIRBuilder
• visitCallBrInst() : SVF::SVFIRBuilder
• visitCallInst() : SVF::SVFIRBuilder
• visitCallSite() : SVF::SVFIRBuilder
• visitCastInst() : SVF::SVFIRBuilder
• visitCmpInst() : SVF::SVFIRBuilder
• visited : SVF::ICFGBuilder, SVF::SCCDetection< GraphType >::GNodeSCCInfo, SVF::SCCDetection< GraphType >
• visitedCTPs : SVF::LockAnalysis, SVF::TCT
• visitedSet : SVF::SrcSnkDDA
• visitExtractElementInst() : SVF::SVFIRBuilder
• visitExtractValueInst() : SVF::SVFIRBuilder
• visitFenceInst() : SVF::SVFIRBuilder
• visitFreezeInst() : SVF::SVFIRBuilder
• visitGetElementPtrInst() : SVF::SVFIRBuilder
• visitGlobal() : SVF::SVFIRBuilder
• visitInsertElementInst() : SVF::SVFIRBuilder
• visitInsertValueInst() : SVF::SVFIRBuilder
• visitInstruction() : SVF::SVFIRBuilder
• visitInvokeInst() : SVF::SVFIRBuilder
• visitLandingPadInst() : SVF::SVFIRBuilder
• visitLoadInst() : SVF::SVFIRBuilder
• visitPHINode() : SVF::SVFIRBuilder
• visitResumeInst() : SVF::SVFIRBuilder
• visitReturnInst() : SVF::SVFIRBuilder
• visitSelectInst() : SVF::SVFIRBuilder
• visitShuffleVectorInst() : SVF::SVFIRBuilder
• visitStoreInst() : SVF::SVFIRBuilder
• visitSwitchInst() : SVF::SVFIRBuilder
• visitUnaryOperator() : SVF::SVFIRBuilder
• visitUnreachableInst() : SVF::SVFIRBuilder
• visitVAArgInst() : SVF::SVFIRBuilder
• visitVACopyInst() : SVF::SVFIRBuilder
• visitVAEndInst() : SVF::SVFIRBuilder
• visitVAStartInst() : SVF::SVFIRBuilder
• void() : cJSON_Hooks, internal_hooks
• vPtD : SVF::VersionedFlowSensitive
• vtable : SVF::CHNode, SVF::DCHNode
• VtableInSVFIR : SVF::Options
• VTablePtrToCallSiteMap : SVF::AliasDDAClient, SVF::FunptrDDAClient
• VTableSet : SVF::PointerAnalysis
• vtableToCallSiteMap : SVF::AliasDDAClient, SVF::FunptrDDAClient
• vtabPtr : SVF::CallICFGNode
• vtblCHAMap : SVF::DCHGraph
• vtblToTypeMap : SVF::DCHGraph
• vWorklist : SVF::VersionedFlowSensitive