svf-tools 1.0.855 → 1.0.856

package/SVF-doxygen/html/search/all_15.js

@@ -1,171 +1,171 @@
 var searchData=
 [
-  ['vaarginst_5986',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
-  ['vacopyinst_5987',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
-  ['vaendinst_5988',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
-  ['valdomain_5989',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
-  ['validateall_5990',['validateAll',['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()'],['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()']]],
-  ['validatecxtthread_5991',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator::validateCxtThread()'],['../classSVF_1_1MTAResultValidator.html#aeabad721634674cdb57c604865282dac',1,'SVF::MTAResultValidator::validateCxtThread()']]],
-  ['validateexpectedfailuretests_5992',['validateExpectedFailureTests',['../classSVF_1_1PointerAnalysis.html#ab982e6bbd99a2f9a0a3abbebeeb00dcc',1,'SVF::PointerAnalysis::validateExpectedFailureTests()'],['../classSVF_1_1DoubleFreeChecker.html#a3626a53eb9488f79ea82001dc3374899',1,'SVF::DoubleFreeChecker::validateExpectedFailureTests()'],['../classSVF_1_1LeakChecker.html#af098d01a353a217bd54a90f92f62a45f',1,'SVF::LeakChecker::validateExpectedFailureTests()']]],
-  ['validateinterleaving_5993',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator::validateInterleaving()'],['../classSVF_1_1MTAResultValidator.html#a776c936ed51b7d0285dd0332a55843db',1,'SVF::MTAResultValidator::validateInterleaving()']]],
-  ['validatestmtinlock_5994',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
-  ['validatesuccesstests_5995',['validateSuccessTests',['../classSVF_1_1PointerAnalysis.html#a7accf4e4db4001716e53d98ce5217ac8',1,'SVF::PointerAnalysis::validateSuccessTests()'],['../classSVF_1_1DoubleFreeChecker.html#a13fc5269cbd00cfd0eed5b1cee89e1c2',1,'SVF::DoubleFreeChecker::validateSuccessTests()'],['../classSVF_1_1LeakChecker.html#a0aa051a956b61cad9ec5419f33829e6a',1,'SVF::LeakChecker::validateSuccessTests()']]],
-  ['validatetct_5996',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator::validateTCT()'],['../classSVF_1_1MTAResultValidator.html#a3cc2fa74c3eb82230b8929e7ffb007b7',1,'SVF::MTAResultValidator::validateTCT()']]],
-  ['validatetests_5997',['ValidateTests',['../classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1',1,'SVF::Options::ValidateTests()'],['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()']]],
-  ['valnode_5998',['ValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66',1,'SVF::SVFVar']]],
-  ['valsymbol_5999',['ValSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247',1,'SVF::SymbolTableInfo']]],
-  ['valsymmap_6000',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
-  ['valsyms_6001',['valSyms',['../classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf',1,'SVF::SymbolTableInfo']]],
-  ['value_6002',['value',['../classSVF_1_1SVFStmt.html#a629c2be49658085b1209823f00a97ec3',1,'SVF::SVFStmt::value()'],['../classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e',1,'SVF::SVFVar::value()'],['../structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f',1,'SVF::SVFUtil::is_simple_type::value()'],['../classOption.html#a067413be0c747358947c539a4179d489',1,'Option::value()'],['../classOptionMap.html#a76d2f6244b1d77932e07ca0c2a3afb57',1,'OptionMap::value()'],['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF::Value()']]],
-  ['value_5ftype_6003',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()'],['../classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c',1,'SVF::iter_facade_base::value_type()']]],
-  ['valuedouble_6004',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
-  ['valueint_6005',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
-  ['valuestring_6006',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
-  ['valuetoedgemap_6007',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()'],['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph::ValueToEdgeMap()']]],
-  ['valuetoidmapty_6008',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
-  ['valvar_6009',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF::ValVar'],['../classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5',1,'SVF::ValVar::ValVar(NodeID i, PNODEK ty=ValNode)'],['../classSVF_1_1ValVar.html#a4f01c7de5795f85a5f70bbf4f15c70df',1,'SVF::ValVar::ValVar(const SVFValue *val, NodeID i, PNODEK ty=ValNode)']]],
-  ['var2labelmap_6010',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()'],['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()']]],
-  ['var_5farray_5fobj_6011',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
-  ['var_5fstruct_5fobj_6012',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
-  ['vararg_6013',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
-  ['varargnode_6014',['VarargNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf',1,'SVF::SVFVar']]],
-  ['varargpn_6015',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF::VarArgPN'],['../classSVF_1_1VarArgPN.html#ad7bdfa5c3abb60f5b6a604905a6c6424',1,'SVF::VarArgPN::VarArgPN(NodeID i)'],['../classSVF_1_1VarArgPN.html#ad6ebe474373838bc6c00e8baaa3f7137',1,'SVF::VarArgPN::VarArgPN(const SVFFunction *val, NodeID i)']]],
-  ['varargsymbol_6016',['VarargSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89bab8a256319d4853178a0308c0f6f830e3',1,'SVF::SymbolTableInfo']]],
-  ['varargsymmap_6017',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
-  ['varargsyms_6018',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
-  ['varhasnewdfinpts_6019',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
-  ['varhasnewdfoutpts_6020',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
-  ['variableattribute_6021',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()'],['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()']]],
-  ['variantfield_6022',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
-  ['variantgep_6023',['VariantGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a',1,'SVF::ConstraintEdge']]],
-  ['variantgepcgedge_6024',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF::VariantGepCGEdge'],['../classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02',1,'SVF::VariantGepCGEdge::VariantGepCGEdge()'],['../classSVF_1_1VariantGepCGEdge.html#a72e674854fa023f9634fc6c1b9c1af6a',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(const VariantGepCGEdge &)'],['../classSVF_1_1VariantGepCGEdge.html#ac1aba938a28a9705625b4294c7d35bb6',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
-  ['varkills_6025',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
-  ['vartoaddrs_6026',['VarToAddrs',['../classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef',1,'SVF::ExeState::VarToAddrs()'],['../classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c',1,'SVF::ConsExeState::varToAddrs()'],['../classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409',1,'SVF::ExeState::varToAddrs()']]],
-  ['vartopropnodemap_6027',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
-  ['vartostring_6028',['varToString',['../classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada',1,'SVF::ConsExeState']]],
-  ['vartovalmap_6029',['VarToValMap',['../classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc',1,'SVF::ConsExeState::VarToValMap()'],['../classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8',1,'SVF::IntervalESBase::VarToValMap()'],['../classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98',1,'SVF::RelExeState::VarToValMap()']]],
-  ['vastartinst_6030',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
-  ['vcallinctorordtor_6031',['VCallInCtorOrDtor',['../namespaceSVF_1_1LLVMUtil.html#a898e9c2ed163b618f2e86bc251131d8b',1,'SVF::LLVMUtil']]],
-  ['vcallvtblptr_6032',['vCallVtblPtr',['../classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f',1,'SVF::SVFVirtualCallInst']]],
-  ['vectortype_6033',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
-  ['ver_6034',['ver',['../classSVF_1_1FormalINSVFGNode.html#a0601031e01d4e7e4f086d5a4cc7b1321',1,'SVF::FormalINSVFGNode::ver()'],['../classSVF_1_1FormalOUTSVFGNode.html#af4686f5e09cdd342a1ced3a898cb47c4',1,'SVF::FormalOUTSVFGNode::ver()'],['../classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7',1,'SVF::ActualINSVFGNode::ver()'],['../classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f',1,'SVF::ActualOUTSVFGNode::ver()'],['../classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80',1,'SVF::MSSAPHISVFGNode::ver()'],['../classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36',1,'SVF::MSSAMU::ver()']]],
-  ['verifycallgraph_6035',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
-  ['version_6036',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()'],['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF::Version()']]],
-  ['versioned_6037',['Versioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a33bb78ff686c2cd774e127ce77f9cb67',1,'SVF::PTData']]],
-  ['versionedflowsensitive_6038',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF::VersionedFlowSensitive'],['../classSVF_1_1VersionedFlowSensitive.html#ab88b7a966177e620c552d507b3763e17',1,'SVF::VersionedFlowSensitive::VersionedFlowSensitive()']]],
-  ['versionedflowsensitive_2ecpp_6039',['VersionedFlowSensitive.cpp',['../VersionedFlowSensitive_8cpp.html',1,'']]],
-  ['versionedflowsensitive_2eh_6040',['VersionedFlowSensitive.h',['../VersionedFlowSensitive_8h.html',1,'']]],
-  ['versionedflowsensitivestat_6041',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF::VersionedFlowSensitiveStat'],['../classSVF_1_1VersionedFlowSensitive.html#aaee58f266762146e9fdc08ecfc326b29',1,'SVF::VersionedFlowSensitive::VersionedFlowSensitiveStat()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a762c964e76d181716e1a3833dc4c0706',1,'SVF::VersionedFlowSensitiveStat::VersionedFlowSensitiveStat()']]],
-  ['versionedflowsensitivestat_2ecpp_6042',['VersionedFlowSensitiveStat.cpp',['../VersionedFlowSensitiveStat_8cpp.html',1,'']]],
-  ['versionedkeytoidmap_6043',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
-  ['versionedptdata_6044',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData::VersionedPTData()']]],
-  ['versionedptdataty_6045',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
-  ['versionedvar_6046',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
-  ['versionedvarset_6047',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
-  ['versionedvartopropnode_6048',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
-  ['versioningthreads_6049',['VersioningThreads',['../classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665',1,'SVF::Options']]],
-  ['versionproptime_6050',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
-  ['versionreliance_6051',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
-  ['versionreliancemap_6052',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
-  ['versionset_6053',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
-  ['versionstat_6054',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['veto_6055',['Veto',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c',1,'SVF::WPAPass']]],
-  ['vfcflgraphbuilder_6056',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
-  ['vfedgesatindcallsite_6057',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
-  ['vfg_6058',['VFG',['../classSVF_1_1VFG.html',1,'SVF::VFG'],['../classSVF_1_1SVFVar.html#a1499a631a2a15408ea35a09fccc0f0ad',1,'SVF::SVFVar::VFG()'],['../classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc',1,'SVF::VFG::VFG()']]],
-  ['vfg_2ecpp_6059',['VFG.cpp',['../VFG_8cpp.html',1,'']]],
-  ['vfg_2eh_6060',['VFG.h',['../VFG_8h.html',1,'']]],
-  ['vfgedge_6061',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF::VFGEdge'],['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge::VFGEdge()']]],
-  ['vfgedge_2eh_6062',['VFGEdge.h',['../VFGEdge_8h.html',1,'']]],
-  ['vfgedgek_6063',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
-  ['vfgedgesetty_6064',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
-  ['vfggrammar_2etxt_6065',['VFGGrammar.txt',['../VFGGrammar_8txt.html',1,'']]],
-  ['vfgk_6066',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
-  ['vfgnode_6067',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF::VFGNode'],['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode::VFGNode()']]],
-  ['vfgnode_2eh_6068',['VFGNode.h',['../VFGNode_8h.html',1,'']]],
-  ['vfgnodeidtonodemapty_6069',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8',1,'SVF::VFG']]],
-  ['vfgnodeiter_6070',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],
-  ['vfgnodek_6071',['VFGNodeK',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75',1,'SVF::VFGNode']]],
-  ['vfgnodelist_6072',['VFGNodeList',['../classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169',1,'SVF::ICFGNode']]],
-  ['vfgnodes_6073',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode::VFGNodes()'],['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG::VFGNodes()']]],
-  ['vfgnodeset_6074',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
-  ['vfid_6075',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
-  ['vfnvectors_6076',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
-  ['vfs_5fwpa_6077',['VFS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9',1,'SVF::PointerAnalysis']]],
-  ['vfspta_6078',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
-  ['vfunprelabel_6079',['vfunPreLabel',['../LLVMUtil_8cpp.html#aff4f7c7a9aacf05a3a3c42ae24ea7d96',1,'LLVMUtil.cpp']]],
-  ['vfunset_6080',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
-  ['vfworklist_6081',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
-  ['vgep_6082',['vgep',['../PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9',1,'PAGGrammar.txt']]],
-  ['vgepbar_6083',['vgepbar',['../PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f',1,'PAGGrammar.txt']]],
-  ['vid_6084',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
-  ['view_6085',['view',['../classSVF_1_1CDG.html#a37a615eda0e530f2c784e0dfc5936723',1,'SVF::CDG::view()'],['../classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49',1,'SVF::CFLGraph::view()'],['../classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262',1,'SVF::CHGraph::view()'],['../classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c',1,'SVF::ConstraintGraph::view()'],['../classSVF_1_1ICFG.html#a0d16e302515ffa0033e02ee8f6b3b590',1,'SVF::ICFG::view()'],['../classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67',1,'SVF::IRGraph::view()'],['../classSVF_1_1PTACallGraph.html#a7c2d28b4707d7feaabf62977cef90d27',1,'SVF::PTACallGraph::view()'],['../classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929',1,'SVF::VFG::view()']]],
-  ['viewcfg_6086',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
-  ['viewcfgonly_6087',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
-  ['viewgraph_6088',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
-  ['virtfill_6089',['virtFill',['../classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFVar *var)'],['../classSVF_1_1SVFIRReader.html#a862e234ebfc9835ce4be89d7cea0bb69',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a2d2aa496466b2d9846c03f179da1018f',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, ICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a35a05bcf7557f6e1f6fb960610e1c64f',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, ICFGEdge *node)'],['../classSVF_1_1SVFIRReader.html#a1d4a8dd5af012dc3cdf70e410a8206b1',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, CHNode *node)'],['../classSVF_1_1SVFIRReader.html#aec159af379b072ac27e622c6158e2b0c',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, CHEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a5511abd626690de435c00b446917ba6e',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFValue *value)'],['../classSVF_1_1SVFIRReader.html#a08754893ccf3c535b2617183c5b24a20',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFType *type)']]],
-  ['virttojson_6090',['virtToJson',['../classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047',1,'SVF::SVFIRWriter::virtToJson(const SVFType *type)'],['../classSVF_1_1SVFIRWriter.html#aa31d36234ac21e5d67586cd601ccd85a',1,'SVF::SVFIRWriter::virtToJson(const SVFValue *value)'],['../classSVF_1_1SVFIRWriter.html#a34928a196543aca2d1c21c01a8ff53a2',1,'SVF::SVFIRWriter::virtToJson(const SVFVar *var)'],['../classSVF_1_1SVFIRWriter.html#a887a06136229f978a1084f23b0491d32',1,'SVF::SVFIRWriter::virtToJson(const SVFStmt *stmt)'],['../classSVF_1_1SVFIRWriter.html#aaef14ca91eda175ba40b218c232d1f8b',1,'SVF::SVFIRWriter::virtToJson(const ICFGNode *node)'],['../classSVF_1_1SVFIRWriter.html#a7cb8eb8f3e50390ae1c551f1329d6846',1,'SVF::SVFIRWriter::virtToJson(const ICFGEdge *edge)'],['../classSVF_1_1SVFIRWriter.html#add3db3506c3ffc57f6f4fa8aadcb7556',1,'SVF::SVFIRWriter::virtToJson(const CHNode *node)'],['../classSVF_1_1SVFIRWriter.html#aa47373ddf2c4faefd506bd47d1d63f6f',1,'SVF::SVFIRWriter::virtToJson(const CHEdge *edge)']]],
-  ['virtualfunctiontoidmap_6091',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
-  ['virtualfunctionvectors_6092',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
-  ['virtualfunidx_6093',['virtualFunIdx',['../classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6',1,'SVF::SVFVirtualCallInst']]],
-  ['visit_6094',['visit',['../classSVF_1_1WTOVisitor.html#aa338935535bb5c855224aa01d624f9d8',1,'SVF::WTOVisitor::visit(const CFBasicBlockGWTONode &)=0'],['../classSVF_1_1WTOVisitor.html#a091a17f6b7eeee138fcde4499eb17311',1,'SVF::WTOVisitor::visit(const CFBasicBlockGWTOCycle &)=0'],['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a0f190d9a736d0d0aa6621aa6984bb962',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::visit(const CFBasicBlockGWTOCycle &cycle) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a3e28b1d60a731c51f6c9a12ddf4c8f20',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::visit(const CFBasicBlockGWTONode &node) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a8daebe6f986aa1ab5e73368f69ea49e1',1,'SVF::CFBasicBlockGWTO::TailBuilder::visit(const CFBasicBlockGWTOCycle &cycle) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6b6c7f89989b77a25b2f464f4450e879',1,'SVF::CFBasicBlockGWTO::TailBuilder::visit(const CFBasicBlockGWTONode &node) override'],['../classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb',1,'SVF::CFBasicBlockGWTO::visit()'],['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],
-  ['visitallocainst_6095',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
-  ['visitatomiccmpxchginst_6096',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],
-  ['visitatomicrmwinst_6097',['visitAtomicRMWInst',['../classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4',1,'SVF::SVFIRBuilder']]],
-  ['visitbinaryoperator_6098',['visitBinaryOperator',['../classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e',1,'SVF::SVFIRBuilder']]],
-  ['visitbranchinst_6099',['visitBranchInst',['../classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af',1,'SVF::SVFIRBuilder']]],
-  ['visitcallbrinst_6100',['visitCallBrInst',['../classSVF_1_1SVFIRBuilder.html#a62da871a2bace42fa96baf8b9862d4db',1,'SVF::SVFIRBuilder']]],
-  ['visitcallinst_6101',['visitCallInst',['../classSVF_1_1SVFIRBuilder.html#a421708269d991987d8d4e93cec750a8d',1,'SVF::SVFIRBuilder']]],
-  ['visitcallsite_6102',['visitCallSite',['../classSVF_1_1SVFIRBuilder.html#a5aa87f9ea35b30b4b4797f8a7f9f293c',1,'SVF::SVFIRBuilder']]],
-  ['visitcastinst_6103',['visitCastInst',['../classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b',1,'SVF::SVFIRBuilder']]],
-  ['visitcmpinst_6104',['visitCmpInst',['../classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c',1,'SVF::SVFIRBuilder']]],
-  ['visited_6105',['visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210',1,'SVF::SCCDetection::GNodeSCCInfo::visited(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a',1,'SVF::SCCDetection::GNodeSCCInfo::visited(bool v)'],['../classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7',1,'SVF::SCCDetection::visited()']]],
-  ['visitedctps_6106',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
-  ['visitedset_6107',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],
-  ['visitextractelementinst_6108',['visitExtractElementInst',['../classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec',1,'SVF::SVFIRBuilder']]],
-  ['visitextractvalueinst_6109',['visitExtractValueInst',['../classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800',1,'SVF::SVFIRBuilder']]],
-  ['visitfenceinst_6110',['visitFenceInst',['../classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed',1,'SVF::SVFIRBuilder']]],
-  ['visitfreezeinst_6111',['visitFreezeInst',['../classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22',1,'SVF::SVFIRBuilder']]],
-  ['visitgetelementptrinst_6112',['visitGetElementPtrInst',['../classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371',1,'SVF::SVFIRBuilder']]],
-  ['visitglobal_6113',['visitGlobal',['../classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8',1,'SVF::SVFIRBuilder']]],
-  ['visitinsertelementinst_6114',['visitInsertElementInst',['../classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17',1,'SVF::SVFIRBuilder']]],
-  ['visitinsertvalueinst_6115',['visitInsertValueInst',['../classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497',1,'SVF::SVFIRBuilder']]],
-  ['visitinstruction_6116',['visitInstruction',['../classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3',1,'SVF::SVFIRBuilder']]],
-  ['visitinvokeinst_6117',['visitInvokeInst',['../classSVF_1_1SVFIRBuilder.html#a39577da11f4b85066988f105e3c18d7c',1,'SVF::SVFIRBuilder']]],
-  ['visitlandingpadinst_6118',['visitLandingPadInst',['../classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2',1,'SVF::SVFIRBuilder']]],
-  ['visitloadinst_6119',['visitLoadInst',['../classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc',1,'SVF::SVFIRBuilder']]],
-  ['visitphinode_6120',['visitPHINode',['../classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471',1,'SVF::SVFIRBuilder']]],
-  ['visitresumeinst_6121',['visitResumeInst',['../classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb',1,'SVF::SVFIRBuilder']]],
-  ['visitreturninst_6122',['visitReturnInst',['../classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d',1,'SVF::SVFIRBuilder']]],
-  ['visitselectinst_6123',['visitSelectInst',['../classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72',1,'SVF::SVFIRBuilder']]],
-  ['visitshufflevectorinst_6124',['visitShuffleVectorInst',['../classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44',1,'SVF::SVFIRBuilder']]],
-  ['visitstoreinst_6125',['visitStoreInst',['../classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c',1,'SVF::SVFIRBuilder']]],
-  ['visitswitchinst_6126',['visitSwitchInst',['../classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a',1,'SVF::SVFIRBuilder']]],
-  ['visitunaryoperator_6127',['visitUnaryOperator',['../classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30',1,'SVF::SVFIRBuilder']]],
-  ['visitunreachableinst_6128',['visitUnreachableInst',['../classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795',1,'SVF::SVFIRBuilder']]],
-  ['visitvaarginst_6129',['visitVAArgInst',['../classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775',1,'SVF::SVFIRBuilder']]],
-  ['visitvacopyinst_6130',['visitVACopyInst',['../classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851',1,'SVF::SVFIRBuilder']]],
-  ['visitvaendinst_6131',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
-  ['visitvastartinst_6132',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
-  ['void_6133',['void',['../structcJSON__Hooks.html#a42c96b388103ffb466e7335b9fc710c3',1,'cJSON_Hooks::void()'],['../structinternal__hooks.html#a5cc2dd5383da5f20b19e0f27fa59e123',1,'internal_hooks::void()']]],
-  ['void_5ft_6134',['void_t',['../namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06',1,'SVF::SVFUtil']]],
-  ['vptd_6135',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
-  ['vtable_6136',['vtable',['../classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e',1,'SVF::DCHNode::vtable()'],['../classSVF_1_1CHNode.html#a0caf16354322896e25a705bb179828ed',1,'SVF::CHNode::vtable()']]],
-  ['vtableinsvfir_6137',['VtableInSVFIR',['../classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140',1,'SVF::Options']]],
-  ['vtableptrtocallsitemap_6138',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
-  ['vtableset_6139',['VTableSet',['../classSVF_1_1PointerAnalysis.html#a57fabf1408ada10028282deef0b23ec6',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234',1,'SVF::VTableSet()']]],
-  ['vtabletocallsitemap_6140',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
-  ['vtabletype_6141',['vtableType',['../LLVMUtil_8cpp.html#ac4e4df5c6f24ccd2c0d6e752d7253bfc',1,'LLVMUtil.cpp']]],
-  ['vtblchamap_6142',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012',1,'SVF::DCHGraph']]],
-  ['vtbllabelafterdemangle_6143',['vtblLabelAfterDemangle',['../CppUtil_8cpp.html#a3afb7512c76959754d6398b8f20012da',1,'CppUtil.cpp']]],
-  ['vtbllabelbeforedemangle_6144',['vtblLabelBeforeDemangle',['../LLVMUtil_8cpp.html#a211c0223a37893d84fb5e2fd2f9fc76b',1,'LLVMUtil.cpp']]],
-  ['vtbltotypemap_6145',['vtblToTypeMap',['../classSVF_1_1DCHGraph.html#af854a7f4aeb1b596a69fdad9a2adf87a',1,'SVF::DCHGraph']]],
-  ['vthdtocxt_6146',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
-  ['vthdtocxtmap_6147',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()'],['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()']]],
-  ['vthdtorthd_6148',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
-  ['vthdtorthdmap_6149',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()'],['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()']]],
-  ['vthunkfunclabel_6150',['VThunkFuncLabel',['../CppUtil_8cpp.html#a2aa14572bb011847c1e5920aae880bfa',1,'CppUtil.cpp']]],
-  ['vtinitmdname_6151',['vtInitMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a02b3f4190d325c921922c25e319dc8d9',1,'SVF::cppUtil::ctir']]],
-  ['vtmdname_6152',['vtMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#aa4630844aa25aa4801659304a2552058',1,'SVF::cppUtil::ctir']]],
-  ['vworklist_6153',['vWorklist',['../classSVF_1_1VersionedFlowSensitive.html#adfefc0dfa4e7fb4d20fafeaf96a5fa67',1,'SVF::VersionedFlowSensitive']]]
+  ['vaarginst_5985',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
+  ['vacopyinst_5986',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
+  ['vaendinst_5987',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
+  ['valdomain_5988',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
+  ['validateall_5989',['validateAll',['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()'],['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()']]],
+  ['validatecxtthread_5990',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator::validateCxtThread()'],['../classSVF_1_1MTAResultValidator.html#aeabad721634674cdb57c604865282dac',1,'SVF::MTAResultValidator::validateCxtThread()']]],
+  ['validateexpectedfailuretests_5991',['validateExpectedFailureTests',['../classSVF_1_1PointerAnalysis.html#ab982e6bbd99a2f9a0a3abbebeeb00dcc',1,'SVF::PointerAnalysis::validateExpectedFailureTests()'],['../classSVF_1_1DoubleFreeChecker.html#a3626a53eb9488f79ea82001dc3374899',1,'SVF::DoubleFreeChecker::validateExpectedFailureTests()'],['../classSVF_1_1LeakChecker.html#af098d01a353a217bd54a90f92f62a45f',1,'SVF::LeakChecker::validateExpectedFailureTests()']]],
+  ['validateinterleaving_5992',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator::validateInterleaving()'],['../classSVF_1_1MTAResultValidator.html#a776c936ed51b7d0285dd0332a55843db',1,'SVF::MTAResultValidator::validateInterleaving()']]],
+  ['validatestmtinlock_5993',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
+  ['validatesuccesstests_5994',['validateSuccessTests',['../classSVF_1_1PointerAnalysis.html#a7accf4e4db4001716e53d98ce5217ac8',1,'SVF::PointerAnalysis::validateSuccessTests()'],['../classSVF_1_1DoubleFreeChecker.html#a13fc5269cbd00cfd0eed5b1cee89e1c2',1,'SVF::DoubleFreeChecker::validateSuccessTests()'],['../classSVF_1_1LeakChecker.html#a0aa051a956b61cad9ec5419f33829e6a',1,'SVF::LeakChecker::validateSuccessTests()']]],
+  ['validatetct_5995',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator::validateTCT()'],['../classSVF_1_1MTAResultValidator.html#a3cc2fa74c3eb82230b8929e7ffb007b7',1,'SVF::MTAResultValidator::validateTCT()']]],
+  ['validatetests_5996',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()'],['../classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1',1,'SVF::Options::ValidateTests()']]],
+  ['valnode_5997',['ValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66',1,'SVF::SVFVar']]],
+  ['valsymbol_5998',['ValSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247',1,'SVF::SymbolTableInfo']]],
+  ['valsymmap_5999',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
+  ['valsyms_6000',['valSyms',['../classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf',1,'SVF::SymbolTableInfo']]],
+  ['value_6001',['value',['../classSVF_1_1SVFStmt.html#a629c2be49658085b1209823f00a97ec3',1,'SVF::SVFStmt::value()'],['../classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e',1,'SVF::SVFVar::value()'],['../structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f',1,'SVF::SVFUtil::is_simple_type::value()'],['../classOption.html#a067413be0c747358947c539a4179d489',1,'Option::value()'],['../classOptionMap.html#a76d2f6244b1d77932e07ca0c2a3afb57',1,'OptionMap::value()'],['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF::Value()']]],
+  ['value_5ftype_6002',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()'],['../classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c',1,'SVF::iter_facade_base::value_type()']]],
+  ['valuedouble_6003',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
+  ['valueint_6004',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
+  ['valuestring_6005',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
+  ['valuetoedgemap_6006',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph::ValueToEdgeMap()'],['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()']]],
+  ['valuetoidmapty_6007',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
+  ['valvar_6008',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF::ValVar'],['../classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5',1,'SVF::ValVar::ValVar(NodeID i, PNODEK ty=ValNode)'],['../classSVF_1_1ValVar.html#a4f01c7de5795f85a5f70bbf4f15c70df',1,'SVF::ValVar::ValVar(const SVFValue *val, NodeID i, PNODEK ty=ValNode)']]],
+  ['var2labelmap_6009',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()'],['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()']]],
+  ['var_5farray_5fobj_6010',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
+  ['var_5fstruct_5fobj_6011',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
+  ['vararg_6012',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
+  ['varargnode_6013',['VarargNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf',1,'SVF::SVFVar']]],
+  ['varargpn_6014',['VarArgPN',['../classSVF_1_1VarArgPN.html',1,'SVF::VarArgPN'],['../classSVF_1_1VarArgPN.html#ad7bdfa5c3abb60f5b6a604905a6c6424',1,'SVF::VarArgPN::VarArgPN(NodeID i)'],['../classSVF_1_1VarArgPN.html#ad6ebe474373838bc6c00e8baaa3f7137',1,'SVF::VarArgPN::VarArgPN(const SVFFunction *val, NodeID i)']]],
+  ['varargsymbol_6015',['VarargSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89bab8a256319d4853178a0308c0f6f830e3',1,'SVF::SymbolTableInfo']]],
+  ['varargsymmap_6016',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
+  ['varargsyms_6017',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
+  ['varhasnewdfinpts_6018',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
+  ['varhasnewdfoutpts_6019',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
+  ['variableattribute_6020',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()']]],
+  ['variantfield_6021',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
+  ['variantgep_6022',['VariantGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a',1,'SVF::ConstraintEdge']]],
+  ['variantgepcgedge_6023',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF::VariantGepCGEdge'],['../classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02',1,'SVF::VariantGepCGEdge::VariantGepCGEdge()'],['../classSVF_1_1VariantGepCGEdge.html#a72e674854fa023f9634fc6c1b9c1af6a',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(const VariantGepCGEdge &)'],['../classSVF_1_1VariantGepCGEdge.html#ac1aba938a28a9705625b4294c7d35bb6',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
+  ['varkills_6024',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
+  ['vartoaddrs_6025',['varToAddrs',['../classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c',1,'SVF::ConsExeState::varToAddrs()'],['../classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409',1,'SVF::ExeState::varToAddrs(u32_t varId) const'],['../classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef',1,'SVF::ExeState::VarToAddrs()']]],
+  ['vartopropnodemap_6026',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
+  ['vartostring_6027',['varToString',['../classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada',1,'SVF::ConsExeState']]],
+  ['vartovalmap_6028',['VarToValMap',['../classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc',1,'SVF::ConsExeState::VarToValMap()'],['../classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8',1,'SVF::IntervalESBase::VarToValMap()'],['../classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98',1,'SVF::RelExeState::VarToValMap()']]],
+  ['vastartinst_6029',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
+  ['vcallinctorordtor_6030',['VCallInCtorOrDtor',['../namespaceSVF_1_1LLVMUtil.html#a898e9c2ed163b618f2e86bc251131d8b',1,'SVF::LLVMUtil']]],
+  ['vcallvtblptr_6031',['vCallVtblPtr',['../classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f',1,'SVF::SVFVirtualCallInst']]],
+  ['vectortype_6032',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
+  ['ver_6033',['ver',['../classSVF_1_1FormalINSVFGNode.html#a0601031e01d4e7e4f086d5a4cc7b1321',1,'SVF::FormalINSVFGNode::ver()'],['../classSVF_1_1FormalOUTSVFGNode.html#af4686f5e09cdd342a1ced3a898cb47c4',1,'SVF::FormalOUTSVFGNode::ver()'],['../classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7',1,'SVF::ActualINSVFGNode::ver()'],['../classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f',1,'SVF::ActualOUTSVFGNode::ver()'],['../classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80',1,'SVF::MSSAPHISVFGNode::ver()'],['../classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36',1,'SVF::MSSAMU::ver()']]],
+  ['verifycallgraph_6034',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
+  ['version_6035',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()'],['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF::Version()']]],
+  ['versioned_6036',['Versioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a33bb78ff686c2cd774e127ce77f9cb67',1,'SVF::PTData']]],
+  ['versionedflowsensitive_6037',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF::VersionedFlowSensitive'],['../classSVF_1_1VersionedFlowSensitive.html#ab88b7a966177e620c552d507b3763e17',1,'SVF::VersionedFlowSensitive::VersionedFlowSensitive()']]],
+  ['versionedflowsensitive_2ecpp_6038',['VersionedFlowSensitive.cpp',['../VersionedFlowSensitive_8cpp.html',1,'']]],
+  ['versionedflowsensitive_2eh_6039',['VersionedFlowSensitive.h',['../VersionedFlowSensitive_8h.html',1,'']]],
+  ['versionedflowsensitivestat_6040',['VersionedFlowSensitiveStat',['../classSVF_1_1VersionedFlowSensitiveStat.html',1,'SVF::VersionedFlowSensitiveStat'],['../classSVF_1_1VersionedFlowSensitive.html#aaee58f266762146e9fdc08ecfc326b29',1,'SVF::VersionedFlowSensitive::VersionedFlowSensitiveStat()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a762c964e76d181716e1a3833dc4c0706',1,'SVF::VersionedFlowSensitiveStat::VersionedFlowSensitiveStat()']]],
+  ['versionedflowsensitivestat_2ecpp_6041',['VersionedFlowSensitiveStat.cpp',['../VersionedFlowSensitiveStat_8cpp.html',1,'']]],
+  ['versionedkeytoidmap_6042',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
+  ['versionedptdata_6043',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData::VersionedPTData()']]],
+  ['versionedptdataty_6044',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
+  ['versionedvar_6045',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
+  ['versionedvarset_6046',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
+  ['versionedvartopropnode_6047',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
+  ['versioningthreads_6048',['VersioningThreads',['../classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665',1,'SVF::Options']]],
+  ['versionproptime_6049',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
+  ['versionreliance_6050',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
+  ['versionreliancemap_6051',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
+  ['versionset_6052',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
+  ['versionstat_6053',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['veto_6054',['Veto',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c',1,'SVF::WPAPass']]],
+  ['vfcflgraphbuilder_6055',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
+  ['vfedgesatindcallsite_6056',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
+  ['vfg_6057',['VFG',['../classSVF_1_1VFG.html',1,'SVF::VFG'],['../classSVF_1_1SVFVar.html#a1499a631a2a15408ea35a09fccc0f0ad',1,'SVF::SVFVar::VFG()'],['../classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc',1,'SVF::VFG::VFG()']]],
+  ['vfg_2ecpp_6058',['VFG.cpp',['../VFG_8cpp.html',1,'']]],
+  ['vfg_2eh_6059',['VFG.h',['../VFG_8h.html',1,'']]],
+  ['vfgedge_6060',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF::VFGEdge'],['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge::VFGEdge()']]],
+  ['vfgedge_2eh_6061',['VFGEdge.h',['../VFGEdge_8h.html',1,'']]],
+  ['vfgedgek_6062',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
+  ['vfgedgesetty_6063',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
+  ['vfggrammar_2etxt_6064',['VFGGrammar.txt',['../VFGGrammar_8txt.html',1,'']]],
+  ['vfgk_6065',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
+  ['vfgnode_6066',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF::VFGNode'],['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode::VFGNode()']]],
+  ['vfgnode_2eh_6067',['VFGNode.h',['../VFGNode_8h.html',1,'']]],
+  ['vfgnodeidtonodemapty_6068',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8',1,'SVF::VFG']]],
+  ['vfgnodeiter_6069',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],
+  ['vfgnodek_6070',['VFGNodeK',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75',1,'SVF::VFGNode']]],
+  ['vfgnodelist_6071',['VFGNodeList',['../classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169',1,'SVF::ICFGNode']]],
+  ['vfgnodes_6072',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode::VFGNodes()'],['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG::VFGNodes()']]],
+  ['vfgnodeset_6073',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
+  ['vfid_6074',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
+  ['vfnvectors_6075',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
+  ['vfs_5fwpa_6076',['VFS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9',1,'SVF::PointerAnalysis']]],
+  ['vfspta_6077',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
+  ['vfunprelabel_6078',['vfunPreLabel',['../LLVMUtil_8cpp.html#aff4f7c7a9aacf05a3a3c42ae24ea7d96',1,'LLVMUtil.cpp']]],
+  ['vfunset_6079',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
+  ['vfworklist_6080',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
+  ['vgep_6081',['vgep',['../PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9',1,'PAGGrammar.txt']]],
+  ['vgepbar_6082',['vgepbar',['../PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f',1,'PAGGrammar.txt']]],
+  ['vid_6083',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
+  ['view_6084',['view',['../classSVF_1_1CDG.html#a37a615eda0e530f2c784e0dfc5936723',1,'SVF::CDG::view()'],['../classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49',1,'SVF::CFLGraph::view()'],['../classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262',1,'SVF::CHGraph::view()'],['../classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c',1,'SVF::ConstraintGraph::view()'],['../classSVF_1_1ICFG.html#a0d16e302515ffa0033e02ee8f6b3b590',1,'SVF::ICFG::view()'],['../classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67',1,'SVF::IRGraph::view()'],['../classSVF_1_1PTACallGraph.html#a7c2d28b4707d7feaabf62977cef90d27',1,'SVF::PTACallGraph::view()'],['../classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929',1,'SVF::VFG::view()']]],
+  ['viewcfg_6085',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
+  ['viewcfgonly_6086',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
+  ['viewgraph_6087',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
+  ['virtfill_6088',['virtFill',['../classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFVar *var)'],['../classSVF_1_1SVFIRReader.html#a862e234ebfc9835ce4be89d7cea0bb69',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFStmt *stmt)'],['../classSVF_1_1SVFIRReader.html#a2d2aa496466b2d9846c03f179da1018f',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, ICFGNode *node)'],['../classSVF_1_1SVFIRReader.html#a35a05bcf7557f6e1f6fb960610e1c64f',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, ICFGEdge *node)'],['../classSVF_1_1SVFIRReader.html#a1d4a8dd5af012dc3cdf70e410a8206b1',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, CHNode *node)'],['../classSVF_1_1SVFIRReader.html#aec159af379b072ac27e622c6158e2b0c',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, CHEdge *edge)'],['../classSVF_1_1SVFIRReader.html#a5511abd626690de435c00b446917ba6e',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFValue *value)'],['../classSVF_1_1SVFIRReader.html#a08754893ccf3c535b2617183c5b24a20',1,'SVF::SVFIRReader::virtFill(const cJSON *&fieldJson, SVFType *type)']]],
+  ['virttojson_6089',['virtToJson',['../classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047',1,'SVF::SVFIRWriter::virtToJson(const SVFType *type)'],['../classSVF_1_1SVFIRWriter.html#aa31d36234ac21e5d67586cd601ccd85a',1,'SVF::SVFIRWriter::virtToJson(const SVFValue *value)'],['../classSVF_1_1SVFIRWriter.html#a34928a196543aca2d1c21c01a8ff53a2',1,'SVF::SVFIRWriter::virtToJson(const SVFVar *var)'],['../classSVF_1_1SVFIRWriter.html#a887a06136229f978a1084f23b0491d32',1,'SVF::SVFIRWriter::virtToJson(const SVFStmt *stmt)'],['../classSVF_1_1SVFIRWriter.html#aaef14ca91eda175ba40b218c232d1f8b',1,'SVF::SVFIRWriter::virtToJson(const ICFGNode *node)'],['../classSVF_1_1SVFIRWriter.html#a7cb8eb8f3e50390ae1c551f1329d6846',1,'SVF::SVFIRWriter::virtToJson(const ICFGEdge *edge)'],['../classSVF_1_1SVFIRWriter.html#add3db3506c3ffc57f6f4fa8aadcb7556',1,'SVF::SVFIRWriter::virtToJson(const CHNode *node)'],['../classSVF_1_1SVFIRWriter.html#aa47373ddf2c4faefd506bd47d1d63f6f',1,'SVF::SVFIRWriter::virtToJson(const CHEdge *edge)']]],
+  ['virtualfunctiontoidmap_6090',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
+  ['virtualfunctionvectors_6091',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
+  ['virtualfunidx_6092',['virtualFunIdx',['../classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6',1,'SVF::SVFVirtualCallInst']]],
+  ['visit_6093',['visit',['../classSVF_1_1WTOVisitor.html#aa338935535bb5c855224aa01d624f9d8',1,'SVF::WTOVisitor::visit(const CFBasicBlockGWTONode &)=0'],['../classSVF_1_1WTOVisitor.html#a091a17f6b7eeee138fcde4499eb17311',1,'SVF::WTOVisitor::visit(const CFBasicBlockGWTOCycle &)=0'],['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a0f190d9a736d0d0aa6621aa6984bb962',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::visit(const CFBasicBlockGWTOCycle &cycle) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a3e28b1d60a731c51f6c9a12ddf4c8f20',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::visit(const CFBasicBlockGWTONode &node) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a8daebe6f986aa1ab5e73368f69ea49e1',1,'SVF::CFBasicBlockGWTO::TailBuilder::visit(const CFBasicBlockGWTOCycle &cycle) override'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6b6c7f89989b77a25b2f464f4450e879',1,'SVF::CFBasicBlockGWTO::TailBuilder::visit(const CFBasicBlockGWTONode &node) override'],['../classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb',1,'SVF::CFBasicBlockGWTO::visit()'],['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],
+  ['visitallocainst_6094',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
+  ['visitatomiccmpxchginst_6095',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],
+  ['visitatomicrmwinst_6096',['visitAtomicRMWInst',['../classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4',1,'SVF::SVFIRBuilder']]],
+  ['visitbinaryoperator_6097',['visitBinaryOperator',['../classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e',1,'SVF::SVFIRBuilder']]],
+  ['visitbranchinst_6098',['visitBranchInst',['../classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af',1,'SVF::SVFIRBuilder']]],
+  ['visitcallbrinst_6099',['visitCallBrInst',['../classSVF_1_1SVFIRBuilder.html#a62da871a2bace42fa96baf8b9862d4db',1,'SVF::SVFIRBuilder']]],
+  ['visitcallinst_6100',['visitCallInst',['../classSVF_1_1SVFIRBuilder.html#a421708269d991987d8d4e93cec750a8d',1,'SVF::SVFIRBuilder']]],
+  ['visitcallsite_6101',['visitCallSite',['../classSVF_1_1SVFIRBuilder.html#a5aa87f9ea35b30b4b4797f8a7f9f293c',1,'SVF::SVFIRBuilder']]],
+  ['visitcastinst_6102',['visitCastInst',['../classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b',1,'SVF::SVFIRBuilder']]],
+  ['visitcmpinst_6103',['visitCmpInst',['../classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c',1,'SVF::SVFIRBuilder']]],
+  ['visited_6104',['visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210',1,'SVF::SCCDetection::GNodeSCCInfo::visited(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a',1,'SVF::SCCDetection::GNodeSCCInfo::visited(bool v)'],['../classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7',1,'SVF::SCCDetection::visited()']]],
+  ['visitedctps_6105',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
+  ['visitedset_6106',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],
+  ['visitextractelementinst_6107',['visitExtractElementInst',['../classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec',1,'SVF::SVFIRBuilder']]],
+  ['visitextractvalueinst_6108',['visitExtractValueInst',['../classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800',1,'SVF::SVFIRBuilder']]],
+  ['visitfenceinst_6109',['visitFenceInst',['../classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed',1,'SVF::SVFIRBuilder']]],
+  ['visitfreezeinst_6110',['visitFreezeInst',['../classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22',1,'SVF::SVFIRBuilder']]],
+  ['visitgetelementptrinst_6111',['visitGetElementPtrInst',['../classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371',1,'SVF::SVFIRBuilder']]],
+  ['visitglobal_6112',['visitGlobal',['../classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8',1,'SVF::SVFIRBuilder']]],
+  ['visitinsertelementinst_6113',['visitInsertElementInst',['../classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17',1,'SVF::SVFIRBuilder']]],
+  ['visitinsertvalueinst_6114',['visitInsertValueInst',['../classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497',1,'SVF::SVFIRBuilder']]],
+  ['visitinstruction_6115',['visitInstruction',['../classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3',1,'SVF::SVFIRBuilder']]],
+  ['visitinvokeinst_6116',['visitInvokeInst',['../classSVF_1_1SVFIRBuilder.html#a39577da11f4b85066988f105e3c18d7c',1,'SVF::SVFIRBuilder']]],
+  ['visitlandingpadinst_6117',['visitLandingPadInst',['../classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2',1,'SVF::SVFIRBuilder']]],
+  ['visitloadinst_6118',['visitLoadInst',['../classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc',1,'SVF::SVFIRBuilder']]],
+  ['visitphinode_6119',['visitPHINode',['../classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471',1,'SVF::SVFIRBuilder']]],
+  ['visitresumeinst_6120',['visitResumeInst',['../classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb',1,'SVF::SVFIRBuilder']]],
+  ['visitreturninst_6121',['visitReturnInst',['../classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d',1,'SVF::SVFIRBuilder']]],
+  ['visitselectinst_6122',['visitSelectInst',['../classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72',1,'SVF::SVFIRBuilder']]],
+  ['visitshufflevectorinst_6123',['visitShuffleVectorInst',['../classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44',1,'SVF::SVFIRBuilder']]],
+  ['visitstoreinst_6124',['visitStoreInst',['../classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c',1,'SVF::SVFIRBuilder']]],
+  ['visitswitchinst_6125',['visitSwitchInst',['../classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a',1,'SVF::SVFIRBuilder']]],
+  ['visitunaryoperator_6126',['visitUnaryOperator',['../classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30',1,'SVF::SVFIRBuilder']]],
+  ['visitunreachableinst_6127',['visitUnreachableInst',['../classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795',1,'SVF::SVFIRBuilder']]],
+  ['visitvaarginst_6128',['visitVAArgInst',['../classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775',1,'SVF::SVFIRBuilder']]],
+  ['visitvacopyinst_6129',['visitVACopyInst',['../classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851',1,'SVF::SVFIRBuilder']]],
+  ['visitvaendinst_6130',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
+  ['visitvastartinst_6131',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
+  ['void_6132',['void',['../structcJSON__Hooks.html#a42c96b388103ffb466e7335b9fc710c3',1,'cJSON_Hooks::void()'],['../structinternal__hooks.html#a5cc2dd5383da5f20b19e0f27fa59e123',1,'internal_hooks::void()']]],
+  ['void_5ft_6133',['void_t',['../namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06',1,'SVF::SVFUtil']]],
+  ['vptd_6134',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
+  ['vtable_6135',['vtable',['../classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e',1,'SVF::DCHNode::vtable()'],['../classSVF_1_1CHNode.html#a0caf16354322896e25a705bb179828ed',1,'SVF::CHNode::vtable()']]],
+  ['vtableinsvfir_6136',['VtableInSVFIR',['../classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140',1,'SVF::Options']]],
+  ['vtableptrtocallsitemap_6137',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
+  ['vtableset_6138',['VTableSet',['../classSVF_1_1PointerAnalysis.html#a57fabf1408ada10028282deef0b23ec6',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234',1,'SVF::VTableSet()']]],
+  ['vtabletocallsitemap_6139',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
+  ['vtabletype_6140',['vtableType',['../LLVMUtil_8cpp.html#ac4e4df5c6f24ccd2c0d6e752d7253bfc',1,'LLVMUtil.cpp']]],
+  ['vtblchamap_6141',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012',1,'SVF::DCHGraph']]],
+  ['vtbllabelafterdemangle_6142',['vtblLabelAfterDemangle',['../CppUtil_8cpp.html#a3afb7512c76959754d6398b8f20012da',1,'CppUtil.cpp']]],
+  ['vtbllabelbeforedemangle_6143',['vtblLabelBeforeDemangle',['../LLVMUtil_8cpp.html#a211c0223a37893d84fb5e2fd2f9fc76b',1,'LLVMUtil.cpp']]],
+  ['vtbltotypemap_6144',['vtblToTypeMap',['../classSVF_1_1DCHGraph.html#af854a7f4aeb1b596a69fdad9a2adf87a',1,'SVF::DCHGraph']]],
+  ['vthdtocxt_6145',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
+  ['vthdtocxtmap_6146',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()'],['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()']]],
+  ['vthdtorthd_6147',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
+  ['vthdtorthdmap_6148',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()'],['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()']]],
+  ['vthunkfunclabel_6149',['VThunkFuncLabel',['../CppUtil_8cpp.html#a2aa14572bb011847c1e5920aae880bfa',1,'CppUtil.cpp']]],
+  ['vtinitmdname_6150',['vtInitMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a02b3f4190d325c921922c25e319dc8d9',1,'SVF::cppUtil::ctir']]],
+  ['vtmdname_6151',['vtMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#aa4630844aa25aa4801659304a2552058',1,'SVF::cppUtil::ctir']]],
+  ['vworklist_6152',['vWorklist',['../classSVF_1_1VersionedFlowSensitive.html#adfefc0dfa4e7fb4d20fafeaf96a5fa67',1,'SVF::VersionedFlowSensitive']]]
 ];