svf-tools 1.0.768 → 1.0.770

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

@@ -1,33 +1,33 @@
 var searchData=
 [
-  ['can_5faccess_5fat_5findex_12921',['can_access_at_index',['../cJSON_8cpp.html#ae210aa01f1afe7510658c392f0f6e128',1,'cJSON.cpp']]],
-  ['can_5fread_12922',['can_read',['../cJSON_8cpp.html#a2257377f8b81f4f76a16b698f681af34',1,'cJSON.cpp']]],
-  ['cannot_5faccess_5fat_5findex_12923',['cannot_access_at_index',['../cJSON_8cpp.html#a5c873a43d8a78ce9a6d9e8eb41d65d2d',1,'cJSON.cpp']]],
-  ['case_12924',['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_12925',['CHECK_JSON_KEY',['../SVFFileSystem_8h.html#a8c3c95bd6414e7960ccfd878132749ec',1,'SVFFileSystem.h']]],
-  ['check_5fjson_5fkey_5fequals_12926',['CHECK_JSON_KEY_EQUALS',['../SVFFileSystem_8h.html#a4fc971811430a60c75fae0604e39dbfa',1,'SVFFileSystem.h']]],
-  ['cjson_5farray_12927',['cJSON_Array',['../cJSON_8h.html#a57cffa126740a8efcdcb7bcef80e8897',1,'cJSON.h']]],
-  ['cjson_5farrayforeach_12928',['cJSON_ArrayForEach',['../cJSON_8h.html#ac3d6e5782fb4bb3c7a25c7c5b1868f06',1,'cJSON.h']]],
-  ['cjson_5fcdecl_12929',['CJSON_CDECL',['../cJSON_8h.html#a79203c3ba406ffd5736627cc1e082e38',1,'cJSON.h']]],
-  ['cjson_5ffalse_12930',['cJSON_False',['../cJSON_8h.html#a2d240682316354b5748f909ad220184b',1,'cJSON.h']]],
-  ['cjson_5finvalid_12931',['cJSON_Invalid',['../cJSON_8h.html#a80c36e86d8d65b697bc623fe28027668',1,'cJSON.h']]],
-  ['cjson_5fisreference_12932',['cJSON_IsReference',['../cJSON_8h.html#ad3d18116aae3bfa46f13bcfd7fd6d4e7',1,'cJSON.h']]],
-  ['cjson_5fmin_12933',['cjson_min',['../cJSON_8cpp.html#a13f540fa846f658531751b5ccb78f303',1,'cJSON.cpp']]],
-  ['cjson_5fnesting_5flimit_12934',['CJSON_NESTING_LIMIT',['../cJSON_8h.html#a9c7ac4e1b31070b787afb3a4b67727f4',1,'cJSON.h']]],
-  ['cjson_5fnull_12935',['cJSON_NULL',['../cJSON_8h.html#aeadaba63ddb68aaa518528595d503dcd',1,'cJSON.h']]],
-  ['cjson_5fnumber_12936',['cJSON_Number',['../cJSON_8h.html#a15e77e2f6457dc9b19c10ddb032af971',1,'cJSON.h']]],
-  ['cjson_5fobject_12937',['cJSON_Object',['../cJSON_8h.html#a22c6e13481c090629afbd77b7cebd24c',1,'cJSON.h']]],
-  ['cjson_5fpublic_12938',['CJSON_PUBLIC',['../cJSON_8h.html#a70709a6f2a7e45debe4f5abe345fcb86',1,'cJSON.h']]],
-  ['cjson_5fraw_12939',['cJSON_Raw',['../cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1',1,'cJSON.h']]],
-  ['cjson_5fsetboolvalue_12940',['cJSON_SetBoolValue',['../cJSON_8h.html#a210748b11b9b4f93d29391591a37ad85',1,'cJSON.h']]],
-  ['cjson_5fsetintvalue_12941',['cJSON_SetIntValue',['../cJSON_8h.html#ae5b1335bfccc358f566bea6f7e4bfdc6',1,'cJSON.h']]],
-  ['cjson_5fsetnumbervalue_12942',['cJSON_SetNumberValue',['../cJSON_8h.html#adab3f1e3586395bdb2da5a40059cb24b',1,'cJSON.h']]],
-  ['cjson_5fstdcall_12943',['CJSON_STDCALL',['../cJSON_8h.html#aee2cdf14a236df79175ef257a5a94964',1,'cJSON.h']]],
-  ['cjson_5fstring_12944',['cJSON_String',['../cJSON_8h.html#aa2cb4765308e2bbdf01988b2acdf92d9',1,'cJSON.h']]],
-  ['cjson_5fstringisconst_12945',['cJSON_StringIsConst',['../cJSON_8h.html#a491c3484a36f3915cc4710088f55971f',1,'cJSON.h']]],
-  ['cjson_5ftrue_12946',['cJSON_True',['../cJSON_8h.html#aad4e442b8095939decddfb67d87d9324',1,'cJSON.h']]],
-  ['cjson_5fversion_5fmajor_12947',['CJSON_VERSION_MAJOR',['../cJSON_8h.html#a78f100ac5089a51941e2ca573ad8e380',1,'cJSON.h']]],
-  ['cjson_5fversion_5fminor_12948',['CJSON_VERSION_MINOR',['../cJSON_8h.html#a55a808fe6b77cef1e4c2cf02a4316301',1,'cJSON.h']]],
-  ['cjson_5fversion_5fpatch_12949',['CJSON_VERSION_PATCH',['../cJSON_8h.html#a6ad7073103d4b9aaf2153add95561c47',1,'cJSON.h']]],
-  ['clock_5fin_5fms_12950',['CLOCK_IN_MS',['../SVFType_8h.html#af091e361d7961cb895ff2101eceed953',1,'SVFType.h']]]
+  ['can_5faccess_5fat_5findex_13008',['can_access_at_index',['../cJSON_8cpp.html#ae210aa01f1afe7510658c392f0f6e128',1,'cJSON.cpp']]],
+  ['can_5fread_13009',['can_read',['../cJSON_8cpp.html#a2257377f8b81f4f76a16b698f681af34',1,'cJSON.cpp']]],
+  ['cannot_5faccess_5fat_5findex_13010',['cannot_access_at_index',['../cJSON_8cpp.html#a5c873a43d8a78ce9a6d9e8eb41d65d2d',1,'cJSON.cpp']]],
+  ['case_13011',['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_13012',['CHECK_JSON_KEY',['../SVFFileSystem_8h.html#a8c3c95bd6414e7960ccfd878132749ec',1,'SVFFileSystem.h']]],
+  ['check_5fjson_5fkey_5fequals_13013',['CHECK_JSON_KEY_EQUALS',['../SVFFileSystem_8h.html#a4fc971811430a60c75fae0604e39dbfa',1,'SVFFileSystem.h']]],
+  ['cjson_5farray_13014',['cJSON_Array',['../cJSON_8h.html#a57cffa126740a8efcdcb7bcef80e8897',1,'cJSON.h']]],
+  ['cjson_5farrayforeach_13015',['cJSON_ArrayForEach',['../cJSON_8h.html#ac3d6e5782fb4bb3c7a25c7c5b1868f06',1,'cJSON.h']]],
+  ['cjson_5fcdecl_13016',['CJSON_CDECL',['../cJSON_8h.html#a79203c3ba406ffd5736627cc1e082e38',1,'cJSON.h']]],
+  ['cjson_5ffalse_13017',['cJSON_False',['../cJSON_8h.html#a2d240682316354b5748f909ad220184b',1,'cJSON.h']]],
+  ['cjson_5finvalid_13018',['cJSON_Invalid',['../cJSON_8h.html#a80c36e86d8d65b697bc623fe28027668',1,'cJSON.h']]],
+  ['cjson_5fisreference_13019',['cJSON_IsReference',['../cJSON_8h.html#ad3d18116aae3bfa46f13bcfd7fd6d4e7',1,'cJSON.h']]],
+  ['cjson_5fmin_13020',['cjson_min',['../cJSON_8cpp.html#a13f540fa846f658531751b5ccb78f303',1,'cJSON.cpp']]],
+  ['cjson_5fnesting_5flimit_13021',['CJSON_NESTING_LIMIT',['../cJSON_8h.html#a9c7ac4e1b31070b787afb3a4b67727f4',1,'cJSON.h']]],
+  ['cjson_5fnull_13022',['cJSON_NULL',['../cJSON_8h.html#aeadaba63ddb68aaa518528595d503dcd',1,'cJSON.h']]],
+  ['cjson_5fnumber_13023',['cJSON_Number',['../cJSON_8h.html#a15e77e2f6457dc9b19c10ddb032af971',1,'cJSON.h']]],
+  ['cjson_5fobject_13024',['cJSON_Object',['../cJSON_8h.html#a22c6e13481c090629afbd77b7cebd24c',1,'cJSON.h']]],
+  ['cjson_5fpublic_13025',['CJSON_PUBLIC',['../cJSON_8h.html#a70709a6f2a7e45debe4f5abe345fcb86',1,'cJSON.h']]],
+  ['cjson_5fraw_13026',['cJSON_Raw',['../cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1',1,'cJSON.h']]],
+  ['cjson_5fsetboolvalue_13027',['cJSON_SetBoolValue',['../cJSON_8h.html#a210748b11b9b4f93d29391591a37ad85',1,'cJSON.h']]],
+  ['cjson_5fsetintvalue_13028',['cJSON_SetIntValue',['../cJSON_8h.html#ae5b1335bfccc358f566bea6f7e4bfdc6',1,'cJSON.h']]],
+  ['cjson_5fsetnumbervalue_13029',['cJSON_SetNumberValue',['../cJSON_8h.html#adab3f1e3586395bdb2da5a40059cb24b',1,'cJSON.h']]],
+  ['cjson_5fstdcall_13030',['CJSON_STDCALL',['../cJSON_8h.html#aee2cdf14a236df79175ef257a5a94964',1,'cJSON.h']]],
+  ['cjson_5fstring_13031',['cJSON_String',['../cJSON_8h.html#aa2cb4765308e2bbdf01988b2acdf92d9',1,'cJSON.h']]],
+  ['cjson_5fstringisconst_13032',['cJSON_StringIsConst',['../cJSON_8h.html#a491c3484a36f3915cc4710088f55971f',1,'cJSON.h']]],
+  ['cjson_5ftrue_13033',['cJSON_True',['../cJSON_8h.html#aad4e442b8095939decddfb67d87d9324',1,'cJSON.h']]],
+  ['cjson_5fversion_5fmajor_13034',['CJSON_VERSION_MAJOR',['../cJSON_8h.html#a78f100ac5089a51941e2ca573ad8e380',1,'cJSON.h']]],
+  ['cjson_5fversion_5fminor_13035',['CJSON_VERSION_MINOR',['../cJSON_8h.html#a55a808fe6b77cef1e4c2cf02a4316301',1,'cJSON.h']]],
+  ['cjson_5fversion_5fpatch_13036',['CJSON_VERSION_PATCH',['../cJSON_8h.html#a6ad7073103d4b9aaf2153add95561c47',1,'cJSON.h']]],
+  ['clock_5fin_5fms_13037',['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_12951',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
-  ['dbout_12952',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
-  ['dcache_12953',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
-  ['dcha_12954',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
-  ['dcommodel_12955',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
-  ['ddda_12956',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
-  ['ddumppt_12957',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
-  ['debug_5ftype_12958',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
-  ['dgeneral_12959',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
-  ['dinstrument_12960',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
-  ['dmemmodel_12961',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
-  ['dmemmodelce_12962',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
-  ['dmssa_12963',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
-  ['dmta_12964',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
-  ['dostat_12965',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
-  ['dotimestat_12966',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
-  ['dpagbuild_12967',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
-  ['drefinept_12968',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
-  ['dsaber_12969',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
-  ['dwpa_12970',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]]
+  ['dandersen_13038',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
+  ['dbout_13039',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
+  ['dcache_13040',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
+  ['dcha_13041',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
+  ['dcommodel_13042',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
+  ['ddda_13043',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
+  ['ddumppt_13044',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
+  ['debug_5ftype_13045',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
+  ['dgeneral_13046',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
+  ['dinstrument_13047',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
+  ['dmemmodel_13048',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
+  ['dmemmodelce_13049',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
+  ['dmssa_13050',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
+  ['dmta_13051',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
+  ['dostat_13052',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
+  ['dotimestat_13053',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
+  ['dpagbuild_13054',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
+  ['drefinept_13055',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
+  ['dsaber_13056',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
+  ['dwpa_13057',['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_12971',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
-  ['eventtypemask_12972',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]],
-  ['extapi_5fbc_5fpath_12973',['EXTAPI_BC_PATH',['../ExtAPI_8h.html#a02f944ad8948fa28a15d67ab1252573b',1,'ExtAPI.h']]]
+  ['ensure_5fnot_5fvisited_13058',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
+  ['eventtypemask_13059',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]],
+  ['extapi_5fbc_5fpath_13060',['EXTAPI_BC_PATH',['../ExtAPI_8h.html#a02f944ad8948fa28a15d67ab1252573b',1,'ExtAPI.h']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['f_12974',['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_12975',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
-  ['field_5fname_5fitem_12976',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
-  ['flippedaddressmask_12977',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]]
+  ['f_13061',['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_13062',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
+  ['field_5fname_5fitem_13063',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
+  ['flippedaddressmask_13064',['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_12978',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
-  ['has_5fclzll_12979',['HAS_CLZLL',['../SparseBitVector_8h.html#ad66fb43b1e40d6e22629fcd889d4bfab',1,'SparseBitVector.h']]]
+  ['has_5fclz_13065',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
+  ['has_5fclzll_13066',['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_12980',['internal_free',['../cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839',1,'cJSON.cpp']]],
-  ['internal_5fmalloc_12981',['internal_malloc',['../cJSON_8cpp.html#a7fd7640617f7ffead7a9b1408c9d0ae8',1,'cJSON.cpp']]],
-  ['internal_5frealloc_12982',['internal_realloc',['../cJSON_8cpp.html#a91654176e81c707d28b99dd0bf783ed5',1,'cJSON.cpp']]],
-  ['isinf_12983',['isinf',['../cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df',1,'cJSON.cpp']]],
-  ['isnan_12984',['isnan',['../cJSON_8cpp.html#a11b2d271b8abcb53159ffb82dc29547a',1,'cJSON.cpp']]]
+  ['internal_5ffree_13067',['internal_free',['../cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839',1,'cJSON.cpp']]],
+  ['internal_5fmalloc_13068',['internal_malloc',['../cJSON_8cpp.html#a7fd7640617f7ffead7a9b1408c9d0ae8',1,'cJSON.cpp']]],
+  ['internal_5frealloc_13069',['internal_realloc',['../cJSON_8cpp.html#a91654176e81c707d28b99dd0bf783ed5',1,'cJSON.cpp']]],
+  ['isinf_13070',['isinf',['../cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df',1,'cJSON.cpp']]],
+  ['isnan_13071',['isnan',['../cJSON_8cpp.html#a11b2d271b8abcb53159ffb82dc29547a',1,'cJSON.cpp']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['json_5fchild_12985',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
-  ['json_5fdef_5fread_5ffwd_12986',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
-  ['json_5ffield_5for_12987',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
-  ['json_5fkey_12988',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
-  ['json_5fread_5ffield_5ffwd_12989',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_12990',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5ffwd_12991',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_12992',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_5ffwd_12993',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
-  ['json_5fwrite_5ffield_12994',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
-  ['jsonforeach_12995',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]]
+  ['json_5fchild_13072',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
+  ['json_5fdef_5fread_5ffwd_13073',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
+  ['json_5ffield_5for_13074',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
+  ['json_5fkey_13075',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
+  ['json_5fread_5ffield_5ffwd_13076',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_13077',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5ffwd_13078',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_13079',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_5ffwd_13080',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
+  ['json_5fwrite_5ffield_13081',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
+  ['jsonforeach_13082',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['kblu_12996',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
-  ['kcya_12997',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
-  ['kgrn_12998',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
-  ['kind_5fbase_12999',['KIND_BASE',['../SVFFileSystem_8h.html#acd86635235837daec1e66a538e45a4fb',1,'SVFFileSystem.h']]],
-  ['knrm_13000',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
-  ['kpur_13001',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
-  ['kred_13002',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
-  ['kwht_13003',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
-  ['kyel_13004',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
+  ['kblu_13083',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
+  ['kcya_13084',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
+  ['kgrn_13085',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
+  ['kind_5fbase_13086',['KIND_BASE',['../SVFFileSystem_8h.html#acd86635235837daec1e66a538e45a4fb',1,'SVFFileSystem.h']]],
+  ['knrm_13087',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
+  ['kpur_13088',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
+  ['kred_13089',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
+  ['kwht_13090',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
+  ['kyel_13091',['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_13005',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
-  ['llvm_5fnodiscard_13006',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]]
+  ['llvm_5fhas_5fcpp_5fattribute_13092',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
+  ['llvm_5fnodiscard_13093',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['maxbvlen_13007',['MaxBvLen',['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'BoundedZ3Expr.h']]]
+  ['maxbvlen_13094',['MaxBvLen',['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'BoundedZ3Expr.h']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['nan_13008',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
-  ['native_5fint_5fsize_13009',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]],
-  ['null_13010',['NULL',['../extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'extapi.c']]]
+  ['nan_13095',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
+  ['native_5fint_5fsize_13096',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]],
+  ['null_13097',['NULL',['../extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'extapi.c']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['read_5fcreate_5fedge_5ffwd_13011',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
-  ['read_5fcreate_5fnode_5ffwd_13012',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
+  ['read_5fcreate_5fedge_5ffwd_13098',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
+  ['read_5fcreate_5fnode_5ffwd_13099',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
 ];

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

@@ -1,9 +1,10 @@
 var searchData=
 [
-  ['static_5fstrlen_13013',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
-  ['svf_5fdebug_5fwith_5ftype_13014',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
-  ['svf_5fglobal_5fctors_13015',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
-  ['svf_5fglobal_5fdtors_13016',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
-  ['svf_5fmain_5ffunc_5fname_13017',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
-  ['svfir_5fdebug_13018',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
+  ['static_5fobject_13100',['STATIC_OBJECT',['../extapi_8c.html#a3fca2c30a16a7d2fd2efc60687f74995',1,'extapi.c']]],
+  ['static_5fstrlen_13101',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
+  ['svf_5fdebug_5fwith_5ftype_13102',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
+  ['svf_5fglobal_5fctors_13103',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
+  ['svf_5fglobal_5fdtors_13104',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
+  ['svf_5fmain_5ffunc_5fname_13105',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
+  ['svfir_5fdebug_13106',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['threadapi_5fcpp_5f_13019',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
-  ['timeinterval_13020',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
-  ['true_13021',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
+  ['threadapi_5fcpp_5f_13107',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
+  ['timeinterval_13108',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
+  ['true_13109',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['abstractvaluek_12481',['AbstractValueK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16',1,'SVF::AbstractValue']]],
-  ['aliascheckrule_12482',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
-  ['aliasresult_12483',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]]
+  ['abstractvaluek_12568',['AbstractValueK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16',1,'SVF::AbstractValue']]],
+  ['aliascheckrule_12569',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
+  ['aliasresult_12570',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['bugtype_12484',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug']]],
-  ['builddirection_12485',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]]
+  ['bugtype_12571',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug']]],
+  ['builddirection_12572',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['wtoct_12527',['WtoCT',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300',1,'SVF::CFBasicBlockGWTOComp']]]
+  ['wtoct_12614',['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_12528',['ZeroBehavior',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349',1,'SVF']]]
+  ['zerobehavior_12615',['ZeroBehavior',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349',1,'SVF']]]
 ];

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['cedgek_12486',['CEDGEK',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7',1,'SVF::PTACallGraphEdge::CEDGEK()'],['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494f',1,'SVF::TCTEdge::CEDGEK()']]],
-  ['cgek_12487',['CGEK',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1c',1,'SVF::PTACallGraph']]],
-  ['checker_5ftype_12488',['CHECKER_TYPE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056',1,'SVF::SaberCheckerAPI']]],
-  ['chedgetype_12489',['CHEDGETYPE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676',1,'SVF::CHEdge']]],
-  ['chgkind_12490',['CHGKind',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8',1,'SVF::CommonCHGraph']]],
-  ['classattr_12491',['CLASSATTR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3',1,'SVF::DCHNode::CLASSATTR()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4',1,'SVF::CHNode::CLASSATTR()']]],
-  ['clocktype_12492',['ClockType',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454',1,'SVF::SVFStat']]],
-  ['constraintedgek_12493',['ConstraintEdgeK',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375',1,'SVF::ConstraintEdge']]]
+  ['cedgek_12573',['CEDGEK',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7',1,'SVF::PTACallGraphEdge::CEDGEK()'],['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494f',1,'SVF::TCTEdge::CEDGEK()']]],
+  ['cgek_12574',['CGEK',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1c',1,'SVF::PTACallGraph']]],
+  ['checker_5ftype_12575',['CHECKER_TYPE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056',1,'SVF::SaberCheckerAPI']]],
+  ['chedgetype_12576',['CHEDGETYPE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676',1,'SVF::CHEdge']]],
+  ['chgkind_12577',['CHGKind',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8',1,'SVF::CommonCHGraph']]],
+  ['classattr_12578',['CLASSATTR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3',1,'SVF::DCHNode::CLASSATTR()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4',1,'SVF::CHNode::CLASSATTR()']]],
+  ['clocktype_12579',['ClockType',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454',1,'SVF::SVFStat']]],
+  ['constraintedgek_12580',['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_12494',['DEFTYPE',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18',1,'SVF::MSSADEF']]]
+  ['deftype_12581',['DEFTYPE',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18',1,'SVF::MSSADEF']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['enum_5finout_12495',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
-  ['eventtype_12496',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
-  ['exestate_5ftype_12497',['ExeState_TYPE',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8',1,'SVF::ExeState']]]
+  ['enum_5finout_12582',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
+  ['eventtype_12583',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
+  ['exestate_5ftype_12584',['ExeState_TYPE',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8',1,'SVF::ExeState']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['hclust_5ffast_5fmethods_12498',['hclust_fast_methods',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dd',1,'fastcluster.h']]]
+  ['hclust_5ffast_5fmethods_12585',['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_12499',['ICFGEdgeK',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429',1,'SVF::ICFGEdge']]],
-  ['icfgnodek_12500',['ICFGNodeK',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376',1,'SVF::ICFGNode']]]
+  ['icfgedgek_12586',['ICFGEdgeK',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429',1,'SVF::ICFGEdge']]],
+  ['icfgnodek_12587',['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_12501',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
-  ['lsrelation_12502',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
+  ['leak_5ftype_12588',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
+  ['lsrelation_12589',['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_12503',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
-  ['memtype_12504',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
-  ['modrefinfo_12505',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
-  ['mutype_12506',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
+  ['mempartition_12590',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
+  ['memtype_12591',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
+  ['modrefinfo_12592',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
+  ['mutype_12593',['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_12507',['Name',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37',1,'SVF::GraphProgram']]]
+  ['name_12594',['Name',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37',1,'SVF::GraphProgram']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['opcode_12508',['OpCode',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6',1,'SVF::BinaryOPStmt::OpCode()'],['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742',1,'SVF::UnaryOPStmt::OpCode()']]]
+  ['opcode_12595',['OpCode',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6',1,'SVF::BinaryOPStmt::OpCode()'],['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742',1,'SVF::UnaryOPStmt::OpCode()']]]
 ];

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['pedgek_12509',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
-  ['pnodek_12510',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
-  ['predicate_12511',['Predicate',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt']]],
-  ['ptaimplty_12512',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis']]],
-  ['ptaty_12513',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis']]],
-  ['ptbackingtype_12514',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
-  ['ptdataty_12515',['PTDataTy',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848',1,'SVF::PTData']]]
+  ['pedgek_12596',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
+  ['pnodek_12597',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
+  ['predicate_12598',['Predicate',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt']]],
+  ['ptaimplty_12599',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis']]],
+  ['ptaty_12600',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis']]],
+  ['ptbackingtype_12601',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
+  ['ptdataty_12602',['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_12516',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]]
+  ['relationtype_12603',['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_12517',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator']]],
-  ['svftykind_12518',['SVFTyKind',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c',1,'SVF::SVFType']]],
-  ['svfvalkind_12519',['SVFValKind',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e',1,'SVF::SVFValue']]],
-  ['symtype_12520',['SYMTYPE',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89b',1,'SVF::SymbolTableInfo']]]
+  ['strategy_12604',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator']]],
+  ['svftykind_12605',['SVFTyKind',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c',1,'SVF::SVFType']]],
+  ['svfvalkind_12606',['SVFValKind',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e',1,'SVF::SVFValue']]],
+  ['symtype_12607',['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_12521',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
-  ['type_12522',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo']]]
+  ['td_5ftype_12608',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
+  ['type_12609',['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_12523',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
-  ['vfgedgek_12524',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
-  ['vfgk_12525',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
-  ['vfgnodek_12526',['VFGNodeK',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75',1,'SVF::VFGNode']]]
+  ['valdomain_12610',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
+  ['vfgedgek_12611',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
+  ['vfgk_12612',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
+  ['vfgnodek_12613',['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_12529',['Add',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862',1,'SVF::BinaryOPStmt']]],
-  ['addr_12530',['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()']]],
-  ['addressk_12531',['AddressK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187',1,'SVF::AbstractValue']]],
-  ['and_12532',['And',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856',1,'SVF::BinaryOPStmt']]],
-  ['andersen_5fbase_12533',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
-  ['andersen_5fwpa_12534',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],
-  ['andersenscd_5fwpa_12535',['AndersenSCD_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1',1,'SVF::PointerAnalysis']]],
-  ['andersensfr_5fwpa_12536',['AndersenSFR_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b',1,'SVF::PointerAnalysis']]],
-  ['andersenwavediff_5fwpa_12537',['AndersenWaveDiff_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2',1,'SVF::PointerAnalysis']]],
-  ['aparm_12538',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
-  ['apin_12539',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
-  ['apout_12540',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
-  ['aret_12541',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],
-  ['ashr_12542',['AShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576',1,'SVF::BinaryOPStmt']]]
+  ['add_12616',['Add',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862',1,'SVF::BinaryOPStmt']]],
+  ['addr_12617',['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()']]],
+  ['addressk_12618',['AddressK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187',1,'SVF::AbstractValue']]],
+  ['and_12619',['And',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856',1,'SVF::BinaryOPStmt']]],
+  ['andersen_5fbase_12620',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
+  ['andersen_5fwpa_12621',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],
+  ['andersenscd_5fwpa_12622',['AndersenSCD_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1',1,'SVF::PointerAnalysis']]],
+  ['andersensfr_5fwpa_12623',['AndersenSFR_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b',1,'SVF::PointerAnalysis']]],
+  ['andersenwavediff_5fwpa_12624',['AndersenWaveDiff_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2',1,'SVF::PointerAnalysis']]],
+  ['aparm_12625',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
+  ['apin_12626',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
+  ['apout_12627',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
+  ['aret_12628',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],
+  ['ashr_12629',['AShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576',1,'SVF::BinaryOPStmt']]]
 ];