svf-tools 1.0.798 → 1.0.800

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

@@ -1,39 +1,39 @@
 var searchData=
 [
-  ['call_12838',['Call',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00',1,'SVF::SVFStmt']]],
-  ['callcf_12839',['CallCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e',1,'SVF::ICFGEdge']]],
-  ['calldirvf_12840',['CallDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8383c27feab3f1acc67cacef9744c04a',1,'SVF::VFGEdge']]],
-  ['caller_12841',['Caller',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6',1,'SVF::SVFBugEvent']]],
-  ['callindvf_12842',['CallIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145',1,'SVF::VFGEdge']]],
-  ['callmssachi_12843',['CallMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4',1,'SVF::MSSADEF']]],
-  ['callmssamu_12844',['CallMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18',1,'SVF::MSSAMU']]],
-  ['callretedge_12845',['CallRetEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7aa968b68fb87a0135833105f4e6413c69',1,'SVF::PTACallGraphEdge']]],
-  ['callsite_12846',['CallSite',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629',1,'SVF::SVFBugEvent']]],
-  ['cbv_12847',['CBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923ea0397c2678894d1792fcd3432a7aa64fb',1,'SVF::PointsTo']]],
-  ['cflfici_5fwpa_12848',['CFLFICI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb',1,'SVF::PointerAnalysis']]],
-  ['cflfsci_5fwpa_12849',['CFLFSCI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85afbe666887476ce8620aca97a159921bc',1,'SVF::PointerAnalysis']]],
-  ['cflfscs_5fwpa_12850',['CFLFSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab87dcf990c05d31f91b9bfdfcfb54b7d',1,'SVF::PointerAnalysis']]],
-  ['circo_12851',['CIRCO',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674',1,'SVF::GraphProgram']]],
-  ['ck_5falloc_12852',['CK_ALLOC',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056acd7e3bca6e36e08205576482b1b0221e',1,'SVF::SaberCheckerAPI']]],
-  ['ck_5fdummy_12853',['CK_DUMMY',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a7e06261f283161194d11f4d27c417c45',1,'SVF::SaberCheckerAPI']]],
-  ['ck_5ffclose_12854',['CK_FCLOSE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a731dcaf32786abf31c43be180dd366cb',1,'SVF::SaberCheckerAPI']]],
-  ['ck_5ffopen_12855',['CK_FOPEN',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a75cc4daa228ceb26f63cb1825da8a73e',1,'SVF::SaberCheckerAPI']]],
-  ['ck_5ffree_12856',['CK_FREE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a0fa2e38d001b233c6563822491adf507',1,'SVF::SaberCheckerAPI']]],
-  ['cmp_12857',['Cmp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828',1,'SVF::VFGNode::Cmp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0',1,'SVF::SVFStmt::Cmp()']]],
-  ['concretek_12858',['ConcreteK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a9f76747494000cadf2e655a77f0e6ae5',1,'SVF::AbstractValue']]],
-  ['condimpl_12859',['CondImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da88380bb05f60a1349e192364ba6c5292',1,'SVF::PointerAnalysis']]],
-  ['conservative_12860',['Conservative',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7',1,'SVF::WPAPass']]],
-  ['const_5farray_5fobj_12861',['CONST_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aff4142c0c411dea07b484a19af514047',1,'SVF::ObjTypeInfo']]],
-  ['const_5fdata_12862',['CONST_DATA',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e',1,'SVF::ObjTypeInfo']]],
-  ['const_5fglobal_5fobj_12863',['CONST_GLOBAL_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c',1,'SVF::ObjTypeInfo']]],
-  ['const_5fstruct_5fobj_12864',['CONST_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd',1,'SVF::ObjTypeInfo']]],
-  ['constantobj_12865',['ConstantObj',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89baa3ecb7c51e2cba67d1f9a5284c2f215f',1,'SVF::SymbolTableInfo']]],
-  ['constructor_12866',['CONSTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22a331376f6d22d2346039db7a9c9a311c2',1,'SVF::CHGraph']]],
-  ['context_5fleak_12867',['CONTEXT_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356',1,'SVF::LeakChecker']]],
-  ['copy_12868',['Copy',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9',1,'SVF::ConstraintEdge::Copy()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b',1,'SVF::VFGNode::Copy()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da',1,'SVF::SVFStmt::Copy()']]],
-  ['cpu_12869',['CPU',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa',1,'SVF::SVFStat']]],
-  ['cscallstring_5fwpa_12870',['CSCallString_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac9e931f254fa3471f5f5337cbca1de09',1,'SVF::PointerAnalysis']]],
-  ['cssummary_5fwpa_12871',['CSSummary_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27',1,'SVF::PointerAnalysis']]],
-  ['cxt_5fdda_12872',['Cxt_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8',1,'SVF::PointerAnalysis']]],
-  ['cycle_12873',['Cycle',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96',1,'SVF::CFBasicBlockGWTOComp']]]
+  ['call_12840',['Call',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00',1,'SVF::SVFStmt']]],
+  ['callcf_12841',['CallCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e',1,'SVF::ICFGEdge']]],
+  ['calldirvf_12842',['CallDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8383c27feab3f1acc67cacef9744c04a',1,'SVF::VFGEdge']]],
+  ['caller_12843',['Caller',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6',1,'SVF::SVFBugEvent']]],
+  ['callindvf_12844',['CallIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145',1,'SVF::VFGEdge']]],
+  ['callmssachi_12845',['CallMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4',1,'SVF::MSSADEF']]],
+  ['callmssamu_12846',['CallMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18',1,'SVF::MSSAMU']]],
+  ['callretedge_12847',['CallRetEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7aa968b68fb87a0135833105f4e6413c69',1,'SVF::PTACallGraphEdge']]],
+  ['callsite_12848',['CallSite',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629',1,'SVF::SVFBugEvent']]],
+  ['cbv_12849',['CBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923ea0397c2678894d1792fcd3432a7aa64fb',1,'SVF::PointsTo']]],
+  ['cflfici_5fwpa_12850',['CFLFICI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb',1,'SVF::PointerAnalysis']]],
+  ['cflfsci_5fwpa_12851',['CFLFSCI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85afbe666887476ce8620aca97a159921bc',1,'SVF::PointerAnalysis']]],
+  ['cflfscs_5fwpa_12852',['CFLFSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab87dcf990c05d31f91b9bfdfcfb54b7d',1,'SVF::PointerAnalysis']]],
+  ['circo_12853',['CIRCO',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674',1,'SVF::GraphProgram']]],
+  ['ck_5falloc_12854',['CK_ALLOC',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056acd7e3bca6e36e08205576482b1b0221e',1,'SVF::SaberCheckerAPI']]],
+  ['ck_5fdummy_12855',['CK_DUMMY',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a7e06261f283161194d11f4d27c417c45',1,'SVF::SaberCheckerAPI']]],
+  ['ck_5ffclose_12856',['CK_FCLOSE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a731dcaf32786abf31c43be180dd366cb',1,'SVF::SaberCheckerAPI']]],
+  ['ck_5ffopen_12857',['CK_FOPEN',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a75cc4daa228ceb26f63cb1825da8a73e',1,'SVF::SaberCheckerAPI']]],
+  ['ck_5ffree_12858',['CK_FREE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a0fa2e38d001b233c6563822491adf507',1,'SVF::SaberCheckerAPI']]],
+  ['cmp_12859',['Cmp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828',1,'SVF::VFGNode::Cmp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0',1,'SVF::SVFStmt::Cmp()']]],
+  ['concretek_12860',['ConcreteK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a9f76747494000cadf2e655a77f0e6ae5',1,'SVF::AbstractValue']]],
+  ['condimpl_12861',['CondImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da88380bb05f60a1349e192364ba6c5292',1,'SVF::PointerAnalysis']]],
+  ['conservative_12862',['Conservative',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7',1,'SVF::WPAPass']]],
+  ['const_5farray_5fobj_12863',['CONST_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aff4142c0c411dea07b484a19af514047',1,'SVF::ObjTypeInfo']]],
+  ['const_5fdata_12864',['CONST_DATA',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e',1,'SVF::ObjTypeInfo']]],
+  ['const_5fglobal_5fobj_12865',['CONST_GLOBAL_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c',1,'SVF::ObjTypeInfo']]],
+  ['const_5fstruct_5fobj_12866',['CONST_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd',1,'SVF::ObjTypeInfo']]],
+  ['constantobj_12867',['ConstantObj',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89baa3ecb7c51e2cba67d1f9a5284c2f215f',1,'SVF::SymbolTableInfo']]],
+  ['constructor_12868',['CONSTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22a331376f6d22d2346039db7a9c9a311c2',1,'SVF::CHGraph']]],
+  ['context_5fleak_12869',['CONTEXT_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356',1,'SVF::LeakChecker']]],
+  ['copy_12870',['Copy',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9',1,'SVF::ConstraintEdge::Copy()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b',1,'SVF::VFGNode::Copy()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da',1,'SVF::SVFStmt::Copy()']]],
+  ['cpu_12871',['CPU',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa',1,'SVF::SVFStat']]],
+  ['cscallstring_5fwpa_12872',['CSCallString_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac9e931f254fa3471f5f5337cbca1de09',1,'SVF::PointerAnalysis']]],
+  ['cssummary_5fwpa_12873',['CSSummary_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27',1,'SVF::PointerAnalysis']]],
+  ['cxt_5fdda_12874',['Cxt_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8',1,'SVF::PointerAnalysis']]],
+  ['cycle_12875',['Cycle',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96',1,'SVF::CFBasicBlockGWTOComp']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['dataflow_12874',['DataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc',1,'SVF::PTData']]],
-  ['dbug_12875',['DBUG',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a36e359346b349ead71f7ab095b0865af',1,'SVF::NodeIDAllocator']]],
-  ['default_5fpta_12876',['Default_PTA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790',1,'SVF::PointerAnalysis']]],
-  ['dense_12877',['DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a9df17b1222681bba5e649895deb726f0',1,'SVF::NodeIDAllocator']]],
-  ['destructor_12878',['DESTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7',1,'SVF::CHGraph']]],
-  ['di_12879',['DI',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506',1,'SVF::CommonCHGraph']]],
-  ['diff_12880',['Diff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447',1,'SVF::PTData']]],
-  ['distinct_12881',['Distinct',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a9da5f4ad2a43befdbc4be319bffc80ea',1,'SVF::MemSSA']]],
-  ['dot_12882',['DOT',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c',1,'SVF::GraphProgram']]],
-  ['doublefree_12883',['DOUBLEFREE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4',1,'SVF::GenericBug']]],
-  ['dummyobjnode_12884',['DummyObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af',1,'SVF::SVFVar']]],
-  ['dummyvalnode_12885',['DummyValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8',1,'SVF::SVFVar']]],
-  ['dummyvprop_12886',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]]
+  ['dataflow_12876',['DataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc',1,'SVF::PTData']]],
+  ['dbug_12877',['DBUG',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a36e359346b349ead71f7ab095b0865af',1,'SVF::NodeIDAllocator']]],
+  ['default_5fpta_12878',['Default_PTA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790',1,'SVF::PointerAnalysis']]],
+  ['dense_12879',['DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a9df17b1222681bba5e649895deb726f0',1,'SVF::NodeIDAllocator']]],
+  ['destructor_12880',['DESTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7',1,'SVF::CHGraph']]],
+  ['di_12881',['DI',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506',1,'SVF::CommonCHGraph']]],
+  ['diff_12882',['Diff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447',1,'SVF::PTData']]],
+  ['distinct_12883',['Distinct',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a9da5f4ad2a43befdbc4be319bffc80ea',1,'SVF::MemSSA']]],
+  ['dot_12884',['DOT',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c',1,'SVF::GraphProgram']]],
+  ['doublefree_12885',['DOUBLEFREE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4',1,'SVF::GenericBug']]],
+  ['dummyobjnode_12886',['DummyObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af',1,'SVF::SVFVar']]],
+  ['dummyvalnode_12887',['DummyValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8',1,'SVF::SVFVar']]],
+  ['dummyvprop_12888',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['empty_12887',['Empty',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c',1,'SVF::LockAnalysis::Empty()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f',1,'SVF::ForkJoinAnalysis::Empty()']]],
-  ['entrymssachi_12888',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]]
+  ['empty_12889',['Empty',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c',1,'SVF::LockAnalysis::Empty()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f',1,'SVF::ForkJoinAnalysis::Empty()']]],
+  ['entrymssachi_12890',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]]
 ];

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

@@ -1,50 +1,50 @@
 var searchData=
 [
-  ['fadd_12889',['FAdd',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e',1,'SVF::BinaryOPStmt']]],
-  ['fcmp_5ffalse_12890',['FCMP_FALSE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06',1,'SVF::CmpStmt']]],
-  ['fcmp_5foeq_12891',['FCMP_OEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee',1,'SVF::CmpStmt']]],
-  ['fcmp_5foge_12892',['FCMP_OGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c',1,'SVF::CmpStmt']]],
-  ['fcmp_5fogt_12893',['FCMP_OGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486',1,'SVF::CmpStmt']]],
-  ['fcmp_5fole_12894',['FCMP_OLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d',1,'SVF::CmpStmt']]],
-  ['fcmp_5folt_12895',['FCMP_OLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa',1,'SVF::CmpStmt']]],
-  ['fcmp_5fone_12896',['FCMP_ONE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193',1,'SVF::CmpStmt']]],
-  ['fcmp_5ford_12897',['FCMP_ORD',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44',1,'SVF::CmpStmt']]],
-  ['fcmp_5ftrue_12898',['FCMP_TRUE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7',1,'SVF::CmpStmt']]],
-  ['fcmp_5fueq_12899',['FCMP_UEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021',1,'SVF::CmpStmt']]],
-  ['fcmp_5fuge_12900',['FCMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da',1,'SVF::CmpStmt']]],
-  ['fcmp_5fugt_12901',['FCMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c',1,'SVF::CmpStmt']]],
-  ['fcmp_5fule_12902',['FCMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb',1,'SVF::CmpStmt']]],
-  ['fcmp_5fult_12903',['FCMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d',1,'SVF::CmpStmt']]],
-  ['fcmp_5fune_12904',['FCMP_UNE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09',1,'SVF::CmpStmt']]],
-  ['fcmp_5funo_12905',['FCMP_UNO',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69',1,'SVF::CmpStmt']]],
-  ['fdiv_12906',['FDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567',1,'SVF::BinaryOPStmt']]],
-  ['fdp_12907',['FDP',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9',1,'SVF::GraphProgram']]],
-  ['fields_5fdda_12908',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
-  ['fileneverclose_12909',['FILENEVERCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc',1,'SVF::GenericBug']]],
-  ['filepartialclose_12910',['FILEPARTIALCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4',1,'SVF::GenericBug']]],
-  ['fiobjnode_12911',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
-  ['first_5ffcmp_5fpredicate_12912',['FIRST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85',1,'SVF::CmpStmt']]],
-  ['first_5ffield_12913',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],
-  ['first_5ficmp_5fpredicate_12914',['FIRST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b',1,'SVF::CmpStmt']]],
-  ['flows_5fdda_12915',['FlowS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18',1,'SVF::PointerAnalysis']]],
-  ['fmul_12916',['FMul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198',1,'SVF::BinaryOPStmt']]],
-  ['fneg_12917',['FNeg',['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8',1,'SVF::UnaryOPStmt']]],
-  ['fparm_12918',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
-  ['fpin_12919',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
-  ['fpout_12920',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
-  ['frem_12921',['FRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6',1,'SVF::BinaryOPStmt']]],
-  ['fret_12922',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
-  ['fscs_5fwpa_12923',['FSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82',1,'SVF::PointerAnalysis']]],
-  ['fsdataflow_5fwpa_12924',['FSDATAFLOW_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322',1,'SVF::PointerAnalysis']]],
-  ['fssparse_5fwpa_12925',['FSSPARSE_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78',1,'SVF::PointerAnalysis']]],
-  ['fsub_12926',['FSub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448',1,'SVF::BinaryOPStmt']]],
-  ['fullbufoverflow_12927',['FULLBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747',1,'SVF::GenericBug']]],
-  ['fullnullptrdereference_12928',['FULLNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7',1,'SVF::GenericBug']]],
-  ['fullsvfg_12929',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
-  ['fullsvfg_5fopt_12930',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
-  ['funcallblock_12931',['FunCallBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800',1,'SVF::ICFGNode']]],
-  ['function_5fobj_12932',['FUNCTION_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515',1,'SVF::ObjTypeInfo']]],
-  ['funentryblock_12933',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
-  ['funexitblock_12934',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
-  ['funretblock_12935',['FunRetBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921',1,'SVF::ICFGNode']]]
+  ['fadd_12891',['FAdd',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e',1,'SVF::BinaryOPStmt']]],
+  ['fcmp_5ffalse_12892',['FCMP_FALSE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06',1,'SVF::CmpStmt']]],
+  ['fcmp_5foeq_12893',['FCMP_OEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee',1,'SVF::CmpStmt']]],
+  ['fcmp_5foge_12894',['FCMP_OGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c',1,'SVF::CmpStmt']]],
+  ['fcmp_5fogt_12895',['FCMP_OGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486',1,'SVF::CmpStmt']]],
+  ['fcmp_5fole_12896',['FCMP_OLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d',1,'SVF::CmpStmt']]],
+  ['fcmp_5folt_12897',['FCMP_OLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa',1,'SVF::CmpStmt']]],
+  ['fcmp_5fone_12898',['FCMP_ONE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193',1,'SVF::CmpStmt']]],
+  ['fcmp_5ford_12899',['FCMP_ORD',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44',1,'SVF::CmpStmt']]],
+  ['fcmp_5ftrue_12900',['FCMP_TRUE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7',1,'SVF::CmpStmt']]],
+  ['fcmp_5fueq_12901',['FCMP_UEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021',1,'SVF::CmpStmt']]],
+  ['fcmp_5fuge_12902',['FCMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da',1,'SVF::CmpStmt']]],
+  ['fcmp_5fugt_12903',['FCMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c',1,'SVF::CmpStmt']]],
+  ['fcmp_5fule_12904',['FCMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb',1,'SVF::CmpStmt']]],
+  ['fcmp_5fult_12905',['FCMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d',1,'SVF::CmpStmt']]],
+  ['fcmp_5fune_12906',['FCMP_UNE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09',1,'SVF::CmpStmt']]],
+  ['fcmp_5funo_12907',['FCMP_UNO',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69',1,'SVF::CmpStmt']]],
+  ['fdiv_12908',['FDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567',1,'SVF::BinaryOPStmt']]],
+  ['fdp_12909',['FDP',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9',1,'SVF::GraphProgram']]],
+  ['fields_5fdda_12910',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
+  ['fileneverclose_12911',['FILENEVERCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc',1,'SVF::GenericBug']]],
+  ['filepartialclose_12912',['FILEPARTIALCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4',1,'SVF::GenericBug']]],
+  ['fiobjnode_12913',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
+  ['first_5ffcmp_5fpredicate_12914',['FIRST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85',1,'SVF::CmpStmt']]],
+  ['first_5ffield_12915',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],
+  ['first_5ficmp_5fpredicate_12916',['FIRST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b',1,'SVF::CmpStmt']]],
+  ['flows_5fdda_12917',['FlowS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18',1,'SVF::PointerAnalysis']]],
+  ['fmul_12918',['FMul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198',1,'SVF::BinaryOPStmt']]],
+  ['fneg_12919',['FNeg',['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8',1,'SVF::UnaryOPStmt']]],
+  ['fparm_12920',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
+  ['fpin_12921',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
+  ['fpout_12922',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
+  ['frem_12923',['FRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6',1,'SVF::BinaryOPStmt']]],
+  ['fret_12924',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
+  ['fscs_5fwpa_12925',['FSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82',1,'SVF::PointerAnalysis']]],
+  ['fsdataflow_5fwpa_12926',['FSDATAFLOW_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322',1,'SVF::PointerAnalysis']]],
+  ['fssparse_5fwpa_12927',['FSSPARSE_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78',1,'SVF::PointerAnalysis']]],
+  ['fsub_12928',['FSub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448',1,'SVF::BinaryOPStmt']]],
+  ['fullbufoverflow_12929',['FULLBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747',1,'SVF::GenericBug']]],
+  ['fullnullptrdereference_12930',['FULLNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7',1,'SVF::GenericBug']]],
+  ['fullsvfg_12931',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
+  ['fullsvfg_5fopt_12932',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
+  ['funcallblock_12933',['FunCallBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800',1,'SVF::ICFGNode']]],
+  ['function_5fobj_12934',['FUNCTION_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515',1,'SVF::ObjTypeInfo']]],
+  ['funentryblock_12935',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
+  ['funexitblock_12936',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
+  ['funretblock_12937',['FunRetBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921',1,'SVF::ICFGNode']]]
 ];

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

