svf-tools 1.0.855 → 1.0.856

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

@@ -1,52 +1,52 @@
 var searchData=
 [
-  ['validatetests_12125',['ValidateTests',['../classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1',1,'SVF::Options']]],
-  ['valsymmap_12126',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
-  ['value_12127',['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_12128',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
-  ['valueint_12129',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
-  ['valuestring_12130',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
-  ['valuetoedgemap_12131',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph']]],
-  ['var2labelmap_12132',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt']]],
-  ['vararg_12133',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
-  ['varargsymmap_12134',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
-  ['variableattribute_12135',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol']]],
-  ['variantfield_12136',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
-  ['varkills_12137',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
-  ['vcallvtblptr_12138',['vCallVtblPtr',['../classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f',1,'SVF::SVFVirtualCallInst']]],
-  ['ver_12139',['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_12140',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()']]],
-  ['versionedvartopropnode_12141',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
-  ['versioningthreads_12142',['VersioningThreads',['../classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665',1,'SVF::Options']]],
-  ['versionproptime_12143',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
-  ['versionreliance_12144',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
-  ['vfedgesatindcallsite_12145',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
-  ['vfgnodes_12146',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode']]],
-  ['vfid_12147',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
-  ['vfnvectors_12148',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
-  ['vfspta_12149',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
-  ['vfunprelabel_12150',['vfunPreLabel',['../LLVMUtil_8cpp.html#aff4f7c7a9aacf05a3a3c42ae24ea7d96',1,'LLVMUtil.cpp']]],
-  ['vgep_12151',['vgep',['../PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9',1,'PAGGrammar.txt']]],
-  ['vgepbar_12152',['vgepbar',['../PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f',1,'PAGGrammar.txt']]],
-  ['vid_12153',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
-  ['virtualfunctiontoidmap_12154',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
-  ['virtualfunctionvectors_12155',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
-  ['virtualfunidx_12156',['virtualFunIdx',['../classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6',1,'SVF::SVFVirtualCallInst']]],
-  ['visitedctps_12157',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
-  ['visitedset_12158',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],
-  ['vptd_12159',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
-  ['vtable_12160',['vtable',['../classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e',1,'SVF::DCHNode::vtable()'],['../classSVF_1_1CHNode.html#a0caf16354322896e25a705bb179828ed',1,'SVF::CHNode::vtable()']]],
-  ['vtableinsvfir_12161',['VtableInSVFIR',['../classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140',1,'SVF::Options']]],
-  ['vtabletocallsitemap_12162',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
-  ['vtabletype_12163',['vtableType',['../LLVMUtil_8cpp.html#ac4e4df5c6f24ccd2c0d6e752d7253bfc',1,'LLVMUtil.cpp']]],
-  ['vtblchamap_12164',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012',1,'SVF::DCHGraph']]],
-  ['vtbllabelafterdemangle_12165',['vtblLabelAfterDemangle',['../CppUtil_8cpp.html#a3afb7512c76959754d6398b8f20012da',1,'CppUtil.cpp']]],
-  ['vtbllabelbeforedemangle_12166',['vtblLabelBeforeDemangle',['../LLVMUtil_8cpp.html#a211c0223a37893d84fb5e2fd2f9fc76b',1,'LLVMUtil.cpp']]],
-  ['vtbltotypemap_12167',['vtblToTypeMap',['../classSVF_1_1DCHGraph.html#af854a7f4aeb1b596a69fdad9a2adf87a',1,'SVF::DCHGraph']]],
-  ['vthdtocxt_12168',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
-  ['vthdtorthd_12169',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
-  ['vthunkfunclabel_12170',['VThunkFuncLabel',['../CppUtil_8cpp.html#a2aa14572bb011847c1e5920aae880bfa',1,'CppUtil.cpp']]],
-  ['vtinitmdname_12171',['vtInitMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a02b3f4190d325c921922c25e319dc8d9',1,'SVF::cppUtil::ctir']]],
-  ['vtmdname_12172',['vtMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#aa4630844aa25aa4801659304a2552058',1,'SVF::cppUtil::ctir']]],
-  ['vworklist_12173',['vWorklist',['../classSVF_1_1VersionedFlowSensitive.html#adfefc0dfa4e7fb4d20fafeaf96a5fa67',1,'SVF::VersionedFlowSensitive']]]
+  ['validatetests_12123',['ValidateTests',['../classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1',1,'SVF::Options']]],
+  ['valsymmap_12124',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
+  ['value_12125',['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_12126',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
+  ['valueint_12127',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
+  ['valuestring_12128',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
+  ['valuetoedgemap_12129',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph']]],
+  ['var2labelmap_12130',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt']]],
+  ['vararg_12131',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
+  ['varargsymmap_12132',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
+  ['variableattribute_12133',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol']]],
+  ['variantfield_12134',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
+  ['varkills_12135',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
+  ['vcallvtblptr_12136',['vCallVtblPtr',['../classSVF_1_1SVFVirtualCallInst.html#a7a0f92c37fd42989b0d01b78c37d7c2f',1,'SVF::SVFVirtualCallInst']]],
+  ['ver_12137',['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_12138',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()']]],
+  ['versionedvartopropnode_12139',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
+  ['versioningthreads_12140',['VersioningThreads',['../classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665',1,'SVF::Options']]],
+  ['versionproptime_12141',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
+  ['versionreliance_12142',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
+  ['vfedgesatindcallsite_12143',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
+  ['vfgnodes_12144',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode']]],
+  ['vfid_12145',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
+  ['vfnvectors_12146',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
+  ['vfspta_12147',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
+  ['vfunprelabel_12148',['vfunPreLabel',['../LLVMUtil_8cpp.html#aff4f7c7a9aacf05a3a3c42ae24ea7d96',1,'LLVMUtil.cpp']]],
+  ['vgep_12149',['vgep',['../PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9',1,'PAGGrammar.txt']]],
+  ['vgepbar_12150',['vgepbar',['../PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f',1,'PAGGrammar.txt']]],
+  ['vid_12151',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
+  ['virtualfunctiontoidmap_12152',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
+  ['virtualfunctionvectors_12153',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
+  ['virtualfunidx_12154',['virtualFunIdx',['../classSVF_1_1SVFVirtualCallInst.html#adfb8e01d3715f0cf49db23544f4593e6',1,'SVF::SVFVirtualCallInst']]],
+  ['visitedctps_12155',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
+  ['visitedset_12156',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],
+  ['vptd_12157',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
+  ['vtable_12158',['vtable',['../classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e',1,'SVF::DCHNode::vtable()'],['../classSVF_1_1CHNode.html#a0caf16354322896e25a705bb179828ed',1,'SVF::CHNode::vtable()']]],
+  ['vtableinsvfir_12159',['VtableInSVFIR',['../classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140',1,'SVF::Options']]],
+  ['vtabletocallsitemap_12160',['vtableToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#a357db092c3c39d7b1c6dd0fec3888048',1,'SVF::FunptrDDAClient::vtableToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4',1,'SVF::AliasDDAClient::vtableToCallSiteMap()']]],
+  ['vtabletype_12161',['vtableType',['../LLVMUtil_8cpp.html#ac4e4df5c6f24ccd2c0d6e752d7253bfc',1,'LLVMUtil.cpp']]],
+  ['vtblchamap_12162',['vtblCHAMap',['../classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012',1,'SVF::DCHGraph']]],
+  ['vtbllabelafterdemangle_12163',['vtblLabelAfterDemangle',['../CppUtil_8cpp.html#a3afb7512c76959754d6398b8f20012da',1,'CppUtil.cpp']]],
+  ['vtbllabelbeforedemangle_12164',['vtblLabelBeforeDemangle',['../LLVMUtil_8cpp.html#a211c0223a37893d84fb5e2fd2f9fc76b',1,'LLVMUtil.cpp']]],
+  ['vtbltotypemap_12165',['vtblToTypeMap',['../classSVF_1_1DCHGraph.html#af854a7f4aeb1b596a69fdad9a2adf87a',1,'SVF::DCHGraph']]],
+  ['vthdtocxt_12166',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
+  ['vthdtorthd_12167',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
+  ['vthunkfunclabel_12168',['VThunkFuncLabel',['../CppUtil_8cpp.html#a2aa14572bb011847c1e5920aae880bfa',1,'CppUtil.cpp']]],
+  ['vtinitmdname_12169',['vtInitMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a02b3f4190d325c921922c25e319dc8d9',1,'SVF::cppUtil::ctir']]],
+  ['vtmdname_12170',['vtMDName',['../namespaceSVF_1_1cppUtil_1_1ctir.html#aa4630844aa25aa4801659304a2552058',1,'SVF::cppUtil::ctir']]],
+  ['vworklist_12171',['vWorklist',['../classSVF_1_1VersionedFlowSensitive.html#adfefc0dfa4e7fb4d20fafeaf96a5fa67',1,'SVF::VersionedFlowSensitive']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['which_12174',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
-  ['wordit_12175',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['wordnumber_12176',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['words_12177',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
-  ['wordsize_12178',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist_12179',['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_12180',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
-  ['writeander_12181',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
-  ['writesvfg_12182',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]]
+  ['which_12172',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
+  ['wordit_12173',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['wordnumber_12174',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['words_12175',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
+  ['wordsize_12176',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
+  ['worklist_12177',['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_12178',['WPANum',['../classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9',1,'SVF::Options']]],
+  ['writeander_12179',['WriteAnder',['../classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9',1,'SVF::Options']]],
+  ['writesvfg_12180',['WriteSVFG',['../classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47',1,'SVF::Options']]]
 ];

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

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

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['ztilabel_12184',['ztiLabel',['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'CHGBuilder.cpp']]],
-  ['zval_12185',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
+  ['ztilabel_12182',['ztiLabel',['../CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450',1,'CHGBuilder.cpp']]],
+  ['zval_12183',['zval',['../classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587',1,'SVF::SVFConstantInt']]]
 ];

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

@@ -1,41 +1,41 @@
 var searchData=
 [
-  ['b_11084',['b',['../cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.h'],['../cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.cpp']]],
-  ['backicfgedges_11085',['backICFGEdges',['../classSVF_1_1SVFLoop.html#aed4400521f825802719ac97a18452230',1,'SVF::SVFLoop']]],
-  ['backwardslice_11086',['backwardSlice',['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()'],['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()']]],
-  ['backwardvisited_11087',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver']]],
-  ['base_11088',['base',['../classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5',1,'SVF::GepObjVar']]],
-  ['baseids_11089',['baseIds',['../classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54',1,'SVF::ConstraintNode']]],
-  ['basicblock_11090',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt']]],
-  ['bb_11091',['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_11092',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2pdomlevel_11093',['bb2PdomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bb2phisetmap_11094',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
-  ['bb2pidom_11095',['bb2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551',1,'SVF::SVFLoopAndDomInfo']]],
-  ['bbconds_11096',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
-  ['bbtocondmap_11097',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator']]],
-  ['begin_5fiterator_11098',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
-  ['bestcandidate_11099',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['bit_11100',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
-  ['bitnumber_11101',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['bits_11102',['Bits',['../structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526',1,'SVF::SparseBitVectorElement::Bits()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d',1,'SVF::SparseBitVector::SparseBitVectorIterator::Bits()']]],
-  ['bitvector_11103',['BitVector',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['blackholeobjectid_11104',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
-  ['blackholepointerid_11105',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
-  ['boolean_11106',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
-  ['branchcondval_11107',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
-  ['brconditions_11108',['brConditions',['../classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0',1,'SVF::CDGEdge']]],
-  ['briefconscgdotgraph_11109',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
-  ['brinst_11110',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
-  ['brstmt_11111',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
-  ['buffer_11112',['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_11113',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
-  ['bugeventstack_11114',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
-  ['bugset_11115',['bugSet',['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport']]],
-  ['bugtype_11116',['bugType',['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug']]],
-  ['bugtype2str_11117',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
-  ['buildingchgtime_11118',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
-  ['bv_11119',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo']]],
-  ['bvit_11120',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
-  ['bytesize_11121',['byteSize',['../classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6',1,'SVF::SVFType::byteSize()'],['../classSVF_1_1ObjTypeInfo.html#abe4d855db71b38e7fdd2fd73cca67814',1,'SVF::ObjTypeInfo::byteSize()']]]
+  ['b_11082',['b',['../cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.h'],['../cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c',1,'b(): cJSON.cpp']]],
+  ['backicfgedges_11083',['backICFGEdges',['../classSVF_1_1SVFLoop.html#aed4400521f825802719ac97a18452230',1,'SVF::SVFLoop']]],
+  ['backwardslice_11084',['backwardSlice',['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()'],['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()']]],
+  ['backwardvisited_11085',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver']]],
+  ['base_11086',['base',['../classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5',1,'SVF::GepObjVar']]],
+  ['baseids_11087',['baseIds',['../classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54',1,'SVF::ConstraintNode']]],
+  ['basicblock_11088',['basicBlock',['../classSVF_1_1SVFStmt.html#a8a2afa585fcbdcab375ddc04961a614f',1,'SVF::SVFStmt']]],
+  ['bb_11089',['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_11090',['bb2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#ad578beedd9a6b64a57f82d799e6b8fa7',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2pdomlevel_11091',['bb2PdomLevel',['../classSVF_1_1SVFLoopAndDomInfo.html#a80acecc52faf9609aeea7e49008f0e01',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bb2phisetmap_11092',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
+  ['bb2pidom_11093',['bb2PIdom',['../classSVF_1_1SVFLoopAndDomInfo.html#ab7bf163ebfd2c43d233c598ed2a25551',1,'SVF::SVFLoopAndDomInfo']]],
+  ['bbconds_11094',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
+  ['bbtocondmap_11095',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator']]],
+  ['begin_5fiterator_11096',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
+  ['bestcandidate_11097',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['bit_11098',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
+  ['bitnumber_11099',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['bits_11100',['Bits',['../structSVF_1_1SparseBitVectorElement.html#a4b6a06a3a19f2241cec68e09d4feb526',1,'SVF::SparseBitVectorElement::Bits()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#abc3768e05459a1d0a2d2220858a7a53d',1,'SVF::SparseBitVector::SparseBitVectorIterator::Bits()']]],
+  ['bitvector_11101',['BitVector',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['blackholeobjectid_11102',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
+  ['blackholepointerid_11103',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
+  ['boolean_11104',['boolean',['../cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.h'],['../cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38',1,'boolean(): cJSON.cpp']]],
+  ['branchcondval_11105',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
+  ['brconditions_11106',['brConditions',['../classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0',1,'SVF::CDGEdge']]],
+  ['briefconscgdotgraph_11107',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c',1,'SVF::Options']]],
+  ['brinst_11108',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
+  ['brstmt_11109',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],
+  ['buffer_11110',['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_11111',['buffer_length',['../cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.h'],['../cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354',1,'buffer_length(): cJSON.cpp']]],
+  ['bugeventstack_11112',['bugEventStack',['../classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490',1,'SVF::GenericBug']]],
+  ['bugset_11113',['bugSet',['../classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3',1,'SVF::SVFBugReport']]],
+  ['bugtype_11114',['bugType',['../classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51',1,'SVF::GenericBug']]],
+  ['bugtype2str_11115',['BugType2Str',['../classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3',1,'SVF::GenericBug']]],
+  ['buildingchgtime_11116',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
+  ['bv_11117',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo']]],
+  ['bvit_11118',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
+  ['bytesize_11119',['byteSize',['../classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6',1,'SVF::SVFType::byteSize()'],['../classSVF_1_1ObjTypeInfo.html#abe4d855db71b38e7fdd2fd73cca67814',1,'SVF::ObjTypeInfo::byteSize()']]]
 ];