svf-tools 1.0.913 → 1.0.915

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

@@ -1,52 +1,52 @@
 var searchData=
 [
-  ['validatetests_12314',['ValidateTests',['../classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1',1,'SVF::Options']]],
-  ['valsymmap_12315',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
-  ['value_12316',['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_12317',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
-  ['valueint_12318',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
-  ['valuestring_12319',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
-  ['valuetoedgemap_12320',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph']]],
-  ['var2labelmap_12321',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt']]],
-  ['vararg_12322',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
-  ['varargsymmap_12323',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
-  ['variableattribute_12324',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol']]],
-  ['variantfield_12325',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
-  ['varkills_12326',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
-  ['vcallvtblptr_12327',['vCallVtblPtr',['../classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f',1,'SVF::SVFVirtualCallInst']]],
-  ['ver_12328',['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_12329',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()']]],
-  ['versionedvartopropnode_12330',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
-  ['versioningthreads_12331',['VersioningThreads',['../classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665',1,'SVF::Options']]],
-  ['versionproptime_12332',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
-  ['versionreliance_12333',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
-  ['vfedgesatindcallsite_12334',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
-  ['vfgnodes_12335',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode']]],
-  ['vfid_12336',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
-  ['vfnvectors_12337',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
-  ['vfspta_12338',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
-  ['vfunprelabel_12339',['vfunPreLabel',['../CppUtil_8cpp.html#aff4f7c7a9aacf05a3a3c42ae24ea7d96',1,'CppUtil.cpp']]],
-  ['vgep_12340',['vgep',['../PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9',1,'PAGGrammar.txt']]],
-  ['vgepbar_12341',['vgepbar',['../PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f',1,'PAGGrammar.txt']]],
-  ['vid_12342',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
-  ['virtualfunctiontoidmap_12343',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
-  ['virtualfunctionvectors_12344',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
-  ['virtualfunidx_12345',['virtualFunIdx',['../classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6',1,'SVF::SVFVirtualCallInst']]],
-  ['visitedctps_12346',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
-  ['visitedset_12347',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],
-  ['vptd_12348',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
-  ['vtable_12349',['vtable',['../classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e',1,'SVF::DCHNode::vtable()'],['../classSVF_1_1CHNode.html#a0caf16354322896e25a705bb179828ed',1,'SVF::CHNode::vtable()']]],
-  ['vtableinsvfir_12350',['VtableInSVFIR',['../classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140',1,'SVF::Options']]],
-  ['vtabletocallsitemap_12351',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
-  ['vtabletype_12352',['vtableType',['../CppUtil_8cpp.html#ac4e4df5c6f24ccd2c0d6e752d7253bfc',1,'CppUtil.cpp']]],
-  ['vtblchamap_12353',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012',1,'SVF::DCHGraph']]],
-  ['vtbllabelafterdemangle_12354',['vtblLabelAfterDemangle',['../CppUtil_8cpp.html#a3afb7512c76959754d6398b8f20012da',1,'CppUtil.cpp']]],
-  ['vtbllabelbeforedemangle_12355',['vtblLabelBeforeDemangle',['../CppUtil_8cpp.html#a211c0223a37893d84fb5e2fd2f9fc76b',1,'CppUtil.cpp']]],
-  ['vtbltotypemap_12356',['vtblToTypeMap',['../classSVF_1_1DCHGraph.html#af854a7f4aeb1b596a69fdad9a2adf87a',1,'SVF::DCHGraph']]],
-  ['vthdtocxt_12357',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
-  ['vthdtorthd_12358',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
-  ['vthunkfunclabel_12359',['VThunkFuncLabel',['../CppUtil_8cpp.html#a2aa14572bb011847c1e5920aae880bfa',1,'CppUtil.cpp']]],
-  ['vtinitmdname_12360',['vtInitMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a02b3f4190d325c921922c25e319dc8d9',1,'SVF::cppUtil::ctir']]],
-  ['vtmdname_12361',['vtMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#aa4630844aa25aa4801659304a2552058',1,'SVF::cppUtil::ctir']]],
-  ['vworklist_12362',['vWorklist',['../classSVF_1_1VersionedFlowSensitive.html#adfefc0dfa4e7fb4d20fafeaf96a5fa67',1,'SVF::VersionedFlowSensitive']]]
+  ['validatetests_12288',['ValidateTests',['../classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1',1,'SVF::Options']]],
+  ['valsymmap_12289',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
+  ['value_12290',['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_12291',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
+  ['valueint_12292',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
+  ['valuestring_12293',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
+  ['valuetoedgemap_12294',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph']]],
+  ['var2labelmap_12295',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt']]],
+  ['vararg_12296',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
+  ['varargsymmap_12297',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
+  ['variableattribute_12298',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol']]],
+  ['variantfield_12299',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
+  ['varkills_12300',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
+  ['vcallvtblptr_12301',['vCallVtblPtr',['../classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f',1,'SVF::SVFVirtualCallInst']]],
+  ['ver_12302',['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_12303',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()']]],
+  ['versionedvartopropnode_12304',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
+  ['versioningthreads_12305',['VersioningThreads',['../classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665',1,'SVF::Options']]],
+  ['versionproptime_12306',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
+  ['versionreliance_12307',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
+  ['vfedgesatindcallsite_12308',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
+  ['vfgnodes_12309',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode']]],
+  ['vfid_12310',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
+  ['vfnvectors_12311',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
+  ['vfspta_12312',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
+  ['vfunprelabel_12313',['vfunPreLabel',['../CppUtil_8cpp.html#aff4f7c7a9aacf05a3a3c42ae24ea7d96',1,'CppUtil.cpp']]],
+  ['vgep_12314',['vgep',['../PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9',1,'PAGGrammar.txt']]],
+  ['vgepbar_12315',['vgepbar',['../PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f',1,'PAGGrammar.txt']]],
+  ['vid_12316',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
+  ['virtualfunctiontoidmap_12317',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
+  ['virtualfunctionvectors_12318',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
+  ['virtualfunidx_12319',['virtualFunIdx',['../classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6',1,'SVF::SVFVirtualCallInst']]],
+  ['visitedctps_12320',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
+  ['visitedset_12321',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],
+  ['vptd_12322',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
+  ['vtable_12323',['vtable',['../classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e',1,'SVF::DCHNode::vtable()'],['../classSVF_1_1CHNode.html#a0caf16354322896e25a705bb179828ed',1,'SVF::CHNode::vtable()']]],
+  ['vtableinsvfir_12324',['VtableInSVFIR',['../classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140',1,'SVF::Options']]],
+  ['vtabletocallsitemap_12325',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
+  ['vtabletype_12326',['vtableType',['../CppUtil_8cpp.html#ac4e4df5c6f24ccd2c0d6e752d7253bfc',1,'CppUtil.cpp']]],
+  ['vtblchamap_12327',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012',1,'SVF::DCHGraph']]],
+  ['vtbllabelafterdemangle_12328',['vtblLabelAfterDemangle',['../CppUtil_8cpp.html#a3afb7512c76959754d6398b8f20012da',1,'CppUtil.cpp']]],
+  ['vtbllabelbeforedemangle_12329',['vtblLabelBeforeDemangle',['../CppUtil_8cpp.html#a211c0223a37893d84fb5e2fd2f9fc76b',1,'CppUtil.cpp']]],
+  ['vtbltotypemap_12330',['vtblToTypeMap',['../classSVF_1_1DCHGraph.html#af854a7f4aeb1b596a69fdad9a2adf87a',1,'SVF::DCHGraph']]],
+  ['vthdtocxt_12331',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
+  ['vthdtorthd_12332',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
+  ['vthunkfunclabel_12333',['VThunkFuncLabel',['../CppUtil_8cpp.html#a2aa14572bb011847c1e5920aae880bfa',1,'CppUtil.cpp']]],
+  ['vtinitmdname_12334',['vtInitMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a02b3f4190d325c921922c25e319dc8d9',1,'SVF::cppUtil::ctir']]],
+  ['vtmdname_12335',['vtMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#aa4630844aa25aa4801659304a2552058',1,'SVF::cppUtil::ctir']]],
+  ['vworklist_12336',['vWorklist',['../classSVF_1_1VersionedFlowSensitive.html#adfefc0dfa4e7fb4d20fafeaf96a5fa67',1,'SVF::VersionedFlowSensitive']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['which_12363',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
-  ['widendelay_12364',['WidenDelay',['../classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193',1,'SVF::Options']]],
-  ['wordit_12365',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['wordnumber_12366',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['words_12367',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
-  ['wordsize_12368',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist_12369',['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_12370',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
-  ['writeander_12371',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
-  ['writesvfg_12372',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]],
-  ['wtocomponentptr_12373',['WTOComponentPtr',['../classSVF_1_1WTOCycle.html#acc26c1e8e39691416b590d1a29f57c38',1,'SVF::WTOCycle::WTOComponentPtr()'],['../classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954',1,'SVF::WTO::WTOComponentPtr()']]]
+  ['which_12337',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
+  ['widendelay_12338',['WidenDelay',['../classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193',1,'SVF::Options']]],
+  ['wordit_12339',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['wordnumber_12340',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['words_12341',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
+  ['wordsize_12342',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
+  ['worklist_12343',['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_12344',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
+  ['writeander_12345',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
+  ['writesvfg_12346',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]],
+  ['wtocomponentptr_12347',['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_12374',['yield',['../classSVF_1_1VersionedFlowSensitive.html#a16224ee60494bb1fdf1c8a1026fbe7ab',1,'SVF::VersionedFlowSensitive']]]
+  ['yield_12348',['yield',['../classSVF_1_1VersionedFlowSensitive.html#a16224ee60494bb1fdf1c8a1026fbe7ab',1,'SVF::VersionedFlowSensitive']]]
 ];

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

@@ -1,20 +1,20 @@
 var searchData=
 [
-  ['zn1label_12375',['zn1Label',['../CppUtil_8cpp.html#a6f19eb9e9f233bab6ca592083dcfc0c3',1,'CppUtil.cpp']]],
-  ['znk9label_12376',['znk9Label',['../CppUtil_8cpp.html#ae0ed4e737ea205d0ba4b13bf59edee6d',1,'CppUtil.cpp']]],
-  ['znklabel_12377',['znkLabel',['../CppUtil_8cpp.html#a9d0fa1ab7e36b676084a4f680c1e5f2e',1,'CppUtil.cpp']]],
-  ['znkst20label_12378',['znkst20Label',['../CppUtil_8cpp.html#a3750c7fb6ce4186591a9d7a74f66dd2d',1,'CppUtil.cpp']]],
-  ['znkst23label_12379',['znkst23Label',['../CppUtil_8cpp.html#a1236129f13ba32542603b56b7ad60fd2',1,'CppUtil.cpp']]],
-  ['znkst5label_12380',['znkst5Label',['../CppUtil_8cpp.html#ae64b669f778ac066473456de94f72d48',1,'CppUtil.cpp']]],
-  ['znkstlabel_12381',['znkstLabel',['../CppUtil_8cpp.html#a73f68716197e7fbd42cb334af32b9ee2',1,'CppUtil.cpp']]],
-  ['znst12label_12382',['znst12Label',['../CppUtil_8cpp.html#a7da65e2a641fd4ccddaa68b83a6f2f72',1,'CppUtil.cpp']]],
-  ['znst14label_12383',['znst14Label',['../CppUtil_8cpp.html#adced009085794f93e816603380118609',1,'CppUtil.cpp']]],
-  ['znst5label_12384',['znst5Label',['../CppUtil_8cpp.html#a390380a90a788959ef45b5fd30349266',1,'CppUtil.cpp']]],
-  ['znst6label_12385',['znst6Label',['../CppUtil_8cpp.html#a0ec36087cc7f4ff6d6fe85626a09c885',1,'CppUtil.cpp']]],
-  ['znst7label_12386',['znst7Label',['../CppUtil_8cpp.html#a784e559ae4da3ab3595e1fba4a171120',1,'CppUtil.cpp']]],
-  ['znstlabel_12387',['znstLabel',['../CppUtil_8cpp.html#a64bb8e85e7f5a08516c02c83ea329e63',1,'CppUtil.cpp']]],
-  ['znwm_12388',['znwm',['../CppUtil_8cpp.html#a809a0913c3e4226ef8fd2df7aaa63d8d',1,'CppUtil.cpp']]],
-  ['ztilabel_12389',['ztilabel',['../CppUtil_8cpp.html#ac6c8cb5e26437d51d4d2e0112ebfdbc6',1,'ztilabel(): CppUtil.cpp'],['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'ztiLabel(): CHGBuilder.cpp']]],
-  ['ztiprefix_12390',['ztiprefix',['../CppUtil_8cpp.html#af6dcab87a299097747c63a654197ae66',1,'CppUtil.cpp']]],
-  ['zval_12391',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
+  ['zn1label_12349',['zn1Label',['../CppUtil_8cpp.html#a6f19eb9e9f233bab6ca592083dcfc0c3',1,'CppUtil.cpp']]],
+  ['znk9label_12350',['znk9Label',['../CppUtil_8cpp.html#ae0ed4e737ea205d0ba4b13bf59edee6d',1,'CppUtil.cpp']]],
+  ['znklabel_12351',['znkLabel',['../CppUtil_8cpp.html#a9d0fa1ab7e36b676084a4f680c1e5f2e',1,'CppUtil.cpp']]],
+  ['znkst20label_12352',['znkst20Label',['../CppUtil_8cpp.html#a3750c7fb6ce4186591a9d7a74f66dd2d',1,'CppUtil.cpp']]],
+  ['znkst23label_12353',['znkst23Label',['../CppUtil_8cpp.html#a1236129f13ba32542603b56b7ad60fd2',1,'CppUtil.cpp']]],
+  ['znkst5label_12354',['znkst5Label',['../CppUtil_8cpp.html#ae64b669f778ac066473456de94f72d48',1,'CppUtil.cpp']]],
+  ['znkstlabel_12355',['znkstLabel',['../CppUtil_8cpp.html#a73f68716197e7fbd42cb334af32b9ee2',1,'CppUtil.cpp']]],
+  ['znst12label_12356',['znst12Label',['../CppUtil_8cpp.html#a7da65e2a641fd4ccddaa68b83a6f2f72',1,'CppUtil.cpp']]],
+  ['znst14label_12357',['znst14Label',['../CppUtil_8cpp.html#adced009085794f93e816603380118609',1,'CppUtil.cpp']]],
+  ['znst5label_12358',['znst5Label',['../CppUtil_8cpp.html#a390380a90a788959ef45b5fd30349266',1,'CppUtil.cpp']]],
+  ['znst6label_12359',['znst6Label',['../CppUtil_8cpp.html#a0ec36087cc7f4ff6d6fe85626a09c885',1,'CppUtil.cpp']]],
+  ['znst7label_12360',['znst7Label',['../CppUtil_8cpp.html#a784e559ae4da3ab3595e1fba4a171120',1,'CppUtil.cpp']]],
+  ['znstlabel_12361',['znstLabel',['../CppUtil_8cpp.html#a64bb8e85e7f5a08516c02c83ea329e63',1,'CppUtil.cpp']]],
+  ['znwm_12362',['znwm',['../CppUtil_8cpp.html#a809a0913c3e4226ef8fd2df7aaa63d8d',1,'CppUtil.cpp']]],
+  ['ztilabel_12363',['ztilabel',['../CppUtil_8cpp.html#ac6c8cb5e26437d51d4d2e0112ebfdbc6',1,'ztilabel(): CppUtil.cpp'],['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'ztiLabel(): CHGBuilder.cpp']]],
+  ['ztiprefix_12364',['ztiprefix',['../CppUtil_8cpp.html#af6dcab87a299097747c63a654197ae66',1,'CppUtil.cpp']]],
+  ['zval_12365',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
 ];

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

@@ -1,43 +1,43 @@
 var searchData=
 [
-  ['b_11257',['b',['../cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.h'],['../cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.cpp']]],
-  ['backicfgedges_11258',['backICFGEdges',['../classSVF_1_1SVFLoop.html#aed4400521f825802719ac97a18452230',1,'SVF::SVFLoop']]],
-  ['backwardslice_11259',['backwardSlice',['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()'],['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()']]],
-  ['backwardvisited_11260',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver']]],
-  ['base_11261',['base',['../classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5',1,'SVF::GepObjVar']]],
-  ['baseids_11262',['baseIds',['../classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54',1,'SVF::ConstraintNode']]],
-  ['basicblock_11263',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt']]],
-  ['bb_11264',['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_11265',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2pdomlevel_11266',['bb2PdomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2phisetmap_11267',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
-  ['bb2pidom_11268',['bb2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bbconds_11269',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
-  ['bbtocondmap_11270',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator']]],
-  ['begin_5fiterator_11271',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
-  ['bestcandidate_11272',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['bit_11273',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['bitnumber_11274',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['bits_11275',['Bits',['../structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526',1,'SVF::SparseBitVectorElement::Bits()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d',1,'SVF::SparseBitVector::SparseBitVectorIterator::Bits()']]],
-  ['bitvector_11276',['BitVector',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['blackholeobjectid_11277',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
-  ['blackholepointerid_11278',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
-  ['boolean_11279',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
-  ['branchcondval_11280',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
-  ['brconditions_11281',['brConditions',['../classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0',1,'SVF::CDGEdge']]],
-  ['briefconscgdotgraph_11282',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
-  ['brinst_11283',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
-  ['brstmt_11284',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
-  ['buffer_11285',['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_11286',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
-  ['bufferoverflowcheck_11287',['BufferOverflowCheck',['../classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d',1,'SVF::Options']]],
-  ['bugeventstack_11288',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
-  ['bugset_11289',['bugSet',['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport']]],
-  ['bugstr_11290',['bugStr',['../classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8',1,'SVF::AEStat']]],
-  ['bugtype_11291',['bugType',['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug']]],
-  ['bugtype2str_11292',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
-  ['buildingchgtime_11293',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
-  ['bv_11294',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo']]],
-  ['bvit_11295',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
-  ['bytesize_11296',['byteSize',['../classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6',1,'SVF::SVFType::byteSize()'],['../classSVF_1_1ObjTypeInfo.html#abe4d855db71b38e7fdd2fd73cca67814',1,'SVF::ObjTypeInfo::byteSize()']]]
+  ['b_11231',['b',['../cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.h'],['../cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.cpp']]],
+  ['backicfgedges_11232',['backICFGEdges',['../classSVF_1_1SVFLoop.html#aed4400521f825802719ac97a18452230',1,'SVF::SVFLoop']]],
+  ['backwardslice_11233',['backwardSlice',['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()'],['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()']]],
+  ['backwardvisited_11234',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver']]],
+  ['base_11235',['base',['../classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5',1,'SVF::GepObjVar']]],
+  ['baseids_11236',['baseIds',['../classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54',1,'SVF::ConstraintNode']]],
+  ['basicblock_11237',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt']]],
+  ['bb_11238',['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_11239',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2pdomlevel_11240',['bb2PdomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2phisetmap_11241',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
+  ['bb2pidom_11242',['bb2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bbconds_11243',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
+  ['bbtocondmap_11244',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator']]],
+  ['begin_5fiterator_11245',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
+  ['bestcandidate_11246',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['bit_11247',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['bitnumber_11248',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['bits_11249',['Bits',['../structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526',1,'SVF::SparseBitVectorElement::Bits()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d',1,'SVF::SparseBitVector::SparseBitVectorIterator::Bits()']]],
+  ['bitvector_11250',['BitVector',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['blackholeobjectid_11251',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
+  ['blackholepointerid_11252',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
+  ['boolean_11253',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
+  ['branchcondval_11254',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
+  ['brconditions_11255',['brConditions',['../classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0',1,'SVF::CDGEdge']]],
+  ['briefconscgdotgraph_11256',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
+  ['brinst_11257',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
+  ['brstmt_11258',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
+  ['buffer_11259',['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_11260',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
+  ['bufferoverflowcheck_11261',['BufferOverflowCheck',['../classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d',1,'SVF::Options']]],
+  ['bugeventstack_11262',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
+  ['bugset_11263',['bugSet',['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport']]],
+  ['bugstr_11264',['bugStr',['../classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8',1,'SVF::AEStat']]],
+  ['bugtype_11265',['bugType',['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug']]],
+  ['bugtype2str_11266',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
+  ['buildingchgtime_11267',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
+  ['bv_11268',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo']]],
+  ['bvit_11269',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
+  ['bytesize_11270',['byteSize',['../classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6',1,'SVF::SVFType::byteSize()'],['../classSVF_1_1ObjTypeInfo.html#abe4d855db71b38e7fdd2fd73cca67814',1,'SVF::ObjTypeInfo::byteSize()']]]
 ];