@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['gep_12936',['Gep',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7',1,'SVF::VFGNode::Gep()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8',1,'SVF::SVFStmt::Gep()']]],
-  ['gepobjnode_12937',['GepObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f',1,'SVF::SVFVar']]],
-  ['gepvalnode_12938',['GepValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a',1,'SVF::SVFVar']]],
-  ['global_5fleak_12939',['GLOBAL_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1',1,'SVF::LeakChecker']]],
-  ['globalblock_12940',['GlobalBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648',1,'SVF::ICFGNode']]],
-  ['globvar_5fobj_12941',['GLOBVAR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b',1,'SVF::ObjTypeInfo']]]
+  ['gep_12938',['Gep',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7',1,'SVF::VFGNode::Gep()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8',1,'SVF::SVFStmt::Gep()']]],
+  ['gepobjnode_12939',['GepObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f',1,'SVF::SVFVar']]],
+  ['gepvalnode_12940',['GepValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a',1,'SVF::SVFVar']]],
+  ['global_5fleak_12941',['GLOBAL_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1',1,'SVF::LeakChecker']]],
+  ['globalblock_12942',['GlobalBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648',1,'SVF::ICFGNode']]],
+  ['globvar_5fobj_12943',['GLOBVAR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b',1,'SVF::ObjTypeInfo']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['hare_5fpar_5ffor_12942',['HARE_PAR_FOR',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4690967fd6d32fb82c5de637846a3476',1,'SVF::ThreadAPI']]],
-  ['hareparforedge_12943',['HareParForEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838',1,'SVF::PTACallGraphEdge']]],
-  ['hasptr_5fobj_12944',['HASPTR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9',1,'SVF::ObjTypeInfo']]],
-  ['hclust_5fmethod_5faverage_12945',['HCLUST_METHOD_AVERAGE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fcomplete_12946',['HCLUST_METHOD_COMPLETE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fmedian_12947',['HCLUST_METHOD_MEDIAN',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fsingle_12948',['HCLUST_METHOD_SINGLE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fsvf_5fbest_12949',['HCLUST_METHOD_SVF_BEST',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618',1,'fastcluster.h']]],
-  ['heap_5fobj_12950',['HEAP_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c',1,'SVF::ObjTypeInfo']]]
+  ['hare_5fpar_5ffor_12944',['HARE_PAR_FOR',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4690967fd6d32fb82c5de637846a3476',1,'SVF::ThreadAPI']]],
+  ['hareparforedge_12945',['HareParForEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838',1,'SVF::PTACallGraphEdge']]],
+  ['hasptr_5fobj_12946',['HASPTR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9',1,'SVF::ObjTypeInfo']]],
+  ['hclust_5fmethod_5faverage_12947',['HCLUST_METHOD_AVERAGE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fcomplete_12948',['HCLUST_METHOD_COMPLETE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fmedian_12949',['HCLUST_METHOD_MEDIAN',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fsingle_12950',['HCLUST_METHOD_SINGLE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fsvf_5fbest_12951',['HCLUST_METHOD_SVF_BEST',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618',1,'fastcluster.h']]],
+  ['heap_5fobj_12952',['HEAP_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c',1,'SVF::ObjTypeInfo']]]
 ];

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

