svf-tools 1.0.799 → 1.0.800

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

@@ -1,48 +1,48 @@
 var searchData=
 [
-  ['same_13038',['Same',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a',1,'SVF::AccessPath']]],
-  ['sbv_13039',['SBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a',1,'SVF::PointsTo']]],
-  ['scalar_13040',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
-  ['sdiv_13041',['SDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552',1,'SVF::BinaryOPStmt']]],
-  ['select_13042',['Select',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa',1,'SVF::SVFStmt']]],
-  ['seq_13043',['SEQ',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a85142db6ed24203f054117f3a5110e2f',1,'SVF::NodeIDAllocator']]],
-  ['shl_13044',['Shl',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b',1,'SVF::BinaryOPStmt']]],
-  ['singlevaluek_13045',['SingleValueK',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e',1,'SVF::ExeState']]],
-  ['sourceinst_13046',['SourceInst',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999',1,'SVF::SVFBugEvent']]],
-  ['srem_13047',['SRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448',1,'SVF::BinaryOPStmt']]],
-  ['ssachi_13048',['SSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18aeebaf47309ac06cd04ae69979f4c2580',1,'SVF::MSSADEF']]],
-  ['ssaphi_13049',['SSAPHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736',1,'SVF::MSSADEF']]],
-  ['stack_5fobj_13050',['STACK_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aad918042d1f04a5e3960817d55ccb5d5',1,'SVF::ObjTypeInfo']]],
-  ['standard_13051',['Standard',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8afa3f4c3017fb95011bfdc11b147eae0c',1,'SVF::CommonCHGraph']]],
-  ['static_5fobj_13052',['STATIC_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a4e7606afe2dabdef9c9836ae798a9d98',1,'SVF::ObjTypeInfo']]],
-  ['std_5fdef_13053',['STD_DEF',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada8b07351616a1798fa34ec3828f485ebb',1,'SVF::DCHEdge']]],
-  ['steensgaard_5fwpa_13054',['Steensgaard_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a',1,'SVF::PointerAnalysis']]],
-  ['store_13055',['Store',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47',1,'SVF::ConstraintEdge::Store()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8',1,'SVF::VFGNode::Store()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc',1,'SVF::SVFStmt::Store()']]],
-  ['storemssachi_13056',['StoreMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43',1,'SVF::MSSADEF']]],
-  ['sub_13057',['Sub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f',1,'SVF::BinaryOPStmt']]],
-  ['subset_13058',['Subset',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4',1,'SVF::AccessPath']]],
-  ['superset_13059',['Superset',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a52a64f855e6233e88b319cf2f3442f14',1,'SVF::AccessPath']]],
-  ['svfarg_13060',['SVFArg',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21',1,'SVF::SVFValue']]],
-  ['svfarrayty_13061',['SVFArrayTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5',1,'SVF::SVFType']]],
-  ['svfbb_13062',['SVFBB',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4',1,'SVF::SVFValue']]],
-  ['svfblackhole_13063',['SVFBlackHole',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa',1,'SVF::SVFValue']]],
-  ['svfcall_13064',['SVFCall',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5',1,'SVF::SVFValue']]],
-  ['svfconst_13065',['SVFConst',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66',1,'SVF::SVFValue']]],
-  ['svfconstdata_13066',['SVFConstData',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca',1,'SVF::SVFValue']]],
-  ['svfconstfp_13067',['SVFConstFP',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82',1,'SVF::SVFValue']]],
-  ['svfconstint_13068',['SVFConstInt',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814',1,'SVF::SVFValue']]],
-  ['svffunc_13069',['SVFFunc',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577',1,'SVF::SVFValue']]],
-  ['svffunctionty_13070',['SVFFunctionTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6',1,'SVF::SVFType']]],
-  ['svfglob_13071',['SVFGlob',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a',1,'SVF::SVFValue']]],
-  ['svfinst_13072',['SVFInst',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd',1,'SVF::SVFValue']]],
-  ['svfintegerty_13073',['SVFIntegerTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22',1,'SVF::SVFType']]],
-  ['svfmetaasvalue_13074',['SVFMetaAsValue',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73',1,'SVF::SVFValue']]],
-  ['svfnullptr_13075',['SVFNullPtr',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c',1,'SVF::SVFValue']]],
-  ['svfother_13076',['SVFOther',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea582b0563ca6cb659fe6811b50c5b6ad0',1,'SVF::SVFValue']]],
-  ['svfotherty_13077',['SVFOtherTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef',1,'SVF::SVFType']]],
-  ['svfpointerty_13078',['SVFPointerTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1',1,'SVF::SVFType']]],
-  ['svfstructty_13079',['SVFStructTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d',1,'SVF::SVFType']]],
-  ['svfty_13080',['SVFTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725',1,'SVF::SVFType']]],
-  ['svfval_13081',['SVFVal',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea51746c2f6b368f5d9a7ec4625cb6559e',1,'SVF::SVFValue']]],
-  ['svfvcall_13082',['SVFVCall',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914',1,'SVF::SVFValue']]]
+  ['same_13040',['Same',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a',1,'SVF::AccessPath']]],
+  ['sbv_13041',['SBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a',1,'SVF::PointsTo']]],
+  ['scalar_13042',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
+  ['sdiv_13043',['SDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552',1,'SVF::BinaryOPStmt']]],
+  ['select_13044',['Select',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa',1,'SVF::SVFStmt']]],
+  ['seq_13045',['SEQ',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a85142db6ed24203f054117f3a5110e2f',1,'SVF::NodeIDAllocator']]],
+  ['shl_13046',['Shl',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b',1,'SVF::BinaryOPStmt']]],
+  ['singlevaluek_13047',['SingleValueK',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e',1,'SVF::ExeState']]],
+  ['sourceinst_13048',['SourceInst',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999',1,'SVF::SVFBugEvent']]],
+  ['srem_13049',['SRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448',1,'SVF::BinaryOPStmt']]],
+  ['ssachi_13050',['SSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18aeebaf47309ac06cd04ae69979f4c2580',1,'SVF::MSSADEF']]],
+  ['ssaphi_13051',['SSAPHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736',1,'SVF::MSSADEF']]],
+  ['stack_5fobj_13052',['STACK_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aad918042d1f04a5e3960817d55ccb5d5',1,'SVF::ObjTypeInfo']]],
+  ['standard_13053',['Standard',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8afa3f4c3017fb95011bfdc11b147eae0c',1,'SVF::CommonCHGraph']]],
+  ['static_5fobj_13054',['STATIC_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a4e7606afe2dabdef9c9836ae798a9d98',1,'SVF::ObjTypeInfo']]],
+  ['std_5fdef_13055',['STD_DEF',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada8b07351616a1798fa34ec3828f485ebb',1,'SVF::DCHEdge']]],
+  ['steensgaard_5fwpa_13056',['Steensgaard_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a',1,'SVF::PointerAnalysis']]],
+  ['store_13057',['Store',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47',1,'SVF::ConstraintEdge::Store()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8',1,'SVF::VFGNode::Store()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc',1,'SVF::SVFStmt::Store()']]],
+  ['storemssachi_13058',['StoreMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43',1,'SVF::MSSADEF']]],
+  ['sub_13059',['Sub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f',1,'SVF::BinaryOPStmt']]],
+  ['subset_13060',['Subset',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4',1,'SVF::AccessPath']]],
+  ['superset_13061',['Superset',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a52a64f855e6233e88b319cf2f3442f14',1,'SVF::AccessPath']]],
+  ['svfarg_13062',['SVFArg',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21',1,'SVF::SVFValue']]],
+  ['svfarrayty_13063',['SVFArrayTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5',1,'SVF::SVFType']]],
+  ['svfbb_13064',['SVFBB',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4',1,'SVF::SVFValue']]],
+  ['svfblackhole_13065',['SVFBlackHole',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa',1,'SVF::SVFValue']]],
+  ['svfcall_13066',['SVFCall',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5',1,'SVF::SVFValue']]],
+  ['svfconst_13067',['SVFConst',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66',1,'SVF::SVFValue']]],
+  ['svfconstdata_13068',['SVFConstData',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca',1,'SVF::SVFValue']]],
+  ['svfconstfp_13069',['SVFConstFP',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82',1,'SVF::SVFValue']]],
+  ['svfconstint_13070',['SVFConstInt',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814',1,'SVF::SVFValue']]],
+  ['svffunc_13071',['SVFFunc',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577',1,'SVF::SVFValue']]],
+  ['svffunctionty_13072',['SVFFunctionTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6',1,'SVF::SVFType']]],
+  ['svfglob_13073',['SVFGlob',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a',1,'SVF::SVFValue']]],
+  ['svfinst_13074',['SVFInst',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd',1,'SVF::SVFValue']]],
+  ['svfintegerty_13075',['SVFIntegerTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22',1,'SVF::SVFType']]],
+  ['svfmetaasvalue_13076',['SVFMetaAsValue',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73',1,'SVF::SVFValue']]],
+  ['svfnullptr_13077',['SVFNullPtr',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c',1,'SVF::SVFValue']]],
+  ['svfother_13078',['SVFOther',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea582b0563ca6cb659fe6811b50c5b6ad0',1,'SVF::SVFValue']]],
+  ['svfotherty_13079',['SVFOtherTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef',1,'SVF::SVFType']]],
+  ['svfpointerty_13080',['SVFPointerTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1',1,'SVF::SVFType']]],
+  ['svfstructty_13081',['SVFStructTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d',1,'SVF::SVFType']]],
+  ['svfty_13082',['SVFTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725',1,'SVF::SVFType']]],
+  ['svfval_13083',['SVFVal',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea51746c2f6b368f5d9a7ec4625cb6559e',1,'SVF::SVFValue']]],
+  ['svfvcall_13084',['SVFVCall',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914',1,'SVF::SVFValue']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['abstractpointstods_2eh_6986',['AbstractPointsToDS.h',['../AbstractPointsToDS_8h.html',1,'']]],
-  ['abstractvalue_2eh_6987',['AbstractValue.h',['../AbstractValue_8h.html',1,'']]],
-  ['accesspath_2ecpp_6988',['AccessPath.cpp',['../AccessPath_8cpp.html',1,'']]],
-  ['accesspath_2eh_6989',['AccessPath.h',['../AccessPath_8h.html',1,'']]],
-  ['addressvalue_2eh_6990',['AddressValue.h',['../AddressValue_8h.html',1,'']]],
-  ['andersen_2ecpp_6991',['Andersen.cpp',['../Andersen_8cpp.html',1,'']]],
-  ['andersen_2eh_6992',['Andersen.h',['../Andersen_8h.html',1,'']]],
-  ['andersenpwc_2eh_6993',['AndersenPWC.h',['../AndersenPWC_8h.html',1,'']]],
-  ['andersenscd_2ecpp_6994',['AndersenSCD.cpp',['../AndersenSCD_8cpp.html',1,'']]],
-  ['andersensfr_2ecpp_6995',['AndersenSFR.cpp',['../AndersenSFR_8cpp.html',1,'']]],
-  ['andersenstat_2ecpp_6996',['AndersenStat.cpp',['../AndersenStat_8cpp.html',1,'']]],
-  ['andersenwavediff_2ecpp_6997',['AndersenWaveDiff.cpp',['../AndersenWaveDiff_8cpp.html',1,'']]],
-  ['annotator_2eh_6998',['Annotator.h',['../Annotator_8h.html',1,'']]]
+  ['abstractpointstods_2eh_6987',['AbstractPointsToDS.h',['../AbstractPointsToDS_8h.html',1,'']]],
+  ['abstractvalue_2eh_6988',['AbstractValue.h',['../AbstractValue_8h.html',1,'']]],
+  ['accesspath_2ecpp_6989',['AccessPath.cpp',['../AccessPath_8cpp.html',1,'']]],
+  ['accesspath_2eh_6990',['AccessPath.h',['../AccessPath_8h.html',1,'']]],
+  ['addressvalue_2eh_6991',['AddressValue.h',['../AddressValue_8h.html',1,'']]],
+  ['andersen_2ecpp_6992',['Andersen.cpp',['../Andersen_8cpp.html',1,'']]],
+  ['andersen_2eh_6993',['Andersen.h',['../Andersen_8h.html',1,'']]],
+  ['andersenpwc_2eh_6994',['AndersenPWC.h',['../AndersenPWC_8h.html',1,'']]],
+  ['andersenscd_2ecpp_6995',['AndersenSCD.cpp',['../AndersenSCD_8cpp.html',1,'']]],
+  ['andersensfr_2ecpp_6996',['AndersenSFR.cpp',['../AndersenSFR_8cpp.html',1,'']]],
+  ['andersenstat_2ecpp_6997',['AndersenStat.cpp',['../AndersenStat_8cpp.html',1,'']]],
+  ['andersenwavediff_2ecpp_6998',['AndersenWaveDiff.cpp',['../AndersenWaveDiff_8cpp.html',1,'']]],
+  ['annotator_2eh_6999',['Annotator.h',['../Annotator_8h.html',1,'']]]
 ];

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['basictypes_2eh_6999',['BasicTypes.h',['../BasicTypes_8h.html',1,'']]],
-  ['bitvector_2ecpp_7000',['BitVector.cpp',['../BitVector_8cpp.html',1,'']]],
-  ['bitvector_2eh_7001',['BitVector.h',['../BitVector_8h.html',1,'']]],
-  ['boundedz3expr_2ecpp_7002',['BoundedZ3Expr.cpp',['../BoundedZ3Expr_8cpp.html',1,'']]],
-  ['boundedz3expr_2eh_7003',['BoundedZ3Expr.h',['../BoundedZ3Expr_8h.html',1,'']]],
-  ['breakconstantexpr_2ecpp_7004',['BreakConstantExpr.cpp',['../BreakConstantExpr_8cpp.html',1,'']]],
-  ['breakconstantexpr_2eh_7005',['BreakConstantExpr.h',['../BreakConstantExpr_8h.html',1,'']]]
+  ['basictypes_2eh_7000',['BasicTypes.h',['../BasicTypes_8h.html',1,'']]],
+  ['bitvector_2ecpp_7001',['BitVector.cpp',['../BitVector_8cpp.html',1,'']]],
+  ['bitvector_2eh_7002',['BitVector.h',['../BitVector_8h.html',1,'']]],
+  ['boundedz3expr_2ecpp_7003',['BoundedZ3Expr.cpp',['../BoundedZ3Expr_8cpp.html',1,'']]],
+  ['boundedz3expr_2eh_7004',['BoundedZ3Expr.h',['../BoundedZ3Expr_8h.html',1,'']]],
+  ['breakconstantexpr_2ecpp_7005',['BreakConstantExpr.cpp',['../BreakConstantExpr_8cpp.html',1,'']]],
+  ['breakconstantexpr_2eh_7006',['BreakConstantExpr.h',['../BreakConstantExpr_8h.html',1,'']]]
 ];

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['versionedflowsensitive_2ecpp_7246',['VersionedFlowSensitive.cpp',['../VersionedFlowSensitive_8cpp.html',1,'']]],
-  ['versionedflowsensitive_2eh_7247',['VersionedFlowSensitive.h',['../VersionedFlowSensitive_8h.html',1,'']]],
-  ['versionedflowsensitivestat_2ecpp_7248',['VersionedFlowSensitiveStat.cpp',['../VersionedFlowSensitiveStat_8cpp.html',1,'']]],
-  ['vfg_2ecpp_7249',['VFG.cpp',['../VFG_8cpp.html',1,'']]],
-  ['vfg_2eh_7250',['VFG.h',['../VFG_8h.html',1,'']]],
-  ['vfgedge_2eh_7251',['VFGEdge.h',['../VFGEdge_8h.html',1,'']]],
-  ['vfggrammar_2etxt_7252',['VFGGrammar.txt',['../VFGGrammar_8txt.html',1,'']]],
-  ['vfgnode_2eh_7253',['VFGNode.h',['../VFGNode_8h.html',1,'']]]
+  ['versionedflowsensitive_2ecpp_7247',['VersionedFlowSensitive.cpp',['../VersionedFlowSensitive_8cpp.html',1,'']]],
+  ['versionedflowsensitive_2eh_7248',['VersionedFlowSensitive.h',['../VersionedFlowSensitive_8h.html',1,'']]],
+  ['versionedflowsensitivestat_2ecpp_7249',['VersionedFlowSensitiveStat.cpp',['../VersionedFlowSensitiveStat_8cpp.html',1,'']]],
+  ['vfg_2ecpp_7250',['VFG.cpp',['../VFG_8cpp.html',1,'']]],
+  ['vfg_2eh_7251',['VFG.h',['../VFG_8h.html',1,'']]],
+  ['vfgedge_2eh_7252',['VFGEdge.h',['../VFGEdge_8h.html',1,'']]],
+  ['vfggrammar_2etxt_7253',['VFGGrammar.txt',['../VFGGrammar_8txt.html',1,'']]],
+  ['vfgnode_2eh_7254',['VFGNode.h',['../VFGNode_8h.html',1,'']]]
 ];

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['worklist_2eh_7254',['WorkList.h',['../WorkList_8h.html',1,'']]],
-  ['wpa_2ecpp_7255',['wpa.cpp',['../wpa_8cpp.html',1,'']]],
-  ['wpafssolver_2eh_7256',['WPAFSSolver.h',['../WPAFSSolver_8h.html',1,'']]],
-  ['wpapass_2ecpp_7257',['WPAPass.cpp',['../WPAPass_8cpp.html',1,'']]],
-  ['wpapass_2eh_7258',['WPAPass.h',['../WPAPass_8h.html',1,'']]],
-  ['wpasolver_2eh_7259',['WPASolver.h',['../WPASolver_8h.html',1,'']]],
-  ['wpastat_2eh_7260',['WPAStat.h',['../WPAStat_8h.html',1,'']]],
-  ['wto_2eh_7261',['WTO.h',['../WTO_8h.html',1,'']]]
+  ['worklist_2eh_7255',['WorkList.h',['../WorkList_8h.html',1,'']]],
+  ['wpa_2ecpp_7256',['wpa.cpp',['../wpa_8cpp.html',1,'']]],
+  ['wpafssolver_2eh_7257',['WPAFSSolver.h',['../WPAFSSolver_8h.html',1,'']]],
+  ['wpapass_2ecpp_7258',['WPAPass.cpp',['../WPAPass_8cpp.html',1,'']]],
+  ['wpapass_2eh_7259',['WPAPass.h',['../WPAPass_8h.html',1,'']]],
+  ['wpasolver_2eh_7260',['WPASolver.h',['../WPASolver_8h.html',1,'']]],
+  ['wpastat_2eh_7261',['WPAStat.h',['../WPAStat_8h.html',1,'']]],
+  ['wto_2eh_7262',['WTO.h',['../WTO_8h.html',1,'']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['z3expr_2ecpp_7262',['Z3Expr.cpp',['../Z3Expr_8cpp.html',1,'']]],
-  ['z3expr_2eh_7263',['Z3Expr.h',['../Z3Expr_8h.html',1,'']]]
+  ['z3expr_2ecpp_7263',['Z3Expr.cpp',['../Z3Expr_8cpp.html',1,'']]],
+  ['z3expr_2eh_7264',['Z3Expr.h',['../Z3Expr_8h.html',1,'']]]
 ];

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

@@ -1,58 +1,58 @@
 var searchData=
 [
-  ['callgraphbuilder_2ecpp_7006',['CallGraphBuilder.cpp',['../CallGraphBuilder_8cpp.html',1,'']]],
-  ['callgraphbuilder_2eh_7007',['CallGraphBuilder.h',['../CallGraphBuilder_8h.html',1,'']]],
-  ['casting_2eh_7008',['Casting.h',['../Casting_8h.html',1,'']]],
-  ['cdg_2ecpp_7009',['CDG.cpp',['../CDG_8cpp.html',1,'']]],
-  ['cdg_2eh_7010',['CDG.h',['../CDG_8h.html',1,'']]],
-  ['cdgbuilder_2ecpp_7011',['CDGBuilder.cpp',['../CDGBuilder_8cpp.html',1,'']]],
-  ['cdgbuilder_2eh_7012',['CDGBuilder.h',['../CDGBuilder_8h.html',1,'']]],
-  ['cfbasicblockg_2ecpp_7013',['CFBasicBlockG.cpp',['../CFBasicBlockG_8cpp.html',1,'']]],
-  ['cfbasicblockg_2eh_7014',['CFBasicBlockG.h',['../CFBasicBlockG_8h.html',1,'']]],
-  ['cfbasicblockgbuilder_2ecpp_7015',['CFBasicBlockGBuilder.cpp',['../CFBasicBlockGBuilder_8cpp.html',1,'']]],
-  ['cfbasicblockgbuilder_2eh_7016',['CFBasicBlockGBuilder.h',['../CFBasicBlockGBuilder_8h.html',1,'']]],
-  ['cfgnormalizer_2ecpp_7017',['CFGNormalizer.cpp',['../CFGNormalizer_8cpp.html',1,'']]],
-  ['cfgnormalizer_2eh_7018',['CFGNormalizer.h',['../CFGNormalizer_8h.html',1,'']]],
-  ['cfgrammar_2ecpp_7019',['CFGrammar.cpp',['../CFGrammar_8cpp.html',1,'']]],
-  ['cfgrammar_2eh_7020',['CFGrammar.h',['../CFGrammar_8h.html',1,'']]],
-  ['cfl_2ecpp_7021',['cfl.cpp',['../cfl_8cpp.html',1,'']]],
-  ['cflalias_2ecpp_7022',['CFLAlias.cpp',['../CFLAlias_8cpp.html',1,'']]],
-  ['cflalias_2eh_7023',['CFLAlias.h',['../CFLAlias_8h.html',1,'']]],
-  ['cflbase_2ecpp_7024',['CFLBase.cpp',['../CFLBase_8cpp.html',1,'']]],
-  ['cflbase_2eh_7025',['CFLBase.h',['../CFLBase_8h.html',1,'']]],
-  ['cflgramgraphchecker_2eh_7026',['CFLGramGraphChecker.h',['../CFLGramGraphChecker_8h.html',1,'']]],
-  ['cflgraph_2ecpp_7027',['CFLGraph.cpp',['../CFLGraph_8cpp.html',1,'']]],
-  ['cflgraph_2eh_7028',['CFLGraph.h',['../CFLGraph_8h.html',1,'']]],
-  ['cflgraphbuilder_2ecpp_7029',['CFLGraphBuilder.cpp',['../CFLGraphBuilder_8cpp.html',1,'']]],
-  ['cflgraphbuilder_2eh_7030',['CFLGraphBuilder.h',['../CFLGraphBuilder_8h.html',1,'']]],
-  ['cflsolver_2ecpp_7031',['CFLSolver.cpp',['../CFLSolver_8cpp.html',1,'']]],
-  ['cflsolver_2eh_7032',['CFLSolver.h',['../CFLSolver_8h.html',1,'']]],
-  ['cflstat_2ecpp_7033',['CFLStat.cpp',['../CFLStat_8cpp.html',1,'']]],
-  ['cflstat_2eh_7034',['CFLStat.h',['../CFLStat_8h.html',1,'']]],
-  ['cflvf_2ecpp_7035',['CFLVF.cpp',['../CFLVF_8cpp.html',1,'']]],
-  ['cflvf_2eh_7036',['CFLVF.h',['../CFLVF_8h.html',1,'']]],
-  ['chg_2ecpp_7037',['CHG.cpp',['../CHG_8cpp.html',1,'']]],
-  ['chg_2eh_7038',['CHG.h',['../CHG_8h.html',1,'']]],
-  ['chgbuilder_2ecpp_7039',['CHGBuilder.cpp',['../CHGBuilder_8cpp.html',1,'']]],
-  ['chgbuilder_2eh_7040',['CHGBuilder.h',['../CHGBuilder_8h.html',1,'']]],
-  ['cjson_2ecpp_7041',['cJSON.cpp',['../cJSON_8cpp.html',1,'']]],
-  ['cjson_2eh_7042',['cJSON.h',['../cJSON_8h.html',1,'']]],
-  ['cmakelists_2etxt_7043',['CMakeLists.txt',['../CFL_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../CMakeLists_8txt.html',1,'(Global Namespace)'],['../DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../LLVM2SVF_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]],
-  ['commandline_2eh_7044',['CommandLine.h',['../CommandLine_8h.html',1,'']]],
-  ['conditionalpt_2eh_7045',['ConditionalPT.h',['../ConditionalPT_8h.html',1,'']]],
-  ['consexestate_2ecpp_7046',['ConsExeState.cpp',['../ConsExeState_8cpp.html',1,'']]],
-  ['consexestate_2eh_7047',['ConsExeState.h',['../ConsExeState_8h.html',1,'']]],
-  ['consg_2ecpp_7048',['ConsG.cpp',['../ConsG_8cpp.html',1,'']]],
-  ['consg_2eh_7049',['ConsG.h',['../ConsG_8h.html',1,'']]],
-  ['consgedge_2eh_7050',['ConsGEdge.h',['../ConsGEdge_8h.html',1,'']]],
-  ['consgnode_2eh_7051',['ConsGNode.h',['../ConsGNode_8h.html',1,'']]],
-  ['contextdda_2ecpp_7052',['ContextDDA.cpp',['../ContextDDA_8cpp.html',1,'']]],
-  ['contextdda_2eh_7053',['ContextDDA.h',['../ContextDDA_8h.html',1,'']]],
-  ['corebitvector_2ecpp_7054',['CoreBitVector.cpp',['../CoreBitVector_8cpp.html',1,'']]],
-  ['corebitvector_2eh_7055',['CoreBitVector.h',['../CoreBitVector_8h.html',1,'']]],
-  ['cpputil_2ecpp_7056',['CppUtil.cpp',['../CppUtil_8cpp.html',1,'']]],
-  ['cpputil_2eh_7057',['CppUtil.h',['../CppUtil_8h.html',1,'']]],
-  ['csc_2ecpp_7058',['CSC.cpp',['../CSC_8cpp.html',1,'']]],
-  ['csc_2eh_7059',['CSC.h',['../CSC_8h.html',1,'']]],
-  ['cxtstmt_2eh_7060',['CxtStmt.h',['../CxtStmt_8h.html',1,'']]]
+  ['callgraphbuilder_2ecpp_7007',['CallGraphBuilder.cpp',['../CallGraphBuilder_8cpp.html',1,'']]],
+  ['callgraphbuilder_2eh_7008',['CallGraphBuilder.h',['../CallGraphBuilder_8h.html',1,'']]],
+  ['casting_2eh_7009',['Casting.h',['../Casting_8h.html',1,'']]],
+  ['cdg_2ecpp_7010',['CDG.cpp',['../CDG_8cpp.html',1,'']]],
+  ['cdg_2eh_7011',['CDG.h',['../CDG_8h.html',1,'']]],
+  ['cdgbuilder_2ecpp_7012',['CDGBuilder.cpp',['../CDGBuilder_8cpp.html',1,'']]],
+  ['cdgbuilder_2eh_7013',['CDGBuilder.h',['../CDGBuilder_8h.html',1,'']]],
+  ['cfbasicblockg_2ecpp_7014',['CFBasicBlockG.cpp',['../CFBasicBlockG_8cpp.html',1,'']]],
+  ['cfbasicblockg_2eh_7015',['CFBasicBlockG.h',['../CFBasicBlockG_8h.html',1,'']]],
+  ['cfbasicblockgbuilder_2ecpp_7016',['CFBasicBlockGBuilder.cpp',['../CFBasicBlockGBuilder_8cpp.html',1,'']]],
+  ['cfbasicblockgbuilder_2eh_7017',['CFBasicBlockGBuilder.h',['../CFBasicBlockGBuilder_8h.html',1,'']]],
+  ['cfgnormalizer_2ecpp_7018',['CFGNormalizer.cpp',['../CFGNormalizer_8cpp.html',1,'']]],
+  ['cfgnormalizer_2eh_7019',['CFGNormalizer.h',['../CFGNormalizer_8h.html',1,'']]],
+  ['cfgrammar_2ecpp_7020',['CFGrammar.cpp',['../CFGrammar_8cpp.html',1,'']]],
+  ['cfgrammar_2eh_7021',['CFGrammar.h',['../CFGrammar_8h.html',1,'']]],
+  ['cfl_2ecpp_7022',['cfl.cpp',['../cfl_8cpp.html',1,'']]],
+  ['cflalias_2ecpp_7023',['CFLAlias.cpp',['../CFLAlias_8cpp.html',1,'']]],
+  ['cflalias_2eh_7024',['CFLAlias.h',['../CFLAlias_8h.html',1,'']]],
+  ['cflbase_2ecpp_7025',['CFLBase.cpp',['../CFLBase_8cpp.html',1,'']]],
+  ['cflbase_2eh_7026',['CFLBase.h',['../CFLBase_8h.html',1,'']]],
+  ['cflgramgraphchecker_2eh_7027',['CFLGramGraphChecker.h',['../CFLGramGraphChecker_8h.html',1,'']]],
+  ['cflgraph_2ecpp_7028',['CFLGraph.cpp',['../CFLGraph_8cpp.html',1,'']]],
+  ['cflgraph_2eh_7029',['CFLGraph.h',['../CFLGraph_8h.html',1,'']]],
+  ['cflgraphbuilder_2ecpp_7030',['CFLGraphBuilder.cpp',['../CFLGraphBuilder_8cpp.html',1,'']]],
+  ['cflgraphbuilder_2eh_7031',['CFLGraphBuilder.h',['../CFLGraphBuilder_8h.html',1,'']]],
+  ['cflsolver_2ecpp_7032',['CFLSolver.cpp',['../CFLSolver_8cpp.html',1,'']]],
+  ['cflsolver_2eh_7033',['CFLSolver.h',['../CFLSolver_8h.html',1,'']]],
+  ['cflstat_2ecpp_7034',['CFLStat.cpp',['../CFLStat_8cpp.html',1,'']]],
+  ['cflstat_2eh_7035',['CFLStat.h',['../CFLStat_8h.html',1,'']]],
+  ['cflvf_2ecpp_7036',['CFLVF.cpp',['../CFLVF_8cpp.html',1,'']]],
+  ['cflvf_2eh_7037',['CFLVF.h',['../CFLVF_8h.html',1,'']]],
+  ['chg_2ecpp_7038',['CHG.cpp',['../CHG_8cpp.html',1,'']]],
+  ['chg_2eh_7039',['CHG.h',['../CHG_8h.html',1,'']]],
+  ['chgbuilder_2ecpp_7040',['CHGBuilder.cpp',['../CHGBuilder_8cpp.html',1,'']]],
+  ['chgbuilder_2eh_7041',['CHGBuilder.h',['../CHGBuilder_8h.html',1,'']]],
+  ['cjson_2ecpp_7042',['cJSON.cpp',['../cJSON_8cpp.html',1,'']]],
+  ['cjson_2eh_7043',['cJSON.h',['../cJSON_8h.html',1,'']]],
+  ['cmakelists_2etxt_7044',['CMakeLists.txt',['../CFL_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../CMakeLists_8txt.html',1,'(Global Namespace)'],['../DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../LLVM2SVF_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]],
+  ['commandline_2eh_7045',['CommandLine.h',['../CommandLine_8h.html',1,'']]],
+  ['conditionalpt_2eh_7046',['ConditionalPT.h',['../ConditionalPT_8h.html',1,'']]],
+  ['consexestate_2ecpp_7047',['ConsExeState.cpp',['../ConsExeState_8cpp.html',1,'']]],
+  ['consexestate_2eh_7048',['ConsExeState.h',['../ConsExeState_8h.html',1,'']]],
+  ['consg_2ecpp_7049',['ConsG.cpp',['../ConsG_8cpp.html',1,'']]],
+  ['consg_2eh_7050',['ConsG.h',['../ConsG_8h.html',1,'']]],
+  ['consgedge_2eh_7051',['ConsGEdge.h',['../ConsGEdge_8h.html',1,'']]],
+  ['consgnode_2eh_7052',['ConsGNode.h',['../ConsGNode_8h.html',1,'']]],
+  ['contextdda_2ecpp_7053',['ContextDDA.cpp',['../ContextDDA_8cpp.html',1,'']]],
+  ['contextdda_2eh_7054',['ContextDDA.h',['../ContextDDA_8h.html',1,'']]],
+  ['corebitvector_2ecpp_7055',['CoreBitVector.cpp',['../CoreBitVector_8cpp.html',1,'']]],
+  ['corebitvector_2eh_7056',['CoreBitVector.h',['../CoreBitVector_8h.html',1,'']]],
+  ['cpputil_2ecpp_7057',['CppUtil.cpp',['../CppUtil_8cpp.html',1,'']]],
+  ['cpputil_2eh_7058',['CppUtil.h',['../CppUtil_8h.html',1,'']]],
+  ['csc_2ecpp_7059',['CSC.cpp',['../CSC_8cpp.html',1,'']]],
+  ['csc_2eh_7060',['CSC.h',['../CSC_8h.html',1,'']]],
+  ['cxtstmt_2eh_7061',['CxtStmt.h',['../CxtStmt_8h.html',1,'']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['dchg_2ecpp_7061',['DCHG.cpp',['../DCHG_8cpp.html',1,'']]],
-  ['dchg_2eh_7062',['DCHG.h',['../DCHG_8h.html',1,'']]],
-  ['dda_2ecpp_7063',['dda.cpp',['../dda_8cpp.html',1,'']]],
-  ['ddaclient_2ecpp_7064',['DDAClient.cpp',['../DDAClient_8cpp.html',1,'']]],
-  ['ddaclient_2eh_7065',['DDAClient.h',['../DDAClient_8h.html',1,'']]],
-  ['ddapass_2ecpp_7066',['DDAPass.cpp',['../DDAPass_8cpp.html',1,'']]],
-  ['ddapass_2eh_7067',['DDAPass.h',['../DDAPass_8h.html',1,'']]],
-  ['ddastat_2ecpp_7068',['DDAStat.cpp',['../DDAStat_8cpp.html',1,'']]],
-  ['ddastat_2eh_7069',['DDAStat.h',['../DDAStat_8h.html',1,'']]],
-  ['ddavfsolver_2eh_7070',['DDAVFSolver.h',['../DDAVFSolver_8h.html',1,'']]],
-  ['dotgraphtraits_2eh_7071',['DOTGraphTraits.h',['../DOTGraphTraits_8h.html',1,'']]],
-  ['doublefreechecker_2ecpp_7072',['DoubleFreeChecker.cpp',['../DoubleFreeChecker_8cpp.html',1,'']]],
-  ['doublefreechecker_2eh_7073',['DoubleFreeChecker.h',['../DoubleFreeChecker_8h.html',1,'']]],
-  ['dpitem_2eh_7074',['DPItem.h',['../DPItem_8h.html',1,'']]]
+  ['dchg_2ecpp_7062',['DCHG.cpp',['../DCHG_8cpp.html',1,'']]],
+  ['dchg_2eh_7063',['DCHG.h',['../DCHG_8h.html',1,'']]],
+  ['dda_2ecpp_7064',['dda.cpp',['../dda_8cpp.html',1,'']]],
+  ['ddaclient_2ecpp_7065',['DDAClient.cpp',['../DDAClient_8cpp.html',1,'']]],
+  ['ddaclient_2eh_7066',['DDAClient.h',['../DDAClient_8h.html',1,'']]],
+  ['ddapass_2ecpp_7067',['DDAPass.cpp',['../DDAPass_8cpp.html',1,'']]],
+  ['ddapass_2eh_7068',['DDAPass.h',['../DDAPass_8h.html',1,'']]],
+  ['ddastat_2ecpp_7069',['DDAStat.cpp',['../DDAStat_8cpp.html',1,'']]],
+  ['ddastat_2eh_7070',['DDAStat.h',['../DDAStat_8h.html',1,'']]],
+  ['ddavfsolver_2eh_7071',['DDAVFSolver.h',['../DDAVFSolver_8h.html',1,'']]],
+  ['dotgraphtraits_2eh_7072',['DOTGraphTraits.h',['../DOTGraphTraits_8h.html',1,'']]],
+  ['doublefreechecker_2ecpp_7073',['DoubleFreeChecker.cpp',['../DoubleFreeChecker_8cpp.html',1,'']]],
+  ['doublefreechecker_2eh_7074',['DoubleFreeChecker.h',['../DoubleFreeChecker_8h.html',1,'']]],
+  ['dpitem_2eh_7075',['DPItem.h',['../DPItem_8h.html',1,'']]]
 ];

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

@@ -1,8 +1,8 @@
 var searchData=
 [
-  ['exestate_2ecpp_7075',['ExeState.cpp',['../ExeState_8cpp.html',1,'']]],
-  ['exestate_2eh_7076',['ExeState.h',['../ExeState_8h.html',1,'']]],
-  ['extapi_2ec_7077',['extapi.c',['../extapi_8c.html',1,'']]],
-  ['extapi_2ecpp_7078',['ExtAPI.cpp',['../ExtAPI_8cpp.html',1,'']]],
-  ['extapi_2eh_7079',['ExtAPI.h',['../ExtAPI_8h.html',1,'']]]
+  ['exestate_2ecpp_7076',['ExeState.cpp',['../ExeState_8cpp.html',1,'']]],
+  ['exestate_2eh_7077',['ExeState.h',['../ExeState_8h.html',1,'']]],
+  ['extapi_2ec_7078',['extapi.c',['../extapi_8c.html',1,'']]],
+  ['extapi_2ecpp_7079',['ExtAPI.cpp',['../ExtAPI_8cpp.html',1,'']]],
+  ['extapi_2eh_7080',['ExtAPI.h',['../ExtAPI_8h.html',1,'']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['fastcluster_2ecpp_7080',['fastcluster.cpp',['../fastcluster_8cpp.html',1,'']]],
-  ['fastcluster_2eh_7081',['fastcluster.h',['../fastcluster_8h.html',1,'']]],
-  ['fastcluster_5fdm_2ecpp_2einc_7082',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
-  ['fastcluster_5fr_5fdm_2ecpp_2einc_7083',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
-  ['filechecker_2ecpp_7084',['FileChecker.cpp',['../FileChecker_8cpp.html',1,'']]],
-  ['filechecker_2eh_7085',['FileChecker.h',['../FileChecker_8h.html',1,'']]],
-  ['flowdda_2ecpp_7086',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
-  ['flowdda_2eh_7087',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
-  ['flowsensitive_2ecpp_7088',['FlowSensitive.cpp',['../FlowSensitive_8cpp.html',1,'']]],
-  ['flowsensitive_2eh_7089',['FlowSensitive.h',['../FlowSensitive_8h.html',1,'']]],
-  ['flowsensitivestat_2ecpp_7090',['FlowSensitiveStat.cpp',['../FlowSensitiveStat_8cpp.html',1,'']]],
-  ['fsmpta_2ecpp_7091',['FSMPTA.cpp',['../FSMPTA_8cpp.html',1,'']]],
-  ['fsmpta_2eh_7092',['FSMPTA.h',['../FSMPTA_8h.html',1,'']]]
+  ['fastcluster_2ecpp_7081',['fastcluster.cpp',['../fastcluster_8cpp.html',1,'']]],
+  ['fastcluster_2eh_7082',['fastcluster.h',['../fastcluster_8h.html',1,'']]],
+  ['fastcluster_5fdm_2ecpp_2einc_7083',['fastcluster_dm.cpp.inc',['../fastcluster__dm_8cpp_8inc.html',1,'']]],
+  ['fastcluster_5fr_5fdm_2ecpp_2einc_7084',['fastcluster_R_dm.cpp.inc',['../fastcluster__R__dm_8cpp_8inc.html',1,'']]],
+  ['filechecker_2ecpp_7085',['FileChecker.cpp',['../FileChecker_8cpp.html',1,'']]],
+  ['filechecker_2eh_7086',['FileChecker.h',['../FileChecker_8h.html',1,'']]],
+  ['flowdda_2ecpp_7087',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
+  ['flowdda_2eh_7088',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
+  ['flowsensitive_2ecpp_7089',['FlowSensitive.cpp',['../FlowSensitive_8cpp.html',1,'']]],
+  ['flowsensitive_2eh_7090',['FlowSensitive.h',['../FlowSensitive_8h.html',1,'']]],
+  ['flowsensitivestat_2ecpp_7091',['FlowSensitiveStat.cpp',['../FlowSensitiveStat_8cpp.html',1,'']]],
+  ['fsmpta_2ecpp_7092',['FSMPTA.cpp',['../FSMPTA_8cpp.html',1,'']]],
+  ['fsmpta_2eh_7093',['FSMPTA.h',['../FSMPTA_8h.html',1,'']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['genericgraph_2eh_7093',['GenericGraph.h',['../GenericGraph_8h.html',1,'']]],
-  ['geptypebridgeiterator_2eh_7094',['GEPTypeBridgeIterator.h',['../GEPTypeBridgeIterator_8h.html',1,'']]],
-  ['grammarbuilder_2ecpp_7095',['GrammarBuilder.cpp',['../GrammarBuilder_8cpp.html',1,'']]],
-  ['grammarbuilder_2eh_7096',['GrammarBuilder.h',['../GrammarBuilder_8h.html',1,'']]],
-  ['graphprinter_2eh_7097',['GraphPrinter.h',['../GraphPrinter_8h.html',1,'']]],
-  ['graphreachsolver_2eh_7098',['GraphReachSolver.h',['../GraphReachSolver_8h.html',1,'']]],
-  ['graphtraits_2eh_7099',['GraphTraits.h',['../GraphTraits_8h.html',1,'']]],
-  ['graphwriter_2ecpp_7100',['GraphWriter.cpp',['../GraphWriter_8cpp.html',1,'']]],
-  ['graphwriter_2eh_7101',['GraphWriter.h',['../GraphWriter_8h.html',1,'']]]
+  ['genericgraph_2eh_7094',['GenericGraph.h',['../GenericGraph_8h.html',1,'']]],
+  ['geptypebridgeiterator_2eh_7095',['GEPTypeBridgeIterator.h',['../GEPTypeBridgeIterator_8h.html',1,'']]],
+  ['grammarbuilder_2ecpp_7096',['GrammarBuilder.cpp',['../GrammarBuilder_8cpp.html',1,'']]],
+  ['grammarbuilder_2eh_7097',['GrammarBuilder.h',['../GrammarBuilder_8h.html',1,'']]],
+  ['graphprinter_2eh_7098',['GraphPrinter.h',['../GraphPrinter_8h.html',1,'']]],
+  ['graphreachsolver_2eh_7099',['GraphReachSolver.h',['../GraphReachSolver_8h.html',1,'']]],
+  ['graphtraits_2eh_7100',['GraphTraits.h',['../GraphTraits_8h.html',1,'']]],
+  ['graphwriter_2ecpp_7101',['GraphWriter.cpp',['../GraphWriter_8cpp.html',1,'']]],
+  ['graphwriter_2eh_7102',['GraphWriter.h',['../GraphWriter_8h.html',1,'']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['icfg_2ecpp_7102',['ICFG.cpp',['../ICFG_8cpp.html',1,'']]],
-  ['icfg_2eh_7103',['ICFG.h',['../ICFG_8h.html',1,'']]],
-  ['icfgbuilder_2ecpp_7104',['ICFGBuilder.cpp',['../ICFGBuilder_8cpp.html',1,'']]],
-  ['icfgbuilder_2eh_7105',['ICFGBuilder.h',['../ICFGBuilder_8h.html',1,'']]],
-  ['icfgedge_2eh_7106',['ICFGEdge.h',['../ICFGEdge_8h.html',1,'']]],
-  ['icfgnode_2eh_7107',['ICFGNode.h',['../ICFGNode_8h.html',1,'']]],
-  ['icfgstat_2eh_7108',['ICFGStat.h',['../ICFGStat_8h.html',1,'']]],
-  ['intervalexestate_2ecpp_7109',['IntervalExeState.cpp',['../IntervalExeState_8cpp.html',1,'']]],
-  ['intervalexestate_2eh_7110',['IntervalExeState.h',['../IntervalExeState_8h.html',1,'']]],
-  ['intervalvalue_2eh_7111',['IntervalValue.h',['../IntervalValue_8h.html',1,'']]],
-  ['irgraph_2ecpp_7112',['IRGraph.cpp',['../IRGraph_8cpp.html',1,'']]],
-  ['irgraph_2eh_7113',['IRGraph.h',['../IRGraph_8h.html',1,'']]],
-  ['iterator_2eh_7114',['iterator.h',['../iterator_8h.html',1,'']]],
-  ['iterator_5frange_2eh_7115',['iterator_range.h',['../iterator__range_8h.html',1,'']]]
+  ['icfg_2ecpp_7103',['ICFG.cpp',['../ICFG_8cpp.html',1,'']]],
+  ['icfg_2eh_7104',['ICFG.h',['../ICFG_8h.html',1,'']]],
+  ['icfgbuilder_2ecpp_7105',['ICFGBuilder.cpp',['../ICFGBuilder_8cpp.html',1,'']]],
+  ['icfgbuilder_2eh_7106',['ICFGBuilder.h',['../ICFGBuilder_8h.html',1,'']]],
+  ['icfgedge_2eh_7107',['ICFGEdge.h',['../ICFGEdge_8h.html',1,'']]],
+  ['icfgnode_2eh_7108',['ICFGNode.h',['../ICFGNode_8h.html',1,'']]],
+  ['icfgstat_2eh_7109',['ICFGStat.h',['../ICFGStat_8h.html',1,'']]],
+  ['intervalexestate_2ecpp_7110',['IntervalExeState.cpp',['../IntervalExeState_8cpp.html',1,'']]],
+  ['intervalexestate_2eh_7111',['IntervalExeState.h',['../IntervalExeState_8h.html',1,'']]],
+  ['intervalvalue_2eh_7112',['IntervalValue.h',['../IntervalValue_8h.html',1,'']]],
+  ['irgraph_2ecpp_7113',['IRGraph.cpp',['../IRGraph_8cpp.html',1,'']]],
+  ['irgraph_2eh_7114',['IRGraph.h',['../IRGraph_8h.html',1,'']]],
+  ['iterator_2eh_7115',['iterator.h',['../iterator_8h.html',1,'']]],
+  ['iterator_5frange_2eh_7116',['iterator_range.h',['../iterator__range_8h.html',1,'']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['leakchecker_2ecpp_7116',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
-  ['leakchecker_2eh_7117',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
-  ['llvm2svf_2ecpp_7118',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
-  ['llvmloopanalysis_2ecpp_7119',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
-  ['llvmloopanalysis_2eh_7120',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
-  ['llvmmodule_2ecpp_7121',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
-  ['llvmmodule_2eh_7122',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmutil_2ecpp_7123',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
-  ['llvmutil_2eh_7124',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
-  ['lockanalysis_2ecpp_7125',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
-  ['lockanalysis_2eh_7126',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
-  ['lockresultvalidator_2ecpp_7127',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
-  ['lockresultvalidator_2eh_7128',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]]
+  ['leakchecker_2ecpp_7117',['LeakChecker.cpp',['../LeakChecker_8cpp.html',1,'']]],
+  ['leakchecker_2eh_7118',['LeakChecker.h',['../LeakChecker_8h.html',1,'']]],
+  ['llvm2svf_2ecpp_7119',['llvm2svf.cpp',['../llvm2svf_8cpp.html',1,'']]],
+  ['llvmloopanalysis_2ecpp_7120',['LLVMLoopAnalysis.cpp',['../LLVMLoopAnalysis_8cpp.html',1,'']]],
+  ['llvmloopanalysis_2eh_7121',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
+  ['llvmmodule_2ecpp_7122',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
+  ['llvmmodule_2eh_7123',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
+  ['llvmutil_2ecpp_7124',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
+  ['llvmutil_2eh_7125',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
+  ['lockanalysis_2ecpp_7126',['LockAnalysis.cpp',['../LockAnalysis_8cpp.html',1,'']]],
+  ['lockanalysis_2eh_7127',['LockAnalysis.h',['../LockAnalysis_8h.html',1,'']]],
+  ['lockresultvalidator_2ecpp_7128',['LockResultValidator.cpp',['../LockResultValidator_8cpp.html',1,'']]],
+  ['lockresultvalidator_2eh_7129',['LockResultValidator.h',['../LockResultValidator_8h.html',1,'']]]
 ];

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

@@ -1,21 +1,21 @@
 var searchData=
 [
-  ['mempartition_2ecpp_7129',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
-  ['mempartition_2eh_7130',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
-  ['memregion_2ecpp_7131',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
-  ['memregion_2eh_7132',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
-  ['memssa_2ecpp_7133',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
-  ['memssa_2eh_7134',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
-  ['mhp_2ecpp_7135',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
-  ['mhp_2eh_7136',['MHP.h',['../MHP_8h.html',1,'']]],
-  ['mssamuchi_2eh_7137',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
-  ['mta_2ecpp_7138',['mta.cpp',['../mta_8cpp.html',1,'(Global Namespace)'],['../MTA_8cpp.html',1,'(Global Namespace)']]],
-  ['mta_2eh_7139',['MTA.h',['../MTA_8h.html',1,'']]],
-  ['mtaannotator_2ecpp_7140',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
-  ['mtaannotator_2eh_7141',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
-  ['mtaresultvalidator_2ecpp_7142',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
-  ['mtaresultvalidator_2eh_7143',['MTAResultValidator.h',['../svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)'],['../svf_2include_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)']]],
-  ['mtastat_2ecpp_7144',['MTAStat.cpp',['../MTAStat_8cpp.html',1,'']]],
-  ['mtastat_2eh_7145',['MTAStat.h',['../MTAStat_8h.html',1,'']]],
-  ['mutablepointstods_2eh_7146',['MutablePointsToDS.h',['../MutablePointsToDS_8h.html',1,'']]]
+  ['mempartition_2ecpp_7130',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
+  ['mempartition_2eh_7131',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
+  ['memregion_2ecpp_7132',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
+  ['memregion_2eh_7133',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
+  ['memssa_2ecpp_7134',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
+  ['memssa_2eh_7135',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
+  ['mhp_2ecpp_7136',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
+  ['mhp_2eh_7137',['MHP.h',['../MHP_8h.html',1,'']]],
+  ['mssamuchi_2eh_7138',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
+  ['mta_2ecpp_7139',['mta.cpp',['../mta_8cpp.html',1,'(Global Namespace)'],['../MTA_8cpp.html',1,'(Global Namespace)']]],
+  ['mta_2eh_7140',['MTA.h',['../MTA_8h.html',1,'']]],
+  ['mtaannotator_2ecpp_7141',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
+  ['mtaannotator_2eh_7142',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
+  ['mtaresultvalidator_2ecpp_7143',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
+  ['mtaresultvalidator_2eh_7144',['MTAResultValidator.h',['../svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)'],['../svf_2include_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)']]],
+  ['mtastat_2ecpp_7145',['MTAStat.cpp',['../MTAStat_8cpp.html',1,'']]],
+  ['mtastat_2eh_7146',['MTAStat.h',['../MTAStat_8h.html',1,'']]],
+  ['mutablepointstods_2eh_7147',['MutablePointsToDS.h',['../MutablePointsToDS_8h.html',1,'']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['nodeidallocator_2ecpp_7147',['NodeIDAllocator.cpp',['../NodeIDAllocator_8cpp.html',1,'']]],
-  ['nodeidallocator_2eh_7148',['NodeIDAllocator.h',['../NodeIDAllocator_8h.html',1,'']]],
-  ['numericliteral_2eh_7149',['NumericLiteral.h',['../NumericLiteral_8h.html',1,'']]]
+  ['nodeidallocator_2ecpp_7148',['NodeIDAllocator.cpp',['../NodeIDAllocator_8cpp.html',1,'']]],
+  ['nodeidallocator_2eh_7149',['NodeIDAllocator.h',['../NodeIDAllocator_8h.html',1,'']]],
+  ['numericliteral_2eh_7150',['NumericLiteral.h',['../NumericLiteral_8h.html',1,'']]]
 ];