svf-tools 1.0.748 → 1.0.749

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

@@ -1,33 +1,33 @@
 var searchData=
 [
-  ['can_5faccess_5fat_5findex_13043',['can_access_at_index',['../cJSON_8cpp.html#ae210aa01f1afe7510658c392f0f6e128',1,'cJSON.cpp']]],
-  ['can_5fread_13044',['can_read',['../cJSON_8cpp.html#a2257377f8b81f4f76a16b698f681af34',1,'cJSON.cpp']]],
-  ['cannot_5faccess_5fat_5findex_13045',['cannot_access_at_index',['../cJSON_8cpp.html#a5c873a43d8a78ce9a6d9e8eb41d65d2d',1,'cJSON.cpp']]],
-  ['case_13046',['CASE',['../SVFFileSystem_8cpp.html#a419967124e957d001909ef99082ebdad',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a5e30c37fc38b31721234ec58dc8237e8',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a6f522578197750efa450cc44508f7f0c',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2b442a222d8fdefeded3e158d89c1b79',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#abbe45c1894f2978ad84329689010f471',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a9f71d8496af29cfd7c0bb4e4edda65a4',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a9f71d8496af29cfd7c0bb4e4edda65a4',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a9f71d8496af29cfd7c0bb4e4edda65a4',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a6f522578197750efa450cc44508f7f0c',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2b442a222d8fdefeded3e158d89c1b79',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#abbe45c1894f2978ad84329689010f471',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a19fdb5d957a922841d3cf62cee8f9ed4',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a419967124e957d001909ef99082ebdad',1,'CASE(): SVFFileSystem.cpp']]],
-  ['check_5fjson_5fkey_13047',['CHECK_JSON_KEY',['../SVFFileSystem_8h.html#a8c3c95bd6414e7960ccfd878132749ec',1,'SVFFileSystem.h']]],
-  ['check_5fjson_5fkey_5fequals_13048',['CHECK_JSON_KEY_EQUALS',['../SVFFileSystem_8h.html#a4fc971811430a60c75fae0604e39dbfa',1,'SVFFileSystem.h']]],
-  ['cjson_5farray_13049',['cJSON_Array',['../cJSON_8h.html#a57cffa126740a8efcdcb7bcef80e8897',1,'cJSON.h']]],
-  ['cjson_5farrayforeach_13050',['cJSON_ArrayForEach',['../cJSON_8h.html#ac3d6e5782fb4bb3c7a25c7c5b1868f06',1,'cJSON.h']]],
-  ['cjson_5fcdecl_13051',['CJSON_CDECL',['../cJSON_8h.html#a79203c3ba406ffd5736627cc1e082e38',1,'cJSON.h']]],
-  ['cjson_5ffalse_13052',['cJSON_False',['../cJSON_8h.html#a2d240682316354b5748f909ad220184b',1,'cJSON.h']]],
-  ['cjson_5finvalid_13053',['cJSON_Invalid',['../cJSON_8h.html#a80c36e86d8d65b697bc623fe28027668',1,'cJSON.h']]],
-  ['cjson_5fisreference_13054',['cJSON_IsReference',['../cJSON_8h.html#ad3d18116aae3bfa46f13bcfd7fd6d4e7',1,'cJSON.h']]],
-  ['cjson_5fmin_13055',['cjson_min',['../cJSON_8cpp.html#a13f540fa846f658531751b5ccb78f303',1,'cJSON.cpp']]],
-  ['cjson_5fnesting_5flimit_13056',['CJSON_NESTING_LIMIT',['../cJSON_8h.html#a9c7ac4e1b31070b787afb3a4b67727f4',1,'cJSON.h']]],
-  ['cjson_5fnull_13057',['cJSON_NULL',['../cJSON_8h.html#aeadaba63ddb68aaa518528595d503dcd',1,'cJSON.h']]],
-  ['cjson_5fnumber_13058',['cJSON_Number',['../cJSON_8h.html#a15e77e2f6457dc9b19c10ddb032af971',1,'cJSON.h']]],
-  ['cjson_5fobject_13059',['cJSON_Object',['../cJSON_8h.html#a22c6e13481c090629afbd77b7cebd24c',1,'cJSON.h']]],
-  ['cjson_5fpublic_13060',['CJSON_PUBLIC',['../cJSON_8h.html#a70709a6f2a7e45debe4f5abe345fcb86',1,'cJSON.h']]],
-  ['cjson_5fraw_13061',['cJSON_Raw',['../cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1',1,'cJSON.h']]],
-  ['cjson_5fsetboolvalue_13062',['cJSON_SetBoolValue',['../cJSON_8h.html#a210748b11b9b4f93d29391591a37ad85',1,'cJSON.h']]],
-  ['cjson_5fsetintvalue_13063',['cJSON_SetIntValue',['../cJSON_8h.html#ae5b1335bfccc358f566bea6f7e4bfdc6',1,'cJSON.h']]],
-  ['cjson_5fsetnumbervalue_13064',['cJSON_SetNumberValue',['../cJSON_8h.html#adab3f1e3586395bdb2da5a40059cb24b',1,'cJSON.h']]],
-  ['cjson_5fstdcall_13065',['CJSON_STDCALL',['../cJSON_8h.html#aee2cdf14a236df79175ef257a5a94964',1,'cJSON.h']]],
-  ['cjson_5fstring_13066',['cJSON_String',['../cJSON_8h.html#aa2cb4765308e2bbdf01988b2acdf92d9',1,'cJSON.h']]],
-  ['cjson_5fstringisconst_13067',['cJSON_StringIsConst',['../cJSON_8h.html#a491c3484a36f3915cc4710088f55971f',1,'cJSON.h']]],
-  ['cjson_5ftrue_13068',['cJSON_True',['../cJSON_8h.html#aad4e442b8095939decddfb67d87d9324',1,'cJSON.h']]],
-  ['cjson_5fversion_5fmajor_13069',['CJSON_VERSION_MAJOR',['../cJSON_8h.html#a78f100ac5089a51941e2ca573ad8e380',1,'cJSON.h']]],
-  ['cjson_5fversion_5fminor_13070',['CJSON_VERSION_MINOR',['../cJSON_8h.html#a55a808fe6b77cef1e4c2cf02a4316301',1,'cJSON.h']]],
-  ['cjson_5fversion_5fpatch_13071',['CJSON_VERSION_PATCH',['../cJSON_8h.html#a6ad7073103d4b9aaf2153add95561c47',1,'cJSON.h']]],
-  ['clock_5fin_5fms_13072',['CLOCK_IN_MS',['../SVFType_8h.html#af091e361d7961cb895ff2101eceed953',1,'SVFType.h']]]
+  ['can_5faccess_5fat_5findex_13053',['can_access_at_index',['../cJSON_8cpp.html#ae210aa01f1afe7510658c392f0f6e128',1,'cJSON.cpp']]],
+  ['can_5fread_13054',['can_read',['../cJSON_8cpp.html#a2257377f8b81f4f76a16b698f681af34',1,'cJSON.cpp']]],
+  ['cannot_5faccess_5fat_5findex_13055',['cannot_access_at_index',['../cJSON_8cpp.html#a5c873a43d8a78ce9a6d9e8eb41d65d2d',1,'cJSON.cpp']]],
+  ['case_13056',['CASE',['../SVFFileSystem_8cpp.html#a419967124e957d001909ef99082ebdad',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a5e30c37fc38b31721234ec58dc8237e8',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a6f522578197750efa450cc44508f7f0c',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2b442a222d8fdefeded3e158d89c1b79',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#abbe45c1894f2978ad84329689010f471',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a9f71d8496af29cfd7c0bb4e4edda65a4',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a9f71d8496af29cfd7c0bb4e4edda65a4',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a9f71d8496af29cfd7c0bb4e4edda65a4',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a6f522578197750efa450cc44508f7f0c',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2b442a222d8fdefeded3e158d89c1b79',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#abbe45c1894f2978ad84329689010f471',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a19fdb5d957a922841d3cf62cee8f9ed4',1,'CASE(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a419967124e957d001909ef99082ebdad',1,'CASE(): SVFFileSystem.cpp']]],
+  ['check_5fjson_5fkey_13057',['CHECK_JSON_KEY',['../SVFFileSystem_8h.html#a8c3c95bd6414e7960ccfd878132749ec',1,'SVFFileSystem.h']]],
+  ['check_5fjson_5fkey_5fequals_13058',['CHECK_JSON_KEY_EQUALS',['../SVFFileSystem_8h.html#a4fc971811430a60c75fae0604e39dbfa',1,'SVFFileSystem.h']]],
+  ['cjson_5farray_13059',['cJSON_Array',['../cJSON_8h.html#a57cffa126740a8efcdcb7bcef80e8897',1,'cJSON.h']]],
+  ['cjson_5farrayforeach_13060',['cJSON_ArrayForEach',['../cJSON_8h.html#ac3d6e5782fb4bb3c7a25c7c5b1868f06',1,'cJSON.h']]],
+  ['cjson_5fcdecl_13061',['CJSON_CDECL',['../cJSON_8h.html#a79203c3ba406ffd5736627cc1e082e38',1,'cJSON.h']]],
+  ['cjson_5ffalse_13062',['cJSON_False',['../cJSON_8h.html#a2d240682316354b5748f909ad220184b',1,'cJSON.h']]],
+  ['cjson_5finvalid_13063',['cJSON_Invalid',['../cJSON_8h.html#a80c36e86d8d65b697bc623fe28027668',1,'cJSON.h']]],
+  ['cjson_5fisreference_13064',['cJSON_IsReference',['../cJSON_8h.html#ad3d18116aae3bfa46f13bcfd7fd6d4e7',1,'cJSON.h']]],
+  ['cjson_5fmin_13065',['cjson_min',['../cJSON_8cpp.html#a13f540fa846f658531751b5ccb78f303',1,'cJSON.cpp']]],
+  ['cjson_5fnesting_5flimit_13066',['CJSON_NESTING_LIMIT',['../cJSON_8h.html#a9c7ac4e1b31070b787afb3a4b67727f4',1,'cJSON.h']]],
+  ['cjson_5fnull_13067',['cJSON_NULL',['../cJSON_8h.html#aeadaba63ddb68aaa518528595d503dcd',1,'cJSON.h']]],
+  ['cjson_5fnumber_13068',['cJSON_Number',['../cJSON_8h.html#a15e77e2f6457dc9b19c10ddb032af971',1,'cJSON.h']]],
+  ['cjson_5fobject_13069',['cJSON_Object',['../cJSON_8h.html#a22c6e13481c090629afbd77b7cebd24c',1,'cJSON.h']]],
+  ['cjson_5fpublic_13070',['CJSON_PUBLIC',['../cJSON_8h.html#a70709a6f2a7e45debe4f5abe345fcb86',1,'cJSON.h']]],
+  ['cjson_5fraw_13071',['cJSON_Raw',['../cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1',1,'cJSON.h']]],
+  ['cjson_5fsetboolvalue_13072',['cJSON_SetBoolValue',['../cJSON_8h.html#a210748b11b9b4f93d29391591a37ad85',1,'cJSON.h']]],
+  ['cjson_5fsetintvalue_13073',['cJSON_SetIntValue',['../cJSON_8h.html#ae5b1335bfccc358f566bea6f7e4bfdc6',1,'cJSON.h']]],
+  ['cjson_5fsetnumbervalue_13074',['cJSON_SetNumberValue',['../cJSON_8h.html#adab3f1e3586395bdb2da5a40059cb24b',1,'cJSON.h']]],
+  ['cjson_5fstdcall_13075',['CJSON_STDCALL',['../cJSON_8h.html#aee2cdf14a236df79175ef257a5a94964',1,'cJSON.h']]],
+  ['cjson_5fstring_13076',['cJSON_String',['../cJSON_8h.html#aa2cb4765308e2bbdf01988b2acdf92d9',1,'cJSON.h']]],
+  ['cjson_5fstringisconst_13077',['cJSON_StringIsConst',['../cJSON_8h.html#a491c3484a36f3915cc4710088f55971f',1,'cJSON.h']]],
+  ['cjson_5ftrue_13078',['cJSON_True',['../cJSON_8h.html#aad4e442b8095939decddfb67d87d9324',1,'cJSON.h']]],
+  ['cjson_5fversion_5fmajor_13079',['CJSON_VERSION_MAJOR',['../cJSON_8h.html#a78f100ac5089a51941e2ca573ad8e380',1,'cJSON.h']]],
+  ['cjson_5fversion_5fminor_13080',['CJSON_VERSION_MINOR',['../cJSON_8h.html#a55a808fe6b77cef1e4c2cf02a4316301',1,'cJSON.h']]],
+  ['cjson_5fversion_5fpatch_13081',['CJSON_VERSION_PATCH',['../cJSON_8h.html#a6ad7073103d4b9aaf2153add95561c47',1,'cJSON.h']]],
+  ['clock_5fin_5fms_13082',['CLOCK_IN_MS',['../SVFType_8h.html#af091e361d7961cb895ff2101eceed953',1,'SVFType.h']]]
 ];

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

@@ -1,23 +1,23 @@
 var searchData=
 [
-  ['dandersen_13073',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
-  ['dbout_13074',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
-  ['dcache_13075',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
-  ['dcha_13076',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
-  ['dcommodel_13077',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
-  ['ddda_13078',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
-  ['ddumppt_13079',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
-  ['debug_5ftype_13080',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
-  ['dgeneral_13081',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
-  ['dinstrument_13082',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
-  ['dmemmodel_13083',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
-  ['dmemmodelce_13084',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
-  ['dmssa_13085',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
-  ['dmta_13086',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
-  ['dostat_13087',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
-  ['dotimestat_13088',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
-  ['dpagbuild_13089',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
-  ['drefinept_13090',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
-  ['dsaber_13091',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
-  ['dwpa_13092',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]]
+  ['dandersen_13083',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
+  ['dbout_13084',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
+  ['dcache_13085',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
+  ['dcha_13086',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
+  ['dcommodel_13087',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
+  ['ddda_13088',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
+  ['ddumppt_13089',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
+  ['debug_5ftype_13090',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
+  ['dgeneral_13091',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
+  ['dinstrument_13092',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
+  ['dmemmodel_13093',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
+  ['dmemmodelce_13094',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
+  ['dmssa_13095',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
+  ['dmta_13096',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
+  ['dostat_13097',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
+  ['dotimestat_13098',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
+  ['dpagbuild_13099',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
+  ['drefinept_13100',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
+  ['dsaber_13101',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
+  ['dwpa_13102',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['ensure_5fnot_5fvisited_13093',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
-  ['eventtypemask_13094',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]],
-  ['extapi_5fjson_5fpath_13095',['EXTAPI_JSON_PATH',['../ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668',1,'ExtAPI.h']]]
+  ['ensure_5fnot_5fvisited_13103',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
+  ['eventtypemask_13104',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]],
+  ['extapi_5fjson_5fpath_13105',['EXTAPI_JSON_PATH',['../ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668',1,'ExtAPI.h']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['f_13096',['F',['../SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649',1,'F(): SVFFileSystem.cpp']]],
-  ['false_13097',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
-  ['field_5fname_5fitem_13098',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
-  ['flippedaddressmask_13099',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]]
+  ['f_13106',['F',['../SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#a2a7428137da1aa360fea2c8b6f2fb4e0',1,'F(): SVFFileSystem.cpp'],['../SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649',1,'F(): SVFFileSystem.cpp']]],
+  ['false_13107',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
+  ['field_5fname_5fitem_13108',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
+  ['flippedaddressmask_13109',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['has_5fclz_13100',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
-  ['has_5fclzll_13101',['HAS_CLZLL',['../SparseBitVector_8h.html#ad66fb43b1e40d6e22629fcd889d4bfab',1,'SparseBitVector.h']]]
+  ['has_5fclz_13110',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
+  ['has_5fclzll_13111',['HAS_CLZLL',['../SparseBitVector_8h.html#ad66fb43b1e40d6e22629fcd889d4bfab',1,'SparseBitVector.h']]]
 ];

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

@@ -1,8 +1,8 @@
 var searchData=
 [
-  ['internal_5ffree_13102',['internal_free',['../cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839',1,'cJSON.cpp']]],
-  ['internal_5fmalloc_13103',['internal_malloc',['../cJSON_8cpp.html#a7fd7640617f7ffead7a9b1408c9d0ae8',1,'cJSON.cpp']]],
-  ['internal_5frealloc_13104',['internal_realloc',['../cJSON_8cpp.html#a91654176e81c707d28b99dd0bf783ed5',1,'cJSON.cpp']]],
-  ['isinf_13105',['isinf',['../cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df',1,'cJSON.cpp']]],
-  ['isnan_13106',['isnan',['../cJSON_8cpp.html#a11b2d271b8abcb53159ffb82dc29547a',1,'cJSON.cpp']]]
+  ['internal_5ffree_13112',['internal_free',['../cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839',1,'cJSON.cpp']]],
+  ['internal_5fmalloc_13113',['internal_malloc',['../cJSON_8cpp.html#a7fd7640617f7ffead7a9b1408c9d0ae8',1,'cJSON.cpp']]],
+  ['internal_5frealloc_13114',['internal_realloc',['../cJSON_8cpp.html#a91654176e81c707d28b99dd0bf783ed5',1,'cJSON.cpp']]],
+  ['isinf_13115',['isinf',['../cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df',1,'cJSON.cpp']]],
+  ['isnan_13116',['isnan',['../cJSON_8cpp.html#a11b2d271b8abcb53159ffb82dc29547a',1,'cJSON.cpp']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['json_5fchild_13107',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
-  ['json_5fdef_5fread_5ffwd_13108',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
-  ['json_5ffield_5for_13109',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
-  ['json_5fkey_13110',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
-  ['json_5fopt_5ffunctiontype_13111',['JSON_OPT_FUNCTIONTYPE',['../ExtAPI_8h.html#a8af07ec3fec2ac9636dfb81bb7a8961e',1,'ExtAPI.h']]],
-  ['json_5fopt_5foverwrite_13112',['JSON_OPT_OVERWRITE',['../ExtAPI_8h.html#a6dec9d5ce6e777757e97065129d96874',1,'ExtAPI.h']]],
-  ['json_5fread_5ffield_5ffwd_13113',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_13114',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5ffwd_13115',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_13116',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_5ffwd_13117',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
-  ['json_5fwrite_5ffield_13118',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
-  ['jsonforeach_13119',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]]
+  ['json_5fchild_13117',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
+  ['json_5fdef_5fread_5ffwd_13118',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
+  ['json_5ffield_5for_13119',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
+  ['json_5fkey_13120',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
+  ['json_5fopt_5ffunctiontype_13121',['JSON_OPT_FUNCTIONTYPE',['../ExtAPI_8h.html#a8af07ec3fec2ac9636dfb81bb7a8961e',1,'ExtAPI.h']]],
+  ['json_5fopt_5foverwrite_13122',['JSON_OPT_OVERWRITE',['../ExtAPI_8h.html#a6dec9d5ce6e777757e97065129d96874',1,'ExtAPI.h']]],
+  ['json_5fread_5ffield_5ffwd_13123',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_13124',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5ffwd_13125',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_13126',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_5ffwd_13127',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
+  ['json_5fwrite_5ffield_13128',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
+  ['jsonforeach_13129',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['kblu_13120',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
-  ['kcya_13121',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
-  ['kgrn_13122',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
-  ['kind_5fbase_13123',['KIND_BASE',['../SVFFileSystem_8h.html#acd86635235837daec1e66a538e45a4fb',1,'SVFFileSystem.h']]],
-  ['knrm_13124',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
-  ['kpur_13125',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
-  ['kred_13126',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
-  ['kwht_13127',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
-  ['kyel_13128',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
+  ['kblu_13130',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
+  ['kcya_13131',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
+  ['kgrn_13132',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
+  ['kind_5fbase_13133',['KIND_BASE',['../SVFFileSystem_8h.html#acd86635235837daec1e66a538e45a4fb',1,'SVFFileSystem.h']]],
+  ['knrm_13134',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
+  ['kpur_13135',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
+  ['kred_13136',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
+  ['kwht_13137',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
+  ['kyel_13138',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['llvm_5fhas_5fcpp_5fattribute_13129',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
-  ['llvm_5fnodiscard_13130',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]]
+  ['llvm_5fhas_5fcpp_5fattribute_13139',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
+  ['llvm_5fnodiscard_13140',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['nan_13131',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
-  ['native_5fint_5fsize_13132',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]]
+  ['nan_13141',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
+  ['native_5fint_5fsize_13142',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['read_5fcreate_5fedge_5ffwd_13133',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
-  ['read_5fcreate_5fnode_5ffwd_13134',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
+  ['read_5fcreate_5fedge_5ffwd_13143',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
+  ['read_5fcreate_5fnode_5ffwd_13144',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
 ];

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

@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['static_5fstrlen_13135',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
-  ['svf_5fdebug_5fwith_5ftype_13136',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
-  ['svf_5fglobal_5fctors_13137',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
-  ['svf_5fglobal_5fdtors_13138',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
-  ['svf_5fmain_5ffunc_5fname_13139',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
-  ['svfir_5fdebug_13140',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
+  ['static_5fstrlen_13145',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
+  ['svf_5fdebug_5fwith_5ftype_13146',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
+  ['svf_5fglobal_5fctors_13147',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
+  ['svf_5fglobal_5fdtors_13148',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
+  ['svf_5fmain_5ffunc_5fname_13149',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
+  ['svfir_5fdebug_13150',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['threadapi_5fcpp_5f_13141',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
-  ['timeinterval_13142',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
-  ['true_13143',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
+  ['threadapi_5fcpp_5f_13151',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
+  ['timeinterval_13152',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
+  ['true_13153',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['abstractvaluek_12564',['AbstractValueK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16',1,'SVF::AbstractValue']]],
-  ['aliascheckrule_12565',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
-  ['aliasresult_12566',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]]
+  ['abstractvaluek_12572',['AbstractValueK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16',1,'SVF::AbstractValue']]],
+  ['aliascheckrule_12573',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
+  ['aliasresult_12574',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['bugtype_12567',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug']]]
+  ['bugtype_12575',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['wtoct_12611',['WtoCT',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300',1,'SVF::CFBasicBlockGWTOComp']]]
+  ['wtoct_12619',['WtoCT',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300',1,'SVF::CFBasicBlockGWTOComp']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['zerobehavior_12612',['ZeroBehavior',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349',1,'SVF']]]
+  ['zerobehavior_12620',['ZeroBehavior',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349',1,'SVF']]]
 ];

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['cedgek_12568',['CEDGEK',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7',1,'SVF::PTACallGraphEdge::CEDGEK()'],['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494f',1,'SVF::TCTEdge::CEDGEK()']]],
-  ['cgek_12569',['CGEK',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1c',1,'SVF::PTACallGraph']]],
-  ['checker_5ftype_12570',['CHECKER_TYPE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056',1,'SVF::SaberCheckerAPI']]],
-  ['chedgetype_12571',['CHEDGETYPE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676',1,'SVF::CHEdge']]],
-  ['chgkind_12572',['CHGKind',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8',1,'SVF::CommonCHGraph']]],
-  ['classattr_12573',['CLASSATTR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3',1,'SVF::DCHNode::CLASSATTR()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4',1,'SVF::CHNode::CLASSATTR()']]],
-  ['clocktype_12574',['ClockType',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454',1,'SVF::SVFStat']]],
-  ['constraintedgek_12575',['ConstraintEdgeK',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375',1,'SVF::ConstraintEdge']]]
+  ['cedgek_12576',['CEDGEK',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7',1,'SVF::PTACallGraphEdge::CEDGEK()'],['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494f',1,'SVF::TCTEdge::CEDGEK()']]],
+  ['cgek_12577',['CGEK',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1c',1,'SVF::PTACallGraph']]],
+  ['checker_5ftype_12578',['CHECKER_TYPE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056',1,'SVF::SaberCheckerAPI']]],
+  ['chedgetype_12579',['CHEDGETYPE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676',1,'SVF::CHEdge']]],
+  ['chgkind_12580',['CHGKind',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8',1,'SVF::CommonCHGraph']]],
+  ['classattr_12581',['CLASSATTR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3',1,'SVF::DCHNode::CLASSATTR()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4',1,'SVF::CHNode::CLASSATTR()']]],
+  ['clocktype_12582',['ClockType',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454',1,'SVF::SVFStat']]],
+  ['constraintedgek_12583',['ConstraintEdgeK',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375',1,'SVF::ConstraintEdge']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['deftype_12576',['DEFTYPE',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18',1,'SVF::MSSADEF']]]
+  ['deftype_12584',['DEFTYPE',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18',1,'SVF::MSSADEF']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['enum_5finout_12577',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
-  ['eventtype_12578',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
-  ['exestate_5ftype_12579',['ExeState_TYPE',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8',1,'SVF::ExeState']]],
-  ['exttype_12580',['extType',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca',1,'SVF::ExtAPI']]]
+  ['enum_5finout_12585',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
+  ['eventtype_12586',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
+  ['exestate_5ftype_12587',['ExeState_TYPE',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8',1,'SVF::ExeState']]],
+  ['exttype_12588',['extType',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca',1,'SVF::ExtAPI']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['hclust_5ffast_5fmethods_12581',['hclust_fast_methods',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dd',1,'fastcluster.h']]]
+  ['hclust_5ffast_5fmethods_12589',['hclust_fast_methods',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dd',1,'fastcluster.h']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['icfgedgek_12582',['ICFGEdgeK',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429',1,'SVF::ICFGEdge']]],
-  ['icfgnodek_12583',['ICFGNodeK',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376',1,'SVF::ICFGNode']]]
+  ['icfgedgek_12590',['ICFGEdgeK',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429',1,'SVF::ICFGEdge']]],
+  ['icfgnodek_12591',['ICFGNodeK',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376',1,'SVF::ICFGNode']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['leak_5ftype_12584',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
-  ['lsrelation_12585',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
+  ['leak_5ftype_12592',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
+  ['lsrelation_12593',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['mempartition_12586',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
-  ['memtype_12587',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
-  ['modrefinfo_12588',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
-  ['mutype_12589',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
+  ['mempartition_12594',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
+  ['memtype_12595',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
+  ['modrefinfo_12596',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
+  ['mutype_12597',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['name_12590',['Name',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37',1,'SVF::GraphProgram']]]
+  ['name_12598',['Name',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37',1,'SVF::GraphProgram']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['opcode_12591',['OpCode',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6',1,'SVF::BinaryOPStmt::OpCode()'],['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742',1,'SVF::UnaryOPStmt::OpCode()']]],
-  ['operationtype_12592',['OperationType',['../classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0f',1,'SVF::ExtAPI']]]
+  ['opcode_12599',['OpCode',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6',1,'SVF::BinaryOPStmt::OpCode()'],['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742',1,'SVF::UnaryOPStmt::OpCode()']]],
+  ['operationtype_12600',['OperationType',['../classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0f',1,'SVF::ExtAPI']]]
 ];

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['pedgek_12593',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
-  ['pnodek_12594',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
-  ['predicate_12595',['Predicate',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt']]],
-  ['ptaimplty_12596',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis']]],
-  ['ptaty_12597',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis']]],
-  ['ptbackingtype_12598',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
-  ['ptdataty_12599',['PTDataTy',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848',1,'SVF::PTData']]]
+  ['pedgek_12601',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
+  ['pnodek_12602',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
+  ['predicate_12603',['Predicate',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt']]],
+  ['ptaimplty_12604',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis']]],
+  ['ptaty_12605',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis']]],
+  ['ptbackingtype_12606',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
+  ['ptdataty_12607',['PTDataTy',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848',1,'SVF::PTData']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['relationtype_12600',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]]
+  ['relationtype_12608',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['strategy_12601',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator']]],
-  ['svftykind_12602',['SVFTyKind',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c',1,'SVF::SVFType']]],
-  ['svfvalkind_12603',['SVFValKind',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e',1,'SVF::SVFValue']]],
-  ['symtype_12604',['SYMTYPE',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89b',1,'SVF::SymbolTableInfo']]]
+  ['strategy_12609',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator']]],
+  ['svftykind_12610',['SVFTyKind',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c',1,'SVF::SVFType']]],
+  ['svfvalkind_12611',['SVFValKind',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e',1,'SVF::SVFValue']]],
+  ['symtype_12612',['SYMTYPE',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89b',1,'SVF::SymbolTableInfo']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['td_5ftype_12605',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
-  ['type_12606',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo']]]
+  ['td_5ftype_12613',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
+  ['type_12614',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['valdomain_12607',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
-  ['vfgedgek_12608',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
-  ['vfgk_12609',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
-  ['vfgnodek_12610',['VFGNodeK',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75',1,'SVF::VFGNode']]]
+  ['valdomain_12615',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
+  ['vfgedgek_12616',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
+  ['vfgk_12617',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
+  ['vfgnodek_12618',['VFGNodeK',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75',1,'SVF::VFGNode']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['add_12613',['Add',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862',1,'SVF::BinaryOPStmt']]],
-  ['addr_12614',['Addr',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3',1,'SVF::ConstraintEdge::Addr()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92',1,'SVF::VFGNode::Addr()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197',1,'SVF::SVFStmt::Addr()'],['../classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa51e90abc2fa18c0552d84d2997b8662a',1,'SVF::ExtAPI::Addr()']]],
-  ['addressk_12615',['AddressK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187',1,'SVF::AbstractValue']]],
-  ['and_12616',['And',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856',1,'SVF::BinaryOPStmt']]],
-  ['andersen_5fbase_12617',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
-  ['andersen_5fwpa_12618',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],
-  ['andersenscd_5fwpa_12619',['AndersenSCD_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1',1,'SVF::PointerAnalysis']]],
-  ['andersensfr_5fwpa_12620',['AndersenSFR_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b',1,'SVF::PointerAnalysis']]],
-  ['andersenwavediff_5fwpa_12621',['AndersenWaveDiff_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2',1,'SVF::PointerAnalysis']]],
-  ['aparm_12622',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
-  ['apin_12623',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
-  ['apout_12624',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
-  ['aret_12625',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],
-  ['ashr_12626',['AShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576',1,'SVF::BinaryOPStmt']]]
+  ['add_12621',['Add',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862',1,'SVF::BinaryOPStmt']]],
+  ['addr_12622',['Addr',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3',1,'SVF::ConstraintEdge::Addr()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92',1,'SVF::VFGNode::Addr()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197',1,'SVF::SVFStmt::Addr()'],['../classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa51e90abc2fa18c0552d84d2997b8662a',1,'SVF::ExtAPI::Addr()']]],
+  ['addressk_12623',['AddressK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187',1,'SVF::AbstractValue']]],
+  ['and_12624',['And',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856',1,'SVF::BinaryOPStmt']]],
+  ['andersen_5fbase_12625',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
+  ['andersen_5fwpa_12626',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],
+  ['andersenscd_5fwpa_12627',['AndersenSCD_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1',1,'SVF::PointerAnalysis']]],
+  ['andersensfr_5fwpa_12628',['AndersenSFR_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b',1,'SVF::PointerAnalysis']]],
+  ['andersenwavediff_5fwpa_12629',['AndersenWaveDiff_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2',1,'SVF::PointerAnalysis']]],
+  ['aparm_12630',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
+  ['apin_12631',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
+  ['apout_12632',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
+  ['aret_12633',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],
+  ['ashr_12634',['AShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576',1,'SVF::BinaryOPStmt']]]
 ];