@@ -1,26 +1,26 @@
 var searchData=
 [
-  ['icmp_5feq_12951',['ICMP_EQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936',1,'SVF::CmpStmt']]],
-  ['icmp_5fne_12952',['ICMP_NE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f',1,'SVF::CmpStmt']]],
-  ['icmp_5fsge_12953',['ICMP_SGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80',1,'SVF::CmpStmt']]],
-  ['icmp_5fsgt_12954',['ICMP_SGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee',1,'SVF::CmpStmt']]],
-  ['icmp_5fsle_12955',['ICMP_SLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6',1,'SVF::CmpStmt']]],
-  ['icmp_5fslt_12956',['ICMP_SLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927',1,'SVF::CmpStmt']]],
-  ['icmp_5fuge_12957',['ICMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128',1,'SVF::CmpStmt']]],
-  ['icmp_5fugt_12958',['ICMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48',1,'SVF::CmpStmt']]],
-  ['icmp_5fule_12959',['ICMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f',1,'SVF::CmpStmt']]],
-  ['icmp_5fult_12960',['ICMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d',1,'SVF::CmpStmt']]],
-  ['in_12961',['IN',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ad0b57a5d90c72b67337a68c04ae34739',1,'SVF::FlowSensitiveStat']]],
-  ['inheritance_12962',['INHERITANCE',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada9c05805c60fe04033bd9815968059e90',1,'SVF::DCHEdge::INHERITANCE()'],['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a78df5157ac61c49a724af5aa03d36d0c',1,'SVF::CHEdge::INHERITANCE()']]],
-  ['instance_12963',['INSTANCE',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
-  ['instantce_12964',['INSTANTCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a8721eaefd547d6ba5229463d644815f4',1,'SVF::CHEdge']]],
-  ['interdisjoint_12965',['InterDisjoint',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a549b5589ecfbe073623091605785fc03',1,'SVF::MemSSA']]],
-  ['intervalk_12966',['IntervalK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a',1,'SVF::AbstractValue::IntervalK()'],['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351',1,'SVF::ExeState::IntervalK()']]],
-  ['intrablock_12967',['IntraBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a0df20ce0cced8193d3f194ee5985c8c4',1,'SVF::ICFGNode']]],
-  ['intracf_12968',['IntraCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b',1,'SVF::ICFGEdge']]],
-  ['intradirectvf_12969',['IntraDirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a08201e6cbff4817e44568747a966b71d',1,'SVF::VFGEdge']]],
-  ['intradisjoint_12970',['IntraDisjoint',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671ac9388cc44f91bd9a00666c0d69b32ef1',1,'SVF::MemSSA']]],
-  ['intraindirectvf_12971',['IntraIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0',1,'SVF::VFGEdge']]],
-  ['isbidirectional_12972',['IsBidirectional',['../classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409',1,'SVF::iter_facade_base']]],
-  ['israndomaccess_12973',['IsRandomAccess',['../classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8',1,'SVF::iter_facade_base']]]
+  ['icmp_5feq_12953',['ICMP_EQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936',1,'SVF::CmpStmt']]],
+  ['icmp_5fne_12954',['ICMP_NE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f',1,'SVF::CmpStmt']]],
+  ['icmp_5fsge_12955',['ICMP_SGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80',1,'SVF::CmpStmt']]],
+  ['icmp_5fsgt_12956',['ICMP_SGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee',1,'SVF::CmpStmt']]],
+  ['icmp_5fsle_12957',['ICMP_SLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6',1,'SVF::CmpStmt']]],
+  ['icmp_5fslt_12958',['ICMP_SLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927',1,'SVF::CmpStmt']]],
+  ['icmp_5fuge_12959',['ICMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128',1,'SVF::CmpStmt']]],
+  ['icmp_5fugt_12960',['ICMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48',1,'SVF::CmpStmt']]],
+  ['icmp_5fule_12961',['ICMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f',1,'SVF::CmpStmt']]],
+  ['icmp_5fult_12962',['ICMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d',1,'SVF::CmpStmt']]],
+  ['in_12963',['IN',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ad0b57a5d90c72b67337a68c04ae34739',1,'SVF::FlowSensitiveStat']]],
+  ['inheritance_12964',['INHERITANCE',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada9c05805c60fe04033bd9815968059e90',1,'SVF::DCHEdge::INHERITANCE()'],['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a78df5157ac61c49a724af5aa03d36d0c',1,'SVF::CHEdge::INHERITANCE()']]],
+  ['instance_12965',['INSTANCE',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
+  ['instantce_12966',['INSTANTCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a8721eaefd547d6ba5229463d644815f4',1,'SVF::CHEdge']]],
+  ['interdisjoint_12967',['InterDisjoint',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a549b5589ecfbe073623091605785fc03',1,'SVF::MemSSA']]],
+  ['intervalk_12968',['IntervalK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a',1,'SVF::AbstractValue::IntervalK()'],['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351',1,'SVF::ExeState::IntervalK()']]],
+  ['intrablock_12969',['IntraBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a0df20ce0cced8193d3f194ee5985c8c4',1,'SVF::ICFGNode']]],
+  ['intracf_12970',['IntraCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b',1,'SVF::ICFGEdge']]],
+  ['intradirectvf_12971',['IntraDirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a08201e6cbff4817e44568747a966b71d',1,'SVF::VFGEdge']]],
+  ['intradisjoint_12972',['IntraDisjoint',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671ac9388cc44f91bd9a00666c0d69b32ef1',1,'SVF::MemSSA']]],
+  ['intraindirectvf_12973',['IntraIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0',1,'SVF::VFGEdge']]],
+  ['isbidirectional_12974',['IsBidirectional',['../classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409',1,'SVF::iter_facade_base']]],
+  ['israndomaccess_12975',['IsRandomAccess',['../classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8',1,'SVF::iter_facade_base']]]
 ];

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

@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['last_5ffcmp_5fpredicate_12974',['LAST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69',1,'SVF::CmpStmt']]],
-  ['last_5ficmp_5fpredicate_12975',['LAST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e',1,'SVF::CmpStmt']]],
-  ['load_12976',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
-  ['loadmssamu_12977',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
-  ['loop_12978',['Loop',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7',1,'SVF::SVFBugEvent']]],
-  ['lshr_12979',['LShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1',1,'SVF::BinaryOPStmt']]]
+  ['last_5ffcmp_5fpredicate_12976',['LAST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acae866bc681596d85b9aba876256ad0e69',1,'SVF::CmpStmt']]],
+  ['last_5ficmp_5fpredicate_12977',['LAST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabda313a5aed435375e5168c2b621247e',1,'SVF::CmpStmt']]],
+  ['load_12978',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
+  ['loadmssamu_12979',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
+  ['loop_12980',['Loop',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7',1,'SVF::SVFBugEvent']]],
+  ['lshr_12981',['LShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1',1,'SVF::BinaryOPStmt']]]
 ];

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

@@ -1,18 +1,18 @@
 var searchData=
 [
-  ['mayalias_12980',['MayAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f',1,'SVF']]],
-  ['minterphi_12981',['MInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8',1,'SVF::VFGNode']]],
-  ['mintraphi_12982',['MIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18',1,'SVF::VFGNode']]],
-  ['mod_12983',['Mod',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0',1,'SVF']]],
-  ['modref_12984',['ModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30',1,'SVF']]],
-  ['mphi_12985',['MPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014',1,'SVF::VFGNode']]],
-  ['mul_12986',['Mul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a',1,'SVF::BinaryOPStmt']]],
-  ['multi_5finheritance_12987',['MULTI_INHERITANCE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc',1,'SVF::DCHNode::MULTI_INHERITANCE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5',1,'SVF::CHNode::MULTI_INHERITANCE()']]],
-  ['mustalias_12988',['MustAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2',1,'SVF']]],
-  ['mutable_12989',['Mutable',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e',1,'SVF::BVDataPTAImpl']]],
-  ['mutbase_12990',['MutBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a47a2413878b6ed98b42b9ae10e839072',1,'SVF::PTData']]],
-  ['mutdataflow_12991',['MutDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62',1,'SVF::PTData']]],
-  ['mutdiff_12992',['MutDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ac17ed6fa5de5a3f67108692b103a4c87',1,'SVF::PTData']]],
-  ['mutincdataflow_12993',['MutIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c',1,'SVF::PTData']]],
-  ['mutversioned_12994',['MutVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aac925590471ccb9c851698b232fdd3a5',1,'SVF::PTData']]]
+  ['mayalias_12982',['MayAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f',1,'SVF']]],
+  ['minterphi_12983',['MInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8',1,'SVF::VFGNode']]],
+  ['mintraphi_12984',['MIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18',1,'SVF::VFGNode']]],
+  ['mod_12985',['Mod',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0',1,'SVF']]],
+  ['modref_12986',['ModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30',1,'SVF']]],
+  ['mphi_12987',['MPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014',1,'SVF::VFGNode']]],
+  ['mul_12988',['Mul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a',1,'SVF::BinaryOPStmt']]],
+  ['multi_5finheritance_12989',['MULTI_INHERITANCE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc',1,'SVF::DCHNode::MULTI_INHERITANCE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5',1,'SVF::CHNode::MULTI_INHERITANCE()']]],
+  ['mustalias_12990',['MustAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2',1,'SVF']]],
+  ['mutable_12991',['Mutable',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e',1,'SVF::BVDataPTAImpl']]],
+  ['mutbase_12992',['MutBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a47a2413878b6ed98b42b9ae10e839072',1,'SVF::PTData']]],
+  ['mutdataflow_12993',['MutDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62',1,'SVF::PTData']]],
+  ['mutdiff_12994',['MutDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ac17ed6fa5de5a3f67108692b103a4c87',1,'SVF::PTData']]],
+  ['mutincdataflow_12995',['MutIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c',1,'SVF::PTData']]],
+  ['mutversioned_12996',['MutVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aac925590471ccb9c851698b232fdd3a5',1,'SVF::PTData']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['neato_12995',['NEATO',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c',1,'SVF::GraphProgram']]],
-  ['never_5ffree_5fleak_12996',['NEVER_FREE_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d',1,'SVF::LeakChecker']]],
-  ['neverfree_12997',['NEVERFREE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1',1,'SVF::GenericBug']]],
-  ['noalias_12998',['NoAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239',1,'SVF']]],
-  ['node_12999',['Node',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aaf4f363db1d83aea6168413b9530b392',1,'SVF::CFBasicBlockGWTOComp']]],
-  ['nomodref_13000',['NoModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f',1,'SVF']]],
-  ['nonoverlap_13001',['NonOverlap',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245acb3c4a3f685068e391025eb01ebf061d',1,'SVF::AccessPath']]],
-  ['normalgep_13002',['NormalGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa',1,'SVF::ConstraintEdge']]],
-  ['normcallgraph_13003',['NormCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca6bbe72ac881caacbded694492df5417c',1,'SVF::PTACallGraph']]],
-  ['nptr_13004',['NPtr',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff',1,'SVF::VFGNode']]],
-  ['nullptr_13005',['NullPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba1e6cc9ef0abd047b183382f2681cd4c1',1,'SVF::SymbolTableInfo']]]
+  ['neato_12997',['NEATO',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c',1,'SVF::GraphProgram']]],
+  ['never_5ffree_5fleak_12998',['NEVER_FREE_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d',1,'SVF::LeakChecker']]],
+  ['neverfree_12999',['NEVERFREE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1',1,'SVF::GenericBug']]],
+  ['noalias_13000',['NoAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239',1,'SVF']]],
+  ['node_13001',['Node',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aaf4f363db1d83aea6168413b9530b392',1,'SVF::CFBasicBlockGWTOComp']]],
+  ['nomodref_13002',['NoModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f',1,'SVF']]],
+  ['nonoverlap_13003',['NonOverlap',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245acb3c4a3f685068e391025eb01ebf061d',1,'SVF::AccessPath']]],
+  ['normalgep_13004',['NormalGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa',1,'SVF::ConstraintEdge']]],
+  ['normcallgraph_13005',['NormCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca6bbe72ac881caacbded694492df5417c',1,'SVF::PTACallGraph']]],
+  ['nptr_13006',['NPtr',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff',1,'SVF::VFGNode']]],
+  ['nullptr_13007',['NullPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba1e6cc9ef0abd047b183382f2681cd4c1',1,'SVF::SymbolTableInfo']]]
 ];

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

@@ -1,8 +1,8 @@
 var searchData=
 [
-  ['objnode_13006',['ObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11',1,'SVF::SVFVar']]],
-  ['objsymbol_13007',['ObjSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba58703da9c0d4819869447b6a25dcff00',1,'SVF::SymbolTableInfo']]],
-  ['or_13008',['Or',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe',1,'SVF::BinaryOPStmt']]],
-  ['out_13009',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat']]],
-  ['overlap_13010',['Overlap',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a',1,'SVF::AccessPath']]]
+  ['objnode_13008',['ObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11',1,'SVF::SVFVar']]],
+  ['objsymbol_13009',['ObjSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba58703da9c0d4819869447b6a25dcff00',1,'SVF::SymbolTableInfo']]],
+  ['or_13010',['Or',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe',1,'SVF::BinaryOPStmt']]],
+  ['out_13011',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat']]],
+  ['overlap_13012',['Overlap',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a',1,'SVF::AccessPath']]]
 ];

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

@@ -1,21 +1,21 @@
 var searchData=
 [
-  ['partialalias_13011',['PartialAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6',1,'SVF']]],
-  ['partialbufoverflow_13012',['PARTIALBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2',1,'SVF::GenericBug']]],
-  ['partialleak_13013',['PARTIALLEAK',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402',1,'SVF::GenericBug']]],
-  ['partialnullptrdereference_13014',['PARTIALNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64',1,'SVF::GenericBug']]],
-  ['path_5fleak_13015',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
-  ['paths_5fdda_13016',['PathS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acaf0c0774025005647deaf59582b9d58',1,'SVF::PointerAnalysis']]],
-  ['persbase_13017',['PersBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a7873d1da786c9ec286266e58504f13b5',1,'SVF::PTData']]],
-  ['persdataflow_13018',['PersDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848af7d68d3c87acd1e3169c09fbf855fd1f',1,'SVF::PTData']]],
-  ['persdiff_13019',['PersDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ada752eff76493c0121473ac4c18c9b03',1,'SVF::PTData']]],
-  ['persincdataflow_13020',['PersIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a',1,'SVF::PTData']]],
-  ['persistent_13021',['Persistent',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aaeda0ee502cc42a07c64c6f09296b6640',1,'SVF::BVDataPTAImpl']]],
-  ['persversioned_13022',['PersVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a15e53fc2443dac125c703ccd7eef1a03',1,'SVF::PTData']]],
-  ['phi_13023',['Phi',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt']]],
-  ['plain_13024',['plain',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e',1,'SVF']]],
-  ['precise_13025',['Precise',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c',1,'SVF::WPAPass']]],
-  ['ptronlysvfg_13026',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
-  ['ptronlysvfg_5fopt_13027',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
-  ['pure_5fabstract_13028',['PURE_ABSTRACT',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73',1,'SVF::DCHNode::PURE_ABSTRACT()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81',1,'SVF::CHNode::PURE_ABSTRACT()']]]
+  ['partialalias_13013',['PartialAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6',1,'SVF']]],
+  ['partialbufoverflow_13014',['PARTIALBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2',1,'SVF::GenericBug']]],
+  ['partialleak_13015',['PARTIALLEAK',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402',1,'SVF::GenericBug']]],
+  ['partialnullptrdereference_13016',['PARTIALNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64',1,'SVF::GenericBug']]],
+  ['path_5fleak_13017',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
+  ['paths_5fdda_13018',['PathS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acaf0c0774025005647deaf59582b9d58',1,'SVF::PointerAnalysis']]],
+  ['persbase_13019',['PersBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a7873d1da786c9ec286266e58504f13b5',1,'SVF::PTData']]],
+  ['persdataflow_13020',['PersDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848af7d68d3c87acd1e3169c09fbf855fd1f',1,'SVF::PTData']]],
+  ['persdiff_13021',['PersDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ada752eff76493c0121473ac4c18c9b03',1,'SVF::PTData']]],
+  ['persincdataflow_13022',['PersIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a',1,'SVF::PTData']]],
+  ['persistent_13023',['Persistent',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aaeda0ee502cc42a07c64c6f09296b6640',1,'SVF::BVDataPTAImpl']]],
+  ['persversioned_13024',['PersVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a15e53fc2443dac125c703ccd7eef1a03',1,'SVF::PTData']]],
+  ['phi_13025',['Phi',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt']]],
+  ['plain_13026',['plain',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e',1,'SVF']]],
+  ['precise_13027',['Precise',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c',1,'SVF::WPAPass']]],
+  ['ptronlysvfg_13028',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
+  ['ptronlysvfg_5fopt_13029',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
+  ['pure_5fabstract_13030',['PURE_ABSTRACT',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73',1,'SVF::DCHNode::PURE_ABSTRACT()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81',1,'SVF::CHNode::PURE_ABSTRACT()']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['ref_13029',['Ref',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76',1,'SVF']]],
-  ['ret_13030',['Ret',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af',1,'SVF::SVFStmt']]],
-  ['retcf_13031',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
-  ['retdirvf_13032',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
-  ['retindvf_13033',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
-  ['retmssamu_13034',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
-  ['retnode_13035',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
-  ['retsymbol_13036',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
-  ['reverse_5fdense_13037',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]]
+  ['ref_13031',['Ref',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76',1,'SVF']]],
+  ['ret_13032',['Ret',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af',1,'SVF::SVFStmt']]],
+  ['retcf_13033',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
+  ['retdirvf_13034',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
+  ['retindvf_13035',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
+  ['retmssamu_13036',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
+  ['retnode_13037',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
+  ['retsymbol_13038',['RetSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35',1,'SVF::SymbolTableInfo']]],
+  ['reverse_5fdense_13039',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]]
 ];