svf-tools 1.0.875 → 1.0.877

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

@@ -1,52 +1,52 @@
 var searchData=
 [
-  ['validatetests_12522',['ValidateTests',['../classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1',1,'SVF::Options']]],
-  ['valsymmap_12523',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
-  ['value_12524',['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()']]],
-  ['valuedouble_12525',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
-  ['valueint_12526',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
-  ['valuestring_12527',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
-  ['valuetoedgemap_12528',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph']]],
-  ['var2labelmap_12529',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt']]],
-  ['vararg_12530',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
-  ['varargsymmap_12531',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
-  ['variableattribute_12532',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol']]],
-  ['variantfield_12533',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
-  ['varkills_12534',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
-  ['vcallvtblptr_12535',['vCallVtblPtr',['../classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f',1,'SVF::SVFVirtualCallInst']]],
-  ['ver_12536',['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()']]],
-  ['version_12537',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()']]],
-  ['versionedvartopropnode_12538',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
-  ['versioningthreads_12539',['VersioningThreads',['../classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665',1,'SVF::Options']]],
-  ['versionproptime_12540',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
-  ['versionreliance_12541',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
-  ['vfedgesatindcallsite_12542',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
-  ['vfgnodes_12543',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode']]],
-  ['vfid_12544',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
-  ['vfnvectors_12545',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
-  ['vfspta_12546',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
-  ['vfunprelabel_12547',['vfunPreLabel',['../CppUtil_8cpp.html#aff4f7c7a9aacf05a3a3c42ae24ea7d96',1,'CppUtil.cpp']]],
-  ['vgep_12548',['vgep',['../PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9',1,'PAGGrammar.txt']]],
-  ['vgepbar_12549',['vgepbar',['../PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f',1,'PAGGrammar.txt']]],
-  ['vid_12550',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
-  ['virtualfunctiontoidmap_12551',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
-  ['virtualfunctionvectors_12552',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
-  ['virtualfunidx_12553',['virtualFunIdx',['../classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6',1,'SVF::SVFVirtualCallInst']]],
-  ['visitedctps_12554',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
-  ['visitedset_12555',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],
-  ['vptd_12556',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
-  ['vtable_12557',['vtable',['../classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e',1,'SVF::DCHNode::vtable()'],['../classSVF_1_1CHNode.html#a0caf16354322896e25a705bb179828ed',1,'SVF::CHNode::vtable()']]],
-  ['vtableinsvfir_12558',['VtableInSVFIR',['../classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140',1,'SVF::Options']]],
-  ['vtabletocallsitemap_12559',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
-  ['vtabletype_12560',['vtableType',['../CppUtil_8cpp.html#ac4e4df5c6f24ccd2c0d6e752d7253bfc',1,'CppUtil.cpp']]],
-  ['vtblchamap_12561',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012',1,'SVF::DCHGraph']]],
-  ['vtbllabelafterdemangle_12562',['vtblLabelAfterDemangle',['../CppUtil_8cpp.html#a3afb7512c76959754d6398b8f20012da',1,'CppUtil.cpp']]],
-  ['vtbllabelbeforedemangle_12563',['vtblLabelBeforeDemangle',['../CppUtil_8cpp.html#a211c0223a37893d84fb5e2fd2f9fc76b',1,'CppUtil.cpp']]],
-  ['vtbltotypemap_12564',['vtblToTypeMap',['../classSVF_1_1DCHGraph.html#af854a7f4aeb1b596a69fdad9a2adf87a',1,'SVF::DCHGraph']]],
-  ['vthdtocxt_12565',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
-  ['vthdtorthd_12566',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
-  ['vthunkfunclabel_12567',['VThunkFuncLabel',['../CppUtil_8cpp.html#a2aa14572bb011847c1e5920aae880bfa',1,'CppUtil.cpp']]],
-  ['vtinitmdname_12568',['vtInitMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a02b3f4190d325c921922c25e319dc8d9',1,'SVF::cppUtil::ctir']]],
-  ['vtmdname_12569',['vtMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#aa4630844aa25aa4801659304a2552058',1,'SVF::cppUtil::ctir']]],
-  ['vworklist_12570',['vWorklist',['../classSVF_1_1VersionedFlowSensitive.html#adfefc0dfa4e7fb4d20fafeaf96a5fa67',1,'SVF::VersionedFlowSensitive']]]
+  ['validatetests_12524',['ValidateTests',['../classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1',1,'SVF::Options']]],
+  ['valsymmap_12525',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
+  ['value_12526',['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()']]],
+  ['valuedouble_12527',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
+  ['valueint_12528',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
+  ['valuestring_12529',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
+  ['valuetoedgemap_12530',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph']]],
+  ['var2labelmap_12531',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt']]],
+  ['vararg_12532',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
+  ['varargsymmap_12533',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
+  ['variableattribute_12534',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol']]],
+  ['variantfield_12535',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
+  ['varkills_12536',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
+  ['vcallvtblptr_12537',['vCallVtblPtr',['../classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f',1,'SVF::SVFVirtualCallInst']]],
+  ['ver_12538',['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()']]],
+  ['version_12539',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()']]],
+  ['versionedvartopropnode_12540',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
+  ['versioningthreads_12541',['VersioningThreads',['../classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665',1,'SVF::Options']]],
+  ['versionproptime_12542',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
+  ['versionreliance_12543',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
+  ['vfedgesatindcallsite_12544',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
+  ['vfgnodes_12545',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode']]],
+  ['vfid_12546',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
+  ['vfnvectors_12547',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
+  ['vfspta_12548',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
+  ['vfunprelabel_12549',['vfunPreLabel',['../CppUtil_8cpp.html#aff4f7c7a9aacf05a3a3c42ae24ea7d96',1,'CppUtil.cpp']]],
+  ['vgep_12550',['vgep',['../PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9',1,'PAGGrammar.txt']]],
+  ['vgepbar_12551',['vgepbar',['../PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f',1,'PAGGrammar.txt']]],
+  ['vid_12552',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
+  ['virtualfunctiontoidmap_12553',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
+  ['virtualfunctionvectors_12554',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
+  ['virtualfunidx_12555',['virtualFunIdx',['../classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6',1,'SVF::SVFVirtualCallInst']]],
+  ['visitedctps_12556',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
+  ['visitedset_12557',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],
+  ['vptd_12558',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
+  ['vtable_12559',['vtable',['../classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e',1,'SVF::DCHNode::vtable()'],['../classSVF_1_1CHNode.html#a0caf16354322896e25a705bb179828ed',1,'SVF::CHNode::vtable()']]],
+  ['vtableinsvfir_12560',['VtableInSVFIR',['../classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140',1,'SVF::Options']]],
+  ['vtabletocallsitemap_12561',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
+  ['vtabletype_12562',['vtableType',['../CppUtil_8cpp.html#ac4e4df5c6f24ccd2c0d6e752d7253bfc',1,'CppUtil.cpp']]],
+  ['vtblchamap_12563',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012',1,'SVF::DCHGraph']]],
+  ['vtbllabelafterdemangle_12564',['vtblLabelAfterDemangle',['../CppUtil_8cpp.html#a3afb7512c76959754d6398b8f20012da',1,'CppUtil.cpp']]],
+  ['vtbllabelbeforedemangle_12565',['vtblLabelBeforeDemangle',['../CppUtil_8cpp.html#a211c0223a37893d84fb5e2fd2f9fc76b',1,'CppUtil.cpp']]],
+  ['vtbltotypemap_12566',['vtblToTypeMap',['../classSVF_1_1DCHGraph.html#af854a7f4aeb1b596a69fdad9a2adf87a',1,'SVF::DCHGraph']]],
+  ['vthdtocxt_12567',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
+  ['vthdtorthd_12568',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
+  ['vthunkfunclabel_12569',['VThunkFuncLabel',['../CppUtil_8cpp.html#a2aa14572bb011847c1e5920aae880bfa',1,'CppUtil.cpp']]],
+  ['vtinitmdname_12570',['vtInitMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a02b3f4190d325c921922c25e319dc8d9',1,'SVF::cppUtil::ctir']]],
+  ['vtmdname_12571',['vtMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#aa4630844aa25aa4801659304a2552058',1,'SVF::cppUtil::ctir']]],
+  ['vworklist_12572',['vWorklist',['../classSVF_1_1VersionedFlowSensitive.html#adfefc0dfa4e7fb4d20fafeaf96a5fa67',1,'SVF::VersionedFlowSensitive']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['which_12571',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
-  ['widendelay_12572',['WidenDelay',['../classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193',1,'SVF::Options']]],
-  ['wordit_12573',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['wordnumber_12574',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['words_12575',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
-  ['wordsize_12576',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist_12577',['worklist',['../classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc',1,'SVF::GraphReachSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()']]],
-  ['wpanum_12578',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
-  ['writeander_12579',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
-  ['writesvfg_12580',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]],
-  ['wtocomponentptr_12581',['WTOComponentPtr',['../classSVF_1_1WTOCycle.html#acc26c1e8e39691416b590d1a29f57c38',1,'SVF::WTOCycle::WTOComponentPtr()'],['../classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954',1,'SVF::WTO::WTOComponentPtr()']]]
+  ['which_12573',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
+  ['widendelay_12574',['WidenDelay',['../classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193',1,'SVF::Options']]],
+  ['wordit_12575',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['wordnumber_12576',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['words_12577',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
+  ['wordsize_12578',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
+  ['worklist_12579',['worklist',['../classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc',1,'SVF::GraphReachSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()']]],
+  ['wpanum_12580',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
+  ['writeander_12581',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
+  ['writesvfg_12582',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]],
+  ['wtocomponentptr_12583',['WTOComponentPtr',['../classSVF_1_1WTOCycle.html#acc26c1e8e39691416b590d1a29f57c38',1,'SVF::WTOCycle::WTOComponentPtr()'],['../classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954',1,'SVF::WTO::WTOComponentPtr()']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['yield_12582',['yield',['../classSVF_1_1VersionedFlowSensitive.html#a16224ee60494bb1fdf1c8a1026fbe7ab',1,'SVF::VersionedFlowSensitive']]]
+  ['yield_12584',['yield',['../classSVF_1_1VersionedFlowSensitive.html#a16224ee60494bb1fdf1c8a1026fbe7ab',1,'SVF::VersionedFlowSensitive']]]
 ];

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

@@ -1,20 +1,20 @@
 var searchData=
 [
-  ['zn1label_12583',['zn1Label',['../CppUtil_8cpp.html#a6f19eb9e9f233bab6ca592083dcfc0c3',1,'CppUtil.cpp']]],
-  ['znk9label_12584',['znk9Label',['../CppUtil_8cpp.html#ae0ed4e737ea205d0ba4b13bf59edee6d',1,'CppUtil.cpp']]],
-  ['znklabel_12585',['znkLabel',['../CppUtil_8cpp.html#a9d0fa1ab7e36b676084a4f680c1e5f2e',1,'CppUtil.cpp']]],
-  ['znkst20label_12586',['znkst20Label',['../CppUtil_8cpp.html#a3750c7fb6ce4186591a9d7a74f66dd2d',1,'CppUtil.cpp']]],
-  ['znkst23label_12587',['znkst23Label',['../CppUtil_8cpp.html#a1236129f13ba32542603b56b7ad60fd2',1,'CppUtil.cpp']]],
-  ['znkst5label_12588',['znkst5Label',['../CppUtil_8cpp.html#ae64b669f778ac066473456de94f72d48',1,'CppUtil.cpp']]],
-  ['znkstlabel_12589',['znkstLabel',['../CppUtil_8cpp.html#a73f68716197e7fbd42cb334af32b9ee2',1,'CppUtil.cpp']]],
-  ['znst12label_12590',['znst12Label',['../CppUtil_8cpp.html#a7da65e2a641fd4ccddaa68b83a6f2f72',1,'CppUtil.cpp']]],
-  ['znst14label_12591',['znst14Label',['../CppUtil_8cpp.html#adced009085794f93e816603380118609',1,'CppUtil.cpp']]],
-  ['znst5label_12592',['znst5Label',['../CppUtil_8cpp.html#a390380a90a788959ef45b5fd30349266',1,'CppUtil.cpp']]],
-  ['znst6label_12593',['znst6Label',['../CppUtil_8cpp.html#a0ec36087cc7f4ff6d6fe85626a09c885',1,'CppUtil.cpp']]],
-  ['znst7label_12594',['znst7Label',['../CppUtil_8cpp.html#a784e559ae4da3ab3595e1fba4a171120',1,'CppUtil.cpp']]],
-  ['znstlabel_12595',['znstLabel',['../CppUtil_8cpp.html#a64bb8e85e7f5a08516c02c83ea329e63',1,'CppUtil.cpp']]],
-  ['znwm_12596',['znwm',['../CppUtil_8cpp.html#a809a0913c3e4226ef8fd2df7aaa63d8d',1,'CppUtil.cpp']]],
-  ['ztilabel_12597',['ztiLabel',['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'ztiLabel(): CHGBuilder.cpp'],['../CppUtil_8cpp.html#ac6c8cb5e26437d51d4d2e0112ebfdbc6',1,'ztilabel(): CppUtil.cpp']]],
-  ['ztiprefix_12598',['ztiprefix',['../CppUtil_8cpp.html#af6dcab87a299097747c63a654197ae66',1,'CppUtil.cpp']]],
-  ['zval_12599',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
+  ['zn1label_12585',['zn1Label',['../CppUtil_8cpp.html#a6f19eb9e9f233bab6ca592083dcfc0c3',1,'CppUtil.cpp']]],
+  ['znk9label_12586',['znk9Label',['../CppUtil_8cpp.html#ae0ed4e737ea205d0ba4b13bf59edee6d',1,'CppUtil.cpp']]],
+  ['znklabel_12587',['znkLabel',['../CppUtil_8cpp.html#a9d0fa1ab7e36b676084a4f680c1e5f2e',1,'CppUtil.cpp']]],
+  ['znkst20label_12588',['znkst20Label',['../CppUtil_8cpp.html#a3750c7fb6ce4186591a9d7a74f66dd2d',1,'CppUtil.cpp']]],
+  ['znkst23label_12589',['znkst23Label',['../CppUtil_8cpp.html#a1236129f13ba32542603b56b7ad60fd2',1,'CppUtil.cpp']]],
+  ['znkst5label_12590',['znkst5Label',['../CppUtil_8cpp.html#ae64b669f778ac066473456de94f72d48',1,'CppUtil.cpp']]],
+  ['znkstlabel_12591',['znkstLabel',['../CppUtil_8cpp.html#a73f68716197e7fbd42cb334af32b9ee2',1,'CppUtil.cpp']]],
+  ['znst12label_12592',['znst12Label',['../CppUtil_8cpp.html#a7da65e2a641fd4ccddaa68b83a6f2f72',1,'CppUtil.cpp']]],
+  ['znst14label_12593',['znst14Label',['../CppUtil_8cpp.html#adced009085794f93e816603380118609',1,'CppUtil.cpp']]],
+  ['znst5label_12594',['znst5Label',['../CppUtil_8cpp.html#a390380a90a788959ef45b5fd30349266',1,'CppUtil.cpp']]],
+  ['znst6label_12595',['znst6Label',['../CppUtil_8cpp.html#a0ec36087cc7f4ff6d6fe85626a09c885',1,'CppUtil.cpp']]],
+  ['znst7label_12596',['znst7Label',['../CppUtil_8cpp.html#a784e559ae4da3ab3595e1fba4a171120',1,'CppUtil.cpp']]],
+  ['znstlabel_12597',['znstLabel',['../CppUtil_8cpp.html#a64bb8e85e7f5a08516c02c83ea329e63',1,'CppUtil.cpp']]],
+  ['znwm_12598',['znwm',['../CppUtil_8cpp.html#a809a0913c3e4226ef8fd2df7aaa63d8d',1,'CppUtil.cpp']]],
+  ['ztilabel_12599',['ztiLabel',['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'ztiLabel(): CHGBuilder.cpp'],['../CppUtil_8cpp.html#ac6c8cb5e26437d51d4d2e0112ebfdbc6',1,'ztilabel(): CppUtil.cpp']]],
+  ['ztiprefix_12600',['ztiprefix',['../CppUtil_8cpp.html#af6dcab87a299097747c63a654197ae66',1,'CppUtil.cpp']]],
+  ['zval_12601',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
 ];

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

@@ -1,44 +1,44 @@
 var searchData=
 [
-  ['b_11466',['b',['../cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.h'],['../cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.cpp']]],
-  ['backicfgedges_11467',['backICFGEdges',['../classSVF_1_1SVFLoop.html#aed4400521f825802719ac97a18452230',1,'SVF::SVFLoop']]],
-  ['backwardslice_11468',['backwardSlice',['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()'],['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()']]],
-  ['backwardvisited_11469',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver']]],
-  ['base_11470',['base',['../classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5',1,'SVF::GepObjVar']]],
-  ['baseids_11471',['baseIds',['../classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54',1,'SVF::ConstraintNode']]],
-  ['basicblock_11472',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt']]],
-  ['bb_11473',['bb',['../classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a',1,'SVF::ICFGNode::bb()'],['../classSVF_1_1LoadMU.html#aadfeb1a4924cbe78a828fd4a94fb59da',1,'SVF::LoadMU::bb()'],['../classSVF_1_1StoreCHI.html#ae8bd147e80514d5cb42f249d98b5fb72',1,'SVF::StoreCHI::bb()'],['../classSVF_1_1MSSAPHI.html#a3353fb233d81d5218540e8da2bad1a45',1,'SVF::MSSAPHI::bb()'],['../classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0',1,'SVF::SVFInstruction::bb()']]],
-  ['bb2loopmap_11474',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2pdomlevel_11475',['bb2PdomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2phisetmap_11476',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
-  ['bb2pidom_11477',['bb2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bbconds_11478',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
-  ['bbtocondmap_11479',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator']]],
-  ['begin_5fiterator_11480',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
-  ['bestcandidate_11481',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['bit_11482',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['bitnumber_11483',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['bits_11484',['Bits',['../structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526',1,'SVF::SparseBitVectorElement::Bits()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d',1,'SVF::SparseBitVector::SparseBitVectorIterator::Bits()']]],
-  ['bitvector_11485',['BitVector',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['blackholeobjectid_11486',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
-  ['blackholepointerid_11487',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
-  ['boolean_11488',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
-  ['branchcondval_11489',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
-  ['brconditions_11490',['brConditions',['../classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0',1,'SVF::CDGEdge']]],
-  ['briefconscgdotgraph_11491',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
-  ['brinst_11492',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
-  ['brstmt_11493',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
-  ['buffer_11494',['buffer',['../structprintbuffer.html#a754f63618e91db99f7ab6cfc4e629013',1,'printbuffer::buffer()'],['../cJSON_8h.html#a503753140aa27b00f99a3501280b2746',1,'buffer(): cJSON.h'],['../cJSON_8cpp.html#a503753140aa27b00f99a3501280b2746',1,'buffer(): cJSON.cpp']]],
-  ['buffer_5flength_11495',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
-  ['bufferoverflowcheck_11496',['BufferOverflowCheck',['../classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d',1,'SVF::Options']]],
-  ['bufoverflowcheckerapi_11497',['BufOverflowCheckerAPI',['../classSVF_1_1BufOverflowChecker.html#a563fed00ad732985dbe7a7e2c6525e6a',1,'SVF::BufOverflowChecker']]],
-  ['bugeventstack_11498',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
-  ['bugset_11499',['bugSet',['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport']]],
-  ['bugstr_11500',['bugStr',['../classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8',1,'SVF::AEStat']]],
-  ['bugtype_11501',['bugType',['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug']]],
-  ['bugtype2str_11502',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
-  ['buildingchgtime_11503',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
-  ['bv_11504',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo']]],
-  ['bvit_11505',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
-  ['bytesize_11506',['byteSize',['../classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6',1,'SVF::SVFType::byteSize()'],['../classSVF_1_1ObjTypeInfo.html#abe4d855db71b38e7fdd2fd73cca67814',1,'SVF::ObjTypeInfo::byteSize()']]]
+  ['b_11468',['b',['../cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.h'],['../cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.cpp']]],
+  ['backicfgedges_11469',['backICFGEdges',['../classSVF_1_1SVFLoop.html#aed4400521f825802719ac97a18452230',1,'SVF::SVFLoop']]],
+  ['backwardslice_11470',['backwardSlice',['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()'],['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()']]],
+  ['backwardvisited_11471',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver']]],
+  ['base_11472',['base',['../classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5',1,'SVF::GepObjVar']]],
+  ['baseids_11473',['baseIds',['../classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54',1,'SVF::ConstraintNode']]],
+  ['basicblock_11474',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt']]],
+  ['bb_11475',['bb',['../classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a',1,'SVF::ICFGNode::bb()'],['../classSVF_1_1LoadMU.html#aadfeb1a4924cbe78a828fd4a94fb59da',1,'SVF::LoadMU::bb()'],['../classSVF_1_1StoreCHI.html#ae8bd147e80514d5cb42f249d98b5fb72',1,'SVF::StoreCHI::bb()'],['../classSVF_1_1MSSAPHI.html#a3353fb233d81d5218540e8da2bad1a45',1,'SVF::MSSAPHI::bb()'],['../classSVF_1_1SVFInstruction.html#ade4a9596b2c288f2f74ce813d21fcaa0',1,'SVF::SVFInstruction::bb()']]],
+  ['bb2loopmap_11476',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2pdomlevel_11477',['bb2PdomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2phisetmap_11478',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
+  ['bb2pidom_11479',['bb2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bbconds_11480',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
+  ['bbtocondmap_11481',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator']]],
+  ['begin_5fiterator_11482',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
+  ['bestcandidate_11483',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['bit_11484',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['bitnumber_11485',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['bits_11486',['Bits',['../structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526',1,'SVF::SparseBitVectorElement::Bits()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d',1,'SVF::SparseBitVector::SparseBitVectorIterator::Bits()']]],
+  ['bitvector_11487',['BitVector',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['blackholeobjectid_11488',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
+  ['blackholepointerid_11489',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
+  ['boolean_11490',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
+  ['branchcondval_11491',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
+  ['brconditions_11492',['brConditions',['../classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0',1,'SVF::CDGEdge']]],
+  ['briefconscgdotgraph_11493',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
+  ['brinst_11494',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
+  ['brstmt_11495',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
+  ['buffer_11496',['buffer',['../structprintbuffer.html#a754f63618e91db99f7ab6cfc4e629013',1,'printbuffer::buffer()'],['../cJSON_8h.html#a503753140aa27b00f99a3501280b2746',1,'buffer(): cJSON.h'],['../cJSON_8cpp.html#a503753140aa27b00f99a3501280b2746',1,'buffer(): cJSON.cpp']]],
+  ['buffer_5flength_11497',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
+  ['bufferoverflowcheck_11498',['BufferOverflowCheck',['../classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d',1,'SVF::Options']]],
+  ['bufoverflowcheckerapi_11499',['BufOverflowCheckerAPI',['../classSVF_1_1BufOverflowChecker.html#a563fed00ad732985dbe7a7e2c6525e6a',1,'SVF::BufOverflowChecker']]],
+  ['bugeventstack_11500',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
+  ['bugset_11501',['bugSet',['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport']]],
+  ['bugstr_11502',['bugStr',['../classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8',1,'SVF::AEStat']]],
+  ['bugtype_11503',['bugType',['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug']]],
+  ['bugtype2str_11504',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
+  ['buildingchgtime_11505',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
+  ['bv_11506',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo']]],
+  ['bvit_11507',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
+  ['bytesize_11508',['byteSize',['../classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6',1,'SVF::SVFType::byteSize()'],['../classSVF_1_1ObjTypeInfo.html#abe4d855db71b38e7fdd2fd73cca67814',1,'SVF::ObjTypeInfo::byteSize()']]]
 ];