svf-tools 1.0.896 → 1.0.897

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

@@ -1,179 +1,179 @@
 var searchData=
 [
-  ['vaarginst_6117',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
-  ['vacopyinst_6118',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
-  ['vaendinst_6119',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
-  ['valdomain_6120',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
-  ['validateall_6121',['validateAll',['../classSVF_1_1RaceResultValidator.html#a4327af2795a9aa336543d8b3c3a7bfdf',1,'SVF::RaceResultValidator::validateAll()'],['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()']]],
-  ['validatecxtthread_6122',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator::validateCxtThread()'],['../classSVF_1_1MTAResultValidator.html#aeabad721634674cdb57c604865282dac',1,'SVF::MTAResultValidator::validateCxtThread()']]],
-  ['validateexpectedfailuretests_6123',['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_6124',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator::validateInterleaving()'],['../classSVF_1_1MTAResultValidator.html#a776c936ed51b7d0285dd0332a55843db',1,'SVF::MTAResultValidator::validateInterleaving()']]],
-  ['validatestmtinlock_6125',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
-  ['validatesuccesstests_6126',['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_6127',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator::validateTCT()'],['../classSVF_1_1MTAResultValidator.html#a3cc2fa74c3eb82230b8929e7ffb007b7',1,'SVF::MTAResultValidator::validateTCT()']]],
-  ['validatetests_6128',['ValidateTests',['../classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1',1,'SVF::Options::ValidateTests()'],['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()']]],
-  ['validatetypecheck_6129',['validateTypeCheck',['../classSVF_1_1ObjTypeInference.html#afe926ee3427bb329d189e0c40bb1cd60',1,'SVF::ObjTypeInference']]],
-  ['valnode_6130',['ValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66',1,'SVF::SVFVar']]],
-  ['valsymbol_6131',['ValSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247',1,'SVF::SymbolTableInfo']]],
-  ['valsymmap_6132',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
-  ['valsyms_6133',['valSyms',['../classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf',1,'SVF::SymbolTableInfo']]],
-  ['value_6134',['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_6135',['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()']]],
-  ['valueboolpair_6136',['ValueBoolPair',['../classSVF_1_1ObjTypeInference.html#afb1c28ce04b61c423bd734db48b0a5b6',1,'SVF::ObjTypeInference']]],
-  ['valuedouble_6137',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
-  ['valueint_6138',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
-  ['valueset_6139',['ValueSet',['../classSVF_1_1ObjTypeInference.html#a51116a59a9f6c2c692505def03f5bc25',1,'SVF::ObjTypeInference']]],
-  ['valuestring_6140',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
-  ['valuetoclassnames_6141',['ValueToClassNames',['../classSVF_1_1ObjTypeInference.html#ae23313c88149711f2ce74a2c6d3e9da8',1,'SVF::ObjTypeInference']]],
-  ['valuetoedgemap_6142',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph::ValueToEdgeMap()'],['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()']]],
-  ['valuetoidmapty_6143',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
-  ['valuetoinfersites_6144',['ValueToInferSites',['../classSVF_1_1ObjTypeInference.html#a17954e8e60a3736083504c7f675f5ba2',1,'SVF::ObjTypeInference']]],
-  ['valuetosources_6145',['ValueToSources',['../classSVF_1_1ObjTypeInference.html#a3ef6cdbd56a4d169a2d2cab0b2f6515b',1,'SVF::ObjTypeInference']]],
-  ['valuetotype_6146',['ValueToType',['../classSVF_1_1ObjTypeInference.html#ac97f30431b4e96d9d70dced9960072e9',1,'SVF::ObjTypeInference']]],
-  ['valuetovalueset_6147',['ValueToValueSet',['../classSVF_1_1ObjTypeInference.html#a02b5fdeee42828326afda5efaa997934',1,'SVF::ObjTypeInference']]],
-  ['valvar_6148',['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_6149',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()'],['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()']]],
-  ['var_5farray_5fobj_6150',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
-  ['var_5fstruct_5fobj_6151',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
-  ['vararg_6152',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
-  ['varargnode_6153',['VarargNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf',1,'SVF::SVFVar']]],
-  ['varargpn_6154',['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_6155',['VarargSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89bab8a256319d4853178a0308c0f6f830e3',1,'SVF::SymbolTableInfo']]],
-  ['varargsymmap_6156',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
-  ['varargsyms_6157',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
-  ['varhasnewdfinpts_6158',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
-  ['varhasnewdfoutpts_6159',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
-  ['variableattribute_6160',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()']]],
-  ['variantfield_6161',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
-  ['variantgep_6162',['VariantGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a',1,'SVF::ConstraintEdge']]],
-  ['variantgepcgedge_6163',['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_6164',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
-  ['vartoaddrs_6165',['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_6166',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
-  ['vartostring_6167',['varToString',['../classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada',1,'SVF::ConsExeState']]],
-  ['vartovalmap_6168',['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_6169',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
-  ['vcallinctorordtor_6170',['VCallInCtorOrDtor',['../namespaceSVF_1_1cppUtil.html#a96037fcbe6261f46e22505a10f50753f',1,'SVF::cppUtil']]],
-  ['vcallvtblptr_6171',['vCallVtblPtr',['../classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f',1,'SVF::SVFVirtualCallInst']]],
-  ['vectortype_6172',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
-  ['ver_6173',['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_6174',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
-  ['version_6175',['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_6176',['Versioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a33bb78ff686c2cd774e127ce77f9cb67',1,'SVF::PTData']]],
-  ['versionedflowsensitive_6177',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF::VersionedFlowSensitive'],['../classSVF_1_1VersionedFlowSensitive.html#ab88b7a966177e620c552d507b3763e17',1,'SVF::VersionedFlowSensitive::VersionedFlowSensitive()']]],
-  ['versionedflowsensitive_2ecpp_6178',['VersionedFlowSensitive.cpp',['../VersionedFlowSensitive_8cpp.html',1,'']]],
-  ['versionedflowsensitive_2eh_6179',['VersionedFlowSensitive.h',['../VersionedFlowSensitive_8h.html',1,'']]],
-  ['versionedflowsensitivestat_6180',['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_6181',['VersionedFlowSensitiveStat.cpp',['../VersionedFlowSensitiveStat_8cpp.html',1,'']]],
-  ['versionedkeytoidmap_6182',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
-  ['versionedptdata_6183',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData::VersionedPTData()']]],
-  ['versionedptdataty_6184',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
-  ['versionedvar_6185',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
-  ['versionedvarset_6186',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
-  ['versionedvartopropnode_6187',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
-  ['versioningthreads_6188',['VersioningThreads',['../classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665',1,'SVF::Options']]],
-  ['versionproptime_6189',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
-  ['versionreliance_6190',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
-  ['versionreliancemap_6191',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
-  ['versionset_6192',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
-  ['versionstat_6193',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['veto_6194',['Veto',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c',1,'SVF::WPAPass']]],
-  ['vfcflgraphbuilder_6195',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
-  ['vfedgesatindcallsite_6196',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
-  ['vfg_6197',['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_6198',['VFG.cpp',['../VFG_8cpp.html',1,'']]],
-  ['vfg_2eh_6199',['VFG.h',['../VFG_8h.html',1,'']]],
-  ['vfgedge_6200',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF::VFGEdge'],['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge::VFGEdge()']]],
-  ['vfgedge_2eh_6201',['VFGEdge.h',['../VFGEdge_8h.html',1,'']]],
-  ['vfgedgek_6202',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
-  ['vfgedgesetty_6203',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
-  ['vfggrammar_2etxt_6204',['VFGGrammar.txt',['../VFGGrammar_8txt.html',1,'']]],
-  ['vfgk_6205',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
-  ['vfgnode_6206',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF::VFGNode'],['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode::VFGNode()']]],
-  ['vfgnode_2eh_6207',['VFGNode.h',['../VFGNode_8h.html',1,'']]],
-  ['vfgnodeidtonodemapty_6208',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8',1,'SVF::VFG']]],
-  ['vfgnodeiter_6209',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],
-  ['vfgnodek_6210',['VFGNodeK',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75',1,'SVF::VFGNode']]],
-  ['vfgnodelist_6211',['VFGNodeList',['../classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169',1,'SVF::ICFGNode']]],
-  ['vfgnodes_6212',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode::VFGNodes()'],['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG::VFGNodes()']]],
-  ['vfgnodeset_6213',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
-  ['vfid_6214',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
-  ['vfnvectors_6215',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
-  ['vfs_5fwpa_6216',['VFS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9',1,'SVF::PointerAnalysis']]],
-  ['vfspta_6217',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
-  ['vfunprelabel_6218',['vfunPreLabel',['../CppUtil_8cpp.html#aff4f7c7a9aacf05a3a3c42ae24ea7d96',1,'CppUtil.cpp']]],
-  ['vfunset_6219',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
-  ['vfworklist_6220',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
-  ['vgep_6221',['vgep',['../PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9',1,'PAGGrammar.txt']]],
-  ['vgepbar_6222',['vgepbar',['../PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f',1,'PAGGrammar.txt']]],
-  ['vid_6223',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
-  ['view_6224',['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_6225',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
-  ['viewcfgonly_6226',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
-  ['viewgraph_6227',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
-  ['virtfill_6228',['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_6229',['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_6230',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
-  ['virtualfunctionvectors_6231',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
-  ['virtualfunidx_6232',['virtualFunIdx',['../classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6',1,'SVF::SVFVirtualCallInst']]],
-  ['visit_6233',['visit',['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1WTOComponentVisitor.html#a1a5052418f6e73c9da9cee44dc50443d',1,'SVF::WTOComponentVisitor::visit(const WTONodeT &)=0'],['../classSVF_1_1WTOComponentVisitor.html#ae7390104473ed5b4fa18f2b3af689d5c',1,'SVF::WTOComponentVisitor::visit(const WTOCycleT &)=0'],['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#aad99b0e8004bb36b9a4ba81ea16c5d90',1,'SVF::WTO::WTOCycleDepthBuilder::visit(const WTOCycleT &cycle) override'],['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a51be6e437a0d715e2571242c4dde1794',1,'SVF::WTO::WTOCycleDepthBuilder::visit(const WTONodeT &node) override'],['../classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77',1,'SVF::WTO::visit()'],['../classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],
-  ['visitallocainst_6234',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
-  ['visitatomiccmpxchginst_6235',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],
-  ['visitatomicrmwinst_6236',['visitAtomicRMWInst',['../classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4',1,'SVF::SVFIRBuilder']]],
-  ['visitbinaryoperator_6237',['visitBinaryOperator',['../classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e',1,'SVF::SVFIRBuilder']]],
-  ['visitbranchinst_6238',['visitBranchInst',['../classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af',1,'SVF::SVFIRBuilder']]],
-  ['visitcallbrinst_6239',['visitCallBrInst',['../classSVF_1_1SVFIRBuilder.html#a62da871a2bace42fa96baf8b9862d4db',1,'SVF::SVFIRBuilder']]],
-  ['visitcallinst_6240',['visitCallInst',['../classSVF_1_1SVFIRBuilder.html#a421708269d991987d8d4e93cec750a8d',1,'SVF::SVFIRBuilder']]],
-  ['visitcallsite_6241',['visitCallSite',['../classSVF_1_1SVFIRBuilder.html#a5aa87f9ea35b30b4b4797f8a7f9f293c',1,'SVF::SVFIRBuilder']]],
-  ['visitcastinst_6242',['visitCastInst',['../classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b',1,'SVF::SVFIRBuilder']]],
-  ['visitcmpinst_6243',['visitCmpInst',['../classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c',1,'SVF::SVFIRBuilder']]],
-  ['visited_6244',['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_6245',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
-  ['visitedset_6246',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],
-  ['visitextractelementinst_6247',['visitExtractElementInst',['../classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec',1,'SVF::SVFIRBuilder']]],
-  ['visitextractvalueinst_6248',['visitExtractValueInst',['../classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800',1,'SVF::SVFIRBuilder']]],
-  ['visitfenceinst_6249',['visitFenceInst',['../classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed',1,'SVF::SVFIRBuilder']]],
-  ['visitfreezeinst_6250',['visitFreezeInst',['../classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22',1,'SVF::SVFIRBuilder']]],
-  ['visitgetelementptrinst_6251',['visitGetElementPtrInst',['../classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371',1,'SVF::SVFIRBuilder']]],
-  ['visitglobal_6252',['visitGlobal',['../classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8',1,'SVF::SVFIRBuilder']]],
-  ['visitinsertelementinst_6253',['visitInsertElementInst',['../classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17',1,'SVF::SVFIRBuilder']]],
-  ['visitinsertvalueinst_6254',['visitInsertValueInst',['../classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497',1,'SVF::SVFIRBuilder']]],
-  ['visitinstruction_6255',['visitInstruction',['../classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3',1,'SVF::SVFIRBuilder']]],
-  ['visitinvokeinst_6256',['visitInvokeInst',['../classSVF_1_1SVFIRBuilder.html#a39577da11f4b85066988f105e3c18d7c',1,'SVF::SVFIRBuilder']]],
-  ['visitlandingpadinst_6257',['visitLandingPadInst',['../classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2',1,'SVF::SVFIRBuilder']]],
-  ['visitloadinst_6258',['visitLoadInst',['../classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc',1,'SVF::SVFIRBuilder']]],
-  ['visitphinode_6259',['visitPHINode',['../classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471',1,'SVF::SVFIRBuilder']]],
-  ['visitresumeinst_6260',['visitResumeInst',['../classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb',1,'SVF::SVFIRBuilder']]],
-  ['visitreturninst_6261',['visitReturnInst',['../classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d',1,'SVF::SVFIRBuilder']]],
-  ['visitselectinst_6262',['visitSelectInst',['../classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72',1,'SVF::SVFIRBuilder']]],
-  ['visitshufflevectorinst_6263',['visitShuffleVectorInst',['../classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44',1,'SVF::SVFIRBuilder']]],
-  ['visitstoreinst_6264',['visitStoreInst',['../classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c',1,'SVF::SVFIRBuilder']]],
-  ['visitswitchinst_6265',['visitSwitchInst',['../classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a',1,'SVF::SVFIRBuilder']]],
-  ['visitunaryoperator_6266',['visitUnaryOperator',['../classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30',1,'SVF::SVFIRBuilder']]],
-  ['visitunreachableinst_6267',['visitUnreachableInst',['../classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795',1,'SVF::SVFIRBuilder']]],
-  ['visitvaarginst_6268',['visitVAArgInst',['../classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775',1,'SVF::SVFIRBuilder']]],
-  ['visitvacopyinst_6269',['visitVACopyInst',['../classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851',1,'SVF::SVFIRBuilder']]],
-  ['visitvaendinst_6270',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
-  ['visitvastartinst_6271',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
-  ['void_6272',['void',['../structcJSON__Hooks.html#a42c96b388103ffb466e7335b9fc710c3',1,'cJSON_Hooks::void()'],['../structinternal__hooks.html#a5cc2dd5383da5f20b19e0f27fa59e123',1,'internal_hooks::void()']]],
-  ['void_5ft_6273',['void_t',['../namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06',1,'SVF::SVFUtil']]],
-  ['vptd_6274',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
-  ['vtable_6275',['vtable',['../classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e',1,'SVF::DCHNode::vtable()'],['../classSVF_1_1CHNode.html#a0caf16354322896e25a705bb179828ed',1,'SVF::CHNode::vtable()']]],
-  ['vtableinsvfir_6276',['VtableInSVFIR',['../classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140',1,'SVF::Options']]],
-  ['vtableptrtocallsitemap_6277',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
-  ['vtableset_6278',['VTableSet',['../classSVF_1_1PointerAnalysis.html#a57fabf1408ada10028282deef0b23ec6',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234',1,'SVF::VTableSet()']]],
-  ['vtabletocallsitemap_6279',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
-  ['vtabletype_6280',['vtableType',['../CppUtil_8cpp.html#ac4e4df5c6f24ccd2c0d6e752d7253bfc',1,'CppUtil.cpp']]],
-  ['vtblchamap_6281',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012',1,'SVF::DCHGraph']]],
-  ['vtbllabelafterdemangle_6282',['vtblLabelAfterDemangle',['../CppUtil_8cpp.html#a3afb7512c76959754d6398b8f20012da',1,'CppUtil.cpp']]],
-  ['vtbllabelbeforedemangle_6283',['vtblLabelBeforeDemangle',['../CppUtil_8cpp.html#a211c0223a37893d84fb5e2fd2f9fc76b',1,'CppUtil.cpp']]],
-  ['vtbltotypemap_6284',['vtblToTypeMap',['../classSVF_1_1DCHGraph.html#af854a7f4aeb1b596a69fdad9a2adf87a',1,'SVF::DCHGraph']]],
-  ['vthdtocxt_6285',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
-  ['vthdtocxtmap_6286',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()'],['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()']]],
-  ['vthdtorthd_6287',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
-  ['vthdtorthdmap_6288',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()'],['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()']]],
-  ['vthunkfunclabel_6289',['VThunkFuncLabel',['../CppUtil_8cpp.html#a2aa14572bb011847c1e5920aae880bfa',1,'CppUtil.cpp']]],
-  ['vtinitmdname_6290',['vtInitMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a02b3f4190d325c921922c25e319dc8d9',1,'SVF::cppUtil::ctir']]],
-  ['vtmdname_6291',['vtMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#aa4630844aa25aa4801659304a2552058',1,'SVF::cppUtil::ctir']]],
-  ['vworklist_6292',['vWorklist',['../classSVF_1_1VersionedFlowSensitive.html#adfefc0dfa4e7fb4d20fafeaf96a5fa67',1,'SVF::VersionedFlowSensitive']]]
+  ['vaarginst_6118',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
+  ['vacopyinst_6119',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
+  ['vaendinst_6120',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
+  ['valdomain_6121',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
+  ['validateall_6122',['validateAll',['../classSVF_1_1RaceResultValidator.html#a4327af2795a9aa336543d8b3c3a7bfdf',1,'SVF::RaceResultValidator::validateAll()'],['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator::validateAll()']]],
+  ['validatecxtthread_6123',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator::validateCxtThread()'],['../classSVF_1_1MTAResultValidator.html#aeabad721634674cdb57c604865282dac',1,'SVF::MTAResultValidator::validateCxtThread()']]],
+  ['validateexpectedfailuretests_6124',['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_6125',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator::validateInterleaving()'],['../classSVF_1_1MTAResultValidator.html#a776c936ed51b7d0285dd0332a55843db',1,'SVF::MTAResultValidator::validateInterleaving()']]],
+  ['validatestmtinlock_6126',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
+  ['validatesuccesstests_6127',['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_6128',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator::validateTCT()'],['../classSVF_1_1MTAResultValidator.html#a3cc2fa74c3eb82230b8929e7ffb007b7',1,'SVF::MTAResultValidator::validateTCT()']]],
+  ['validatetests_6129',['ValidateTests',['../classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1',1,'SVF::Options::ValidateTests()'],['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()']]],
+  ['validatetypecheck_6130',['validateTypeCheck',['../classSVF_1_1ObjTypeInference.html#afe926ee3427bb329d189e0c40bb1cd60',1,'SVF::ObjTypeInference']]],
+  ['valnode_6131',['ValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66',1,'SVF::SVFVar']]],
+  ['valsymbol_6132',['ValSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247',1,'SVF::SymbolTableInfo']]],
+  ['valsymmap_6133',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
+  ['valsyms_6134',['valSyms',['../classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf',1,'SVF::SymbolTableInfo']]],
+  ['value_6135',['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_6136',['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()']]],
+  ['valueboolpair_6137',['ValueBoolPair',['../classSVF_1_1ObjTypeInference.html#afb1c28ce04b61c423bd734db48b0a5b6',1,'SVF::ObjTypeInference']]],
+  ['valuedouble_6138',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
+  ['valueint_6139',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
+  ['valueset_6140',['ValueSet',['../classSVF_1_1ObjTypeInference.html#a51116a59a9f6c2c692505def03f5bc25',1,'SVF::ObjTypeInference']]],
+  ['valuestring_6141',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
+  ['valuetoclassnames_6142',['ValueToClassNames',['../classSVF_1_1ObjTypeInference.html#ae23313c88149711f2ce74a2c6d3e9da8',1,'SVF::ObjTypeInference']]],
+  ['valuetoedgemap_6143',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph::ValueToEdgeMap()'],['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()']]],
+  ['valuetoidmapty_6144',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
+  ['valuetoinfersites_6145',['ValueToInferSites',['../classSVF_1_1ObjTypeInference.html#a17954e8e60a3736083504c7f675f5ba2',1,'SVF::ObjTypeInference']]],
+  ['valuetosources_6146',['ValueToSources',['../classSVF_1_1ObjTypeInference.html#a3ef6cdbd56a4d169a2d2cab0b2f6515b',1,'SVF::ObjTypeInference']]],
+  ['valuetotype_6147',['ValueToType',['../classSVF_1_1ObjTypeInference.html#ac97f30431b4e96d9d70dced9960072e9',1,'SVF::ObjTypeInference']]],
+  ['valuetovalueset_6148',['ValueToValueSet',['../classSVF_1_1ObjTypeInference.html#a02b5fdeee42828326afda5efaa997934',1,'SVF::ObjTypeInference']]],
+  ['valvar_6149',['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_6150',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()'],['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()']]],
+  ['var_5farray_5fobj_6151',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
+  ['var_5fstruct_5fobj_6152',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
+  ['vararg_6153',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
+  ['varargnode_6154',['VarargNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf',1,'SVF::SVFVar']]],
+  ['varargpn_6155',['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_6156',['VarargSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89bab8a256319d4853178a0308c0f6f830e3',1,'SVF::SymbolTableInfo']]],
+  ['varargsymmap_6157',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
+  ['varargsyms_6158',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
+  ['varhasnewdfinpts_6159',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
+  ['varhasnewdfoutpts_6160',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
+  ['variableattribute_6161',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()']]],
+  ['variantfield_6162',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
+  ['variantgep_6163',['VariantGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a',1,'SVF::ConstraintEdge']]],
+  ['variantgepcgedge_6164',['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_6165',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
+  ['vartoaddrs_6166',['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_6167',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
+  ['vartostring_6168',['varToString',['../classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada',1,'SVF::ConsExeState']]],
+  ['vartovalmap_6169',['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_6170',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
+  ['vcallinctorordtor_6171',['VCallInCtorOrDtor',['../namespaceSVF_1_1cppUtil.html#a96037fcbe6261f46e22505a10f50753f',1,'SVF::cppUtil']]],
+  ['vcallvtblptr_6172',['vCallVtblPtr',['../classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f',1,'SVF::SVFVirtualCallInst']]],
+  ['vectortype_6173',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
+  ['ver_6174',['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_6175',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
+  ['version_6176',['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_6177',['Versioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a33bb78ff686c2cd774e127ce77f9cb67',1,'SVF::PTData']]],
+  ['versionedflowsensitive_6178',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF::VersionedFlowSensitive'],['../classSVF_1_1VersionedFlowSensitive.html#ab88b7a966177e620c552d507b3763e17',1,'SVF::VersionedFlowSensitive::VersionedFlowSensitive()']]],
+  ['versionedflowsensitive_2ecpp_6179',['VersionedFlowSensitive.cpp',['../VersionedFlowSensitive_8cpp.html',1,'']]],
+  ['versionedflowsensitive_2eh_6180',['VersionedFlowSensitive.h',['../VersionedFlowSensitive_8h.html',1,'']]],
+  ['versionedflowsensitivestat_6181',['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_6182',['VersionedFlowSensitiveStat.cpp',['../VersionedFlowSensitiveStat_8cpp.html',1,'']]],
+  ['versionedkeytoidmap_6183',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
+  ['versionedptdata_6184',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData::VersionedPTData()']]],
+  ['versionedptdataty_6185',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
+  ['versionedvar_6186',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
+  ['versionedvarset_6187',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
+  ['versionedvartopropnode_6188',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
+  ['versioningthreads_6189',['VersioningThreads',['../classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665',1,'SVF::Options']]],
+  ['versionproptime_6190',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
+  ['versionreliance_6191',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
+  ['versionreliancemap_6192',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
+  ['versionset_6193',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
+  ['versionstat_6194',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['veto_6195',['Veto',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c',1,'SVF::WPAPass']]],
+  ['vfcflgraphbuilder_6196',['VFCFLGraphBuilder',['../classSVF_1_1VFCFLGraphBuilder.html',1,'SVF']]],
+  ['vfedgesatindcallsite_6197',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
+  ['vfg_6198',['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_6199',['VFG.cpp',['../VFG_8cpp.html',1,'']]],
+  ['vfg_2eh_6200',['VFG.h',['../VFG_8h.html',1,'']]],
+  ['vfgedge_6201',['VFGEdge',['../classSVF_1_1VFGEdge.html',1,'SVF::VFGEdge'],['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge::VFGEdge()']]],
+  ['vfgedge_2eh_6202',['VFGEdge.h',['../VFGEdge_8h.html',1,'']]],
+  ['vfgedgek_6203',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
+  ['vfgedgesetty_6204',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
+  ['vfggrammar_2etxt_6205',['VFGGrammar.txt',['../VFGGrammar_8txt.html',1,'']]],
+  ['vfgk_6206',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
+  ['vfgnode_6207',['VFGNode',['../classSVF_1_1VFGNode.html',1,'SVF::VFGNode'],['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode::VFGNode()']]],
+  ['vfgnode_2eh_6208',['VFGNode.h',['../VFGNode_8h.html',1,'']]],
+  ['vfgnodeidtonodemapty_6209',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8',1,'SVF::VFG']]],
+  ['vfgnodeiter_6210',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],
+  ['vfgnodek_6211',['VFGNodeK',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75',1,'SVF::VFGNode']]],
+  ['vfgnodelist_6212',['VFGNodeList',['../classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169',1,'SVF::ICFGNode']]],
+  ['vfgnodes_6213',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode::VFGNodes()'],['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG::VFGNodes()']]],
+  ['vfgnodeset_6214',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
+  ['vfid_6215',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
+  ['vfnvectors_6216',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
+  ['vfs_5fwpa_6217',['VFS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9',1,'SVF::PointerAnalysis']]],
+  ['vfspta_6218',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
+  ['vfunprelabel_6219',['vfunPreLabel',['../CppUtil_8cpp.html#aff4f7c7a9aacf05a3a3c42ae24ea7d96',1,'CppUtil.cpp']]],
+  ['vfunset_6220',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
+  ['vfworklist_6221',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
+  ['vgep_6222',['vgep',['../PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9',1,'PAGGrammar.txt']]],
+  ['vgepbar_6223',['vgepbar',['../PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f',1,'PAGGrammar.txt']]],
+  ['vid_6224',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
+  ['view_6225',['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_6226',['viewCFG',['../namespaceSVF_1_1LLVMUtil.html#abc9c437b7da5cfe3d988dadfcbd0635f',1,'SVF::LLVMUtil']]],
+  ['viewcfgonly_6227',['viewCFGOnly',['../namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd',1,'SVF::LLVMUtil']]],
+  ['viewgraph_6228',['ViewGraph',['../namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e',1,'SVF']]],
+  ['virtfill_6229',['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_6230',['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_6231',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
+  ['virtualfunctionvectors_6232',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
+  ['virtualfunidx_6233',['virtualFunIdx',['../classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6',1,'SVF::SVFVirtualCallInst']]],
+  ['visit_6234',['visit',['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1WTOComponentVisitor.html#a1a5052418f6e73c9da9cee44dc50443d',1,'SVF::WTOComponentVisitor::visit(const WTONodeT &)=0'],['../classSVF_1_1WTOComponentVisitor.html#ae7390104473ed5b4fa18f2b3af689d5c',1,'SVF::WTOComponentVisitor::visit(const WTOCycleT &)=0'],['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#aad99b0e8004bb36b9a4ba81ea16c5d90',1,'SVF::WTO::WTOCycleDepthBuilder::visit(const WTOCycleT &cycle) override'],['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a51be6e437a0d715e2571242c4dde1794',1,'SVF::WTO::WTOCycleDepthBuilder::visit(const WTONodeT &node) override'],['../classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77',1,'SVF::WTO::visit()'],['../classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],
+  ['visitallocainst_6235',['visitAllocaInst',['../classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089',1,'SVF::SVFIRBuilder']]],
+  ['visitatomiccmpxchginst_6236',['visitAtomicCmpXchgInst',['../classSVF_1_1SVFIRBuilder.html#ac5ae89051b0775ed209dcc654691958b',1,'SVF::SVFIRBuilder']]],
+  ['visitatomicrmwinst_6237',['visitAtomicRMWInst',['../classSVF_1_1SVFIRBuilder.html#adea9fdfead89d700d0453fd685355ff4',1,'SVF::SVFIRBuilder']]],
+  ['visitbinaryoperator_6238',['visitBinaryOperator',['../classSVF_1_1SVFIRBuilder.html#aeb5f3cc92ef2d146c7c9cc86375b4c1e',1,'SVF::SVFIRBuilder']]],
+  ['visitbranchinst_6239',['visitBranchInst',['../classSVF_1_1SVFIRBuilder.html#a4ad832691784cf4cb93017792ea3d9af',1,'SVF::SVFIRBuilder']]],
+  ['visitcallbrinst_6240',['visitCallBrInst',['../classSVF_1_1SVFIRBuilder.html#a62da871a2bace42fa96baf8b9862d4db',1,'SVF::SVFIRBuilder']]],
+  ['visitcallinst_6241',['visitCallInst',['../classSVF_1_1SVFIRBuilder.html#a421708269d991987d8d4e93cec750a8d',1,'SVF::SVFIRBuilder']]],
+  ['visitcallsite_6242',['visitCallSite',['../classSVF_1_1SVFIRBuilder.html#a5aa87f9ea35b30b4b4797f8a7f9f293c',1,'SVF::SVFIRBuilder']]],
+  ['visitcastinst_6243',['visitCastInst',['../classSVF_1_1SVFIRBuilder.html#acf5a61d45c1abc1206f6e6c813f8634b',1,'SVF::SVFIRBuilder']]],
+  ['visitcmpinst_6244',['visitCmpInst',['../classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c',1,'SVF::SVFIRBuilder']]],
+  ['visited_6245',['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_6246',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
+  ['visitedset_6247',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],
+  ['visitextractelementinst_6248',['visitExtractElementInst',['../classSVF_1_1SVFIRBuilder.html#ac6b24fcbd1e1b31141c27167d49a56ec',1,'SVF::SVFIRBuilder']]],
+  ['visitextractvalueinst_6249',['visitExtractValueInst',['../classSVF_1_1SVFIRBuilder.html#a7a17ca95a5435b498fc875eb9a290800',1,'SVF::SVFIRBuilder']]],
+  ['visitfenceinst_6250',['visitFenceInst',['../classSVF_1_1SVFIRBuilder.html#a87a34334a50071e6061ee5dd1d34c9ed',1,'SVF::SVFIRBuilder']]],
+  ['visitfreezeinst_6251',['visitFreezeInst',['../classSVF_1_1SVFIRBuilder.html#a870ea33a335a7036555dd24171cf8f22',1,'SVF::SVFIRBuilder']]],
+  ['visitgetelementptrinst_6252',['visitGetElementPtrInst',['../classSVF_1_1SVFIRBuilder.html#a4a945eafd262f81b4f9cc1fa61b57371',1,'SVF::SVFIRBuilder']]],
+  ['visitglobal_6253',['visitGlobal',['../classSVF_1_1SVFIRBuilder.html#a4c6cd51def26ebd8e839df9fdc4b64b8',1,'SVF::SVFIRBuilder']]],
+  ['visitinsertelementinst_6254',['visitInsertElementInst',['../classSVF_1_1SVFIRBuilder.html#a9db09a2c74f2489648b0282769488a17',1,'SVF::SVFIRBuilder']]],
+  ['visitinsertvalueinst_6255',['visitInsertValueInst',['../classSVF_1_1SVFIRBuilder.html#a4e6025dcd8af2f35e3cc33d280fde497',1,'SVF::SVFIRBuilder']]],
+  ['visitinstruction_6256',['visitInstruction',['../classSVF_1_1SVFIRBuilder.html#a91c8f9dc6e7cb225c2ed4b8f0322a2b3',1,'SVF::SVFIRBuilder']]],
+  ['visitinvokeinst_6257',['visitInvokeInst',['../classSVF_1_1SVFIRBuilder.html#a39577da11f4b85066988f105e3c18d7c',1,'SVF::SVFIRBuilder']]],
+  ['visitlandingpadinst_6258',['visitLandingPadInst',['../classSVF_1_1SVFIRBuilder.html#a0bc35bb64bbf3b494c0ac93b99c5a6d2',1,'SVF::SVFIRBuilder']]],
+  ['visitloadinst_6259',['visitLoadInst',['../classSVF_1_1SVFIRBuilder.html#a17638b08f85d4543e663eeb739915bdc',1,'SVF::SVFIRBuilder']]],
+  ['visitphinode_6260',['visitPHINode',['../classSVF_1_1SVFIRBuilder.html#aade60fa102a29f332af36a8615c75471',1,'SVF::SVFIRBuilder']]],
+  ['visitresumeinst_6261',['visitResumeInst',['../classSVF_1_1SVFIRBuilder.html#a97b96b72e7b334f3aa732dfa5c35c3cb',1,'SVF::SVFIRBuilder']]],
+  ['visitreturninst_6262',['visitReturnInst',['../classSVF_1_1SVFIRBuilder.html#aca31431b70e2fb360caa1140e29c0c9d',1,'SVF::SVFIRBuilder']]],
+  ['visitselectinst_6263',['visitSelectInst',['../classSVF_1_1SVFIRBuilder.html#abc836736ea16d99921c0e734cf0a3c72',1,'SVF::SVFIRBuilder']]],
+  ['visitshufflevectorinst_6264',['visitShuffleVectorInst',['../classSVF_1_1SVFIRBuilder.html#acb52462a8a004654c8819017dc029c44',1,'SVF::SVFIRBuilder']]],
+  ['visitstoreinst_6265',['visitStoreInst',['../classSVF_1_1SVFIRBuilder.html#a51d75ff7f490ddfef3d4f8779872633c',1,'SVF::SVFIRBuilder']]],
+  ['visitswitchinst_6266',['visitSwitchInst',['../classSVF_1_1SVFIRBuilder.html#a83bc9c1dbc95156a68f139ff16faca2a',1,'SVF::SVFIRBuilder']]],
+  ['visitunaryoperator_6267',['visitUnaryOperator',['../classSVF_1_1SVFIRBuilder.html#ae80891bb2a162b3ad24fa7cf6380df30',1,'SVF::SVFIRBuilder']]],
+  ['visitunreachableinst_6268',['visitUnreachableInst',['../classSVF_1_1SVFIRBuilder.html#ae4f8f902265b0c39547aabbfdaded795',1,'SVF::SVFIRBuilder']]],
+  ['visitvaarginst_6269',['visitVAArgInst',['../classSVF_1_1SVFIRBuilder.html#ac26e0714728df0beca278eb405596775',1,'SVF::SVFIRBuilder']]],
+  ['visitvacopyinst_6270',['visitVACopyInst',['../classSVF_1_1SVFIRBuilder.html#afa10748f345ee53f417690cf125b0851',1,'SVF::SVFIRBuilder']]],
+  ['visitvaendinst_6271',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
+  ['visitvastartinst_6272',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
+  ['void_6273',['void',['../structcJSON__Hooks.html#a42c96b388103ffb466e7335b9fc710c3',1,'cJSON_Hooks::void()'],['../structinternal__hooks.html#a5cc2dd5383da5f20b19e0f27fa59e123',1,'internal_hooks::void()']]],
+  ['void_5ft_6274',['void_t',['../namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06',1,'SVF::SVFUtil']]],
+  ['vptd_6275',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
+  ['vtable_6276',['vtable',['../classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e',1,'SVF::DCHNode::vtable()'],['../classSVF_1_1CHNode.html#a0caf16354322896e25a705bb179828ed',1,'SVF::CHNode::vtable()']]],
+  ['vtableinsvfir_6277',['VtableInSVFIR',['../classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140',1,'SVF::Options']]],
+  ['vtableptrtocallsitemap_6278',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
+  ['vtableset_6279',['VTableSet',['../classSVF_1_1PointerAnalysis.html#a57fabf1408ada10028282deef0b23ec6',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234',1,'SVF::VTableSet()']]],
+  ['vtabletocallsitemap_6280',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
+  ['vtabletype_6281',['vtableType',['../CppUtil_8cpp.html#ac4e4df5c6f24ccd2c0d6e752d7253bfc',1,'CppUtil.cpp']]],
+  ['vtblchamap_6282',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012',1,'SVF::DCHGraph']]],
+  ['vtbllabelafterdemangle_6283',['vtblLabelAfterDemangle',['../CppUtil_8cpp.html#a3afb7512c76959754d6398b8f20012da',1,'CppUtil.cpp']]],
+  ['vtbllabelbeforedemangle_6284',['vtblLabelBeforeDemangle',['../CppUtil_8cpp.html#a211c0223a37893d84fb5e2fd2f9fc76b',1,'CppUtil.cpp']]],
+  ['vtbltotypemap_6285',['vtblToTypeMap',['../classSVF_1_1DCHGraph.html#af854a7f4aeb1b596a69fdad9a2adf87a',1,'SVF::DCHGraph']]],
+  ['vthdtocxt_6286',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
+  ['vthdtocxtmap_6287',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()'],['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()']]],
+  ['vthdtorthd_6288',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
+  ['vthdtorthdmap_6289',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()'],['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()']]],
+  ['vthunkfunclabel_6290',['VThunkFuncLabel',['../CppUtil_8cpp.html#a2aa14572bb011847c1e5920aae880bfa',1,'CppUtil.cpp']]],
+  ['vtinitmdname_6291',['vtInitMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a02b3f4190d325c921922c25e319dc8d9',1,'SVF::cppUtil::ctir']]],
+  ['vtmdname_6292',['vtMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#aa4630844aa25aa4801659304a2552058',1,'SVF::cppUtil::ctir']]],
+  ['vworklist_6293',['vWorklist',['../classSVF_1_1VersionedFlowSensitive.html#adfefc0dfa4e7fb4d20fafeaf96a5fa67',1,'SVF::VersionedFlowSensitive']]]
 ];