svf-tools 1.0.763 → 1.0.765

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

@@ -1,33 +1,33 @@
 var searchData=
 [
-  ['can_5faccess_5fat_5findex_12916',['can_access_at_index',['../cJSON_8cpp.html#ae210aa01f1afe7510658c392f0f6e128',1,'cJSON.cpp']]],
-  ['can_5fread_12917',['can_read',['../cJSON_8cpp.html#a2257377f8b81f4f76a16b698f681af34',1,'cJSON.cpp']]],
-  ['cannot_5faccess_5fat_5findex_12918',['cannot_access_at_index',['../cJSON_8cpp.html#a5c873a43d8a78ce9a6d9e8eb41d65d2d',1,'cJSON.cpp']]],
-  ['case_12919',['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_12920',['CHECK_JSON_KEY',['../SVFFileSystem_8h.html#a8c3c95bd6414e7960ccfd878132749ec',1,'SVFFileSystem.h']]],
-  ['check_5fjson_5fkey_5fequals_12921',['CHECK_JSON_KEY_EQUALS',['../SVFFileSystem_8h.html#a4fc971811430a60c75fae0604e39dbfa',1,'SVFFileSystem.h']]],
-  ['cjson_5farray_12922',['cJSON_Array',['../cJSON_8h.html#a57cffa126740a8efcdcb7bcef80e8897',1,'cJSON.h']]],
-  ['cjson_5farrayforeach_12923',['cJSON_ArrayForEach',['../cJSON_8h.html#ac3d6e5782fb4bb3c7a25c7c5b1868f06',1,'cJSON.h']]],
-  ['cjson_5fcdecl_12924',['CJSON_CDECL',['../cJSON_8h.html#a79203c3ba406ffd5736627cc1e082e38',1,'cJSON.h']]],
-  ['cjson_5ffalse_12925',['cJSON_False',['../cJSON_8h.html#a2d240682316354b5748f909ad220184b',1,'cJSON.h']]],
-  ['cjson_5finvalid_12926',['cJSON_Invalid',['../cJSON_8h.html#a80c36e86d8d65b697bc623fe28027668',1,'cJSON.h']]],
-  ['cjson_5fisreference_12927',['cJSON_IsReference',['../cJSON_8h.html#ad3d18116aae3bfa46f13bcfd7fd6d4e7',1,'cJSON.h']]],
-  ['cjson_5fmin_12928',['cjson_min',['../cJSON_8cpp.html#a13f540fa846f658531751b5ccb78f303',1,'cJSON.cpp']]],
-  ['cjson_5fnesting_5flimit_12929',['CJSON_NESTING_LIMIT',['../cJSON_8h.html#a9c7ac4e1b31070b787afb3a4b67727f4',1,'cJSON.h']]],
-  ['cjson_5fnull_12930',['cJSON_NULL',['../cJSON_8h.html#aeadaba63ddb68aaa518528595d503dcd',1,'cJSON.h']]],
-  ['cjson_5fnumber_12931',['cJSON_Number',['../cJSON_8h.html#a15e77e2f6457dc9b19c10ddb032af971',1,'cJSON.h']]],
-  ['cjson_5fobject_12932',['cJSON_Object',['../cJSON_8h.html#a22c6e13481c090629afbd77b7cebd24c',1,'cJSON.h']]],
-  ['cjson_5fpublic_12933',['CJSON_PUBLIC',['../cJSON_8h.html#a70709a6f2a7e45debe4f5abe345fcb86',1,'cJSON.h']]],
-  ['cjson_5fraw_12934',['cJSON_Raw',['../cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1',1,'cJSON.h']]],
-  ['cjson_5fsetboolvalue_12935',['cJSON_SetBoolValue',['../cJSON_8h.html#a210748b11b9b4f93d29391591a37ad85',1,'cJSON.h']]],
-  ['cjson_5fsetintvalue_12936',['cJSON_SetIntValue',['../cJSON_8h.html#ae5b1335bfccc358f566bea6f7e4bfdc6',1,'cJSON.h']]],
-  ['cjson_5fsetnumbervalue_12937',['cJSON_SetNumberValue',['../cJSON_8h.html#adab3f1e3586395bdb2da5a40059cb24b',1,'cJSON.h']]],
-  ['cjson_5fstdcall_12938',['CJSON_STDCALL',['../cJSON_8h.html#aee2cdf14a236df79175ef257a5a94964',1,'cJSON.h']]],
-  ['cjson_5fstring_12939',['cJSON_String',['../cJSON_8h.html#aa2cb4765308e2bbdf01988b2acdf92d9',1,'cJSON.h']]],
-  ['cjson_5fstringisconst_12940',['cJSON_StringIsConst',['../cJSON_8h.html#a491c3484a36f3915cc4710088f55971f',1,'cJSON.h']]],
-  ['cjson_5ftrue_12941',['cJSON_True',['../cJSON_8h.html#aad4e442b8095939decddfb67d87d9324',1,'cJSON.h']]],
-  ['cjson_5fversion_5fmajor_12942',['CJSON_VERSION_MAJOR',['../cJSON_8h.html#a78f100ac5089a51941e2ca573ad8e380',1,'cJSON.h']]],
-  ['cjson_5fversion_5fminor_12943',['CJSON_VERSION_MINOR',['../cJSON_8h.html#a55a808fe6b77cef1e4c2cf02a4316301',1,'cJSON.h']]],
-  ['cjson_5fversion_5fpatch_12944',['CJSON_VERSION_PATCH',['../cJSON_8h.html#a6ad7073103d4b9aaf2153add95561c47',1,'cJSON.h']]],
-  ['clock_5fin_5fms_12945',['CLOCK_IN_MS',['../SVFType_8h.html#af091e361d7961cb895ff2101eceed953',1,'SVFType.h']]]
+  ['can_5faccess_5fat_5findex_12914',['can_access_at_index',['../cJSON_8cpp.html#ae210aa01f1afe7510658c392f0f6e128',1,'cJSON.cpp']]],
+  ['can_5fread_12915',['can_read',['../cJSON_8cpp.html#a2257377f8b81f4f76a16b698f681af34',1,'cJSON.cpp']]],
+  ['cannot_5faccess_5fat_5findex_12916',['cannot_access_at_index',['../cJSON_8cpp.html#a5c873a43d8a78ce9a6d9e8eb41d65d2d',1,'cJSON.cpp']]],
+  ['case_12917',['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_12918',['CHECK_JSON_KEY',['../SVFFileSystem_8h.html#a8c3c95bd6414e7960ccfd878132749ec',1,'SVFFileSystem.h']]],
+  ['check_5fjson_5fkey_5fequals_12919',['CHECK_JSON_KEY_EQUALS',['../SVFFileSystem_8h.html#a4fc971811430a60c75fae0604e39dbfa',1,'SVFFileSystem.h']]],
+  ['cjson_5farray_12920',['cJSON_Array',['../cJSON_8h.html#a57cffa126740a8efcdcb7bcef80e8897',1,'cJSON.h']]],
+  ['cjson_5farrayforeach_12921',['cJSON_ArrayForEach',['../cJSON_8h.html#ac3d6e5782fb4bb3c7a25c7c5b1868f06',1,'cJSON.h']]],
+  ['cjson_5fcdecl_12922',['CJSON_CDECL',['../cJSON_8h.html#a79203c3ba406ffd5736627cc1e082e38',1,'cJSON.h']]],
+  ['cjson_5ffalse_12923',['cJSON_False',['../cJSON_8h.html#a2d240682316354b5748f909ad220184b',1,'cJSON.h']]],
+  ['cjson_5finvalid_12924',['cJSON_Invalid',['../cJSON_8h.html#a80c36e86d8d65b697bc623fe28027668',1,'cJSON.h']]],
+  ['cjson_5fisreference_12925',['cJSON_IsReference',['../cJSON_8h.html#ad3d18116aae3bfa46f13bcfd7fd6d4e7',1,'cJSON.h']]],
+  ['cjson_5fmin_12926',['cjson_min',['../cJSON_8cpp.html#a13f540fa846f658531751b5ccb78f303',1,'cJSON.cpp']]],
+  ['cjson_5fnesting_5flimit_12927',['CJSON_NESTING_LIMIT',['../cJSON_8h.html#a9c7ac4e1b31070b787afb3a4b67727f4',1,'cJSON.h']]],
+  ['cjson_5fnull_12928',['cJSON_NULL',['../cJSON_8h.html#aeadaba63ddb68aaa518528595d503dcd',1,'cJSON.h']]],
+  ['cjson_5fnumber_12929',['cJSON_Number',['../cJSON_8h.html#a15e77e2f6457dc9b19c10ddb032af971',1,'cJSON.h']]],
+  ['cjson_5fobject_12930',['cJSON_Object',['../cJSON_8h.html#a22c6e13481c090629afbd77b7cebd24c',1,'cJSON.h']]],
+  ['cjson_5fpublic_12931',['CJSON_PUBLIC',['../cJSON_8h.html#a70709a6f2a7e45debe4f5abe345fcb86',1,'cJSON.h']]],
+  ['cjson_5fraw_12932',['cJSON_Raw',['../cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1',1,'cJSON.h']]],
+  ['cjson_5fsetboolvalue_12933',['cJSON_SetBoolValue',['../cJSON_8h.html#a210748b11b9b4f93d29391591a37ad85',1,'cJSON.h']]],
+  ['cjson_5fsetintvalue_12934',['cJSON_SetIntValue',['../cJSON_8h.html#ae5b1335bfccc358f566bea6f7e4bfdc6',1,'cJSON.h']]],
+  ['cjson_5fsetnumbervalue_12935',['cJSON_SetNumberValue',['../cJSON_8h.html#adab3f1e3586395bdb2da5a40059cb24b',1,'cJSON.h']]],
+  ['cjson_5fstdcall_12936',['CJSON_STDCALL',['../cJSON_8h.html#aee2cdf14a236df79175ef257a5a94964',1,'cJSON.h']]],
+  ['cjson_5fstring_12937',['cJSON_String',['../cJSON_8h.html#aa2cb4765308e2bbdf01988b2acdf92d9',1,'cJSON.h']]],
+  ['cjson_5fstringisconst_12938',['cJSON_StringIsConst',['../cJSON_8h.html#a491c3484a36f3915cc4710088f55971f',1,'cJSON.h']]],
+  ['cjson_5ftrue_12939',['cJSON_True',['../cJSON_8h.html#aad4e442b8095939decddfb67d87d9324',1,'cJSON.h']]],
+  ['cjson_5fversion_5fmajor_12940',['CJSON_VERSION_MAJOR',['../cJSON_8h.html#a78f100ac5089a51941e2ca573ad8e380',1,'cJSON.h']]],
+  ['cjson_5fversion_5fminor_12941',['CJSON_VERSION_MINOR',['../cJSON_8h.html#a55a808fe6b77cef1e4c2cf02a4316301',1,'cJSON.h']]],
+  ['cjson_5fversion_5fpatch_12942',['CJSON_VERSION_PATCH',['../cJSON_8h.html#a6ad7073103d4b9aaf2153add95561c47',1,'cJSON.h']]],
+  ['clock_5fin_5fms_12943',['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_12946',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
-  ['dbout_12947',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
-  ['dcache_12948',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
-  ['dcha_12949',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
-  ['dcommodel_12950',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
-  ['ddda_12951',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
-  ['ddumppt_12952',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
-  ['debug_5ftype_12953',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
-  ['dgeneral_12954',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
-  ['dinstrument_12955',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
-  ['dmemmodel_12956',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
-  ['dmemmodelce_12957',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
-  ['dmssa_12958',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
-  ['dmta_12959',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
-  ['dostat_12960',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
-  ['dotimestat_12961',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
-  ['dpagbuild_12962',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
-  ['drefinept_12963',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
-  ['dsaber_12964',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
-  ['dwpa_12965',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]]
+  ['dandersen_12944',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
+  ['dbout_12945',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
+  ['dcache_12946',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
+  ['dcha_12947',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
+  ['dcommodel_12948',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
+  ['ddda_12949',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
+  ['ddumppt_12950',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
+  ['debug_5ftype_12951',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
+  ['dgeneral_12952',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
+  ['dinstrument_12953',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
+  ['dmemmodel_12954',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
+  ['dmemmodelce_12955',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
+  ['dmssa_12956',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
+  ['dmta_12957',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
+  ['dostat_12958',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
+  ['dotimestat_12959',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
+  ['dpagbuild_12960',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
+  ['drefinept_12961',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
+  ['dsaber_12962',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
+  ['dwpa_12963',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['ensure_5fnot_5fvisited_12966',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
-  ['eventtypemask_12967',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]]
+  ['ensure_5fnot_5fvisited_12964',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
+  ['eventtypemask_12965',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['f_12968',['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_12969',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
-  ['field_5fname_5fitem_12970',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
-  ['flippedaddressmask_12971',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]]
+  ['f_12966',['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_12967',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
+  ['field_5fname_5fitem_12968',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
+  ['flippedaddressmask_12969',['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_12972',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
-  ['has_5fclzll_12973',['HAS_CLZLL',['../SparseBitVector_8h.html#ad66fb43b1e40d6e22629fcd889d4bfab',1,'SparseBitVector.h']]]
+  ['has_5fclz_12970',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
+  ['has_5fclzll_12971',['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_12974',['internal_free',['../cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839',1,'cJSON.cpp']]],
-  ['internal_5fmalloc_12975',['internal_malloc',['../cJSON_8cpp.html#a7fd7640617f7ffead7a9b1408c9d0ae8',1,'cJSON.cpp']]],
-  ['internal_5frealloc_12976',['internal_realloc',['../cJSON_8cpp.html#a91654176e81c707d28b99dd0bf783ed5',1,'cJSON.cpp']]],
-  ['isinf_12977',['isinf',['../cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df',1,'cJSON.cpp']]],
-  ['isnan_12978',['isnan',['../cJSON_8cpp.html#a11b2d271b8abcb53159ffb82dc29547a',1,'cJSON.cpp']]]
+  ['internal_5ffree_12972',['internal_free',['../cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839',1,'cJSON.cpp']]],
+  ['internal_5fmalloc_12973',['internal_malloc',['../cJSON_8cpp.html#a7fd7640617f7ffead7a9b1408c9d0ae8',1,'cJSON.cpp']]],
+  ['internal_5frealloc_12974',['internal_realloc',['../cJSON_8cpp.html#a91654176e81c707d28b99dd0bf783ed5',1,'cJSON.cpp']]],
+  ['isinf_12975',['isinf',['../cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df',1,'cJSON.cpp']]],
+  ['isnan_12976',['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_12979',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
-  ['json_5fdef_5fread_5ffwd_12980',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
-  ['json_5ffield_5for_12981',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
-  ['json_5fkey_12982',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
-  ['json_5fread_5ffield_5ffwd_12983',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_12984',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5ffwd_12985',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_12986',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_5ffwd_12987',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
-  ['json_5fwrite_5ffield_12988',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
-  ['jsonforeach_12989',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]]
+  ['json_5fchild_12977',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
+  ['json_5fdef_5fread_5ffwd_12978',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
+  ['json_5ffield_5for_12979',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
+  ['json_5fkey_12980',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
+  ['json_5fread_5ffield_5ffwd_12981',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_12982',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5ffwd_12983',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_12984',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_5ffwd_12985',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
+  ['json_5fwrite_5ffield_12986',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
+  ['jsonforeach_12987',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['kblu_12990',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
-  ['kcya_12991',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
-  ['kgrn_12992',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
-  ['kind_5fbase_12993',['KIND_BASE',['../SVFFileSystem_8h.html#acd86635235837daec1e66a538e45a4fb',1,'SVFFileSystem.h']]],
-  ['knrm_12994',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
-  ['kpur_12995',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
-  ['kred_12996',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
-  ['kwht_12997',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
-  ['kyel_12998',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
+  ['kblu_12988',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
+  ['kcya_12989',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
+  ['kgrn_12990',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
+  ['kind_5fbase_12991',['KIND_BASE',['../SVFFileSystem_8h.html#acd86635235837daec1e66a538e45a4fb',1,'SVFFileSystem.h']]],
+  ['knrm_12992',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
+  ['kpur_12993',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
+  ['kred_12994',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
+  ['kwht_12995',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
+  ['kyel_12996',['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_12999',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
-  ['llvm_5fnodiscard_13000',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]]
+  ['llvm_5fhas_5fcpp_5fattribute_12997',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
+  ['llvm_5fnodiscard_12998',['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_13001',['MaxBvLen',['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'BoundedZ3Expr.h']]]
+  ['maxbvlen_12999',['MaxBvLen',['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'BoundedZ3Expr.h']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['nan_13002',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
-  ['native_5fint_5fsize_13003',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]],
-  ['null_13004',['NULL',['../extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'extapi.c']]]
+  ['nan_13000',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
+  ['native_5fint_5fsize_13001',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]],
+  ['null_13002',['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_13005',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
-  ['read_5fcreate_5fnode_5ffwd_13006',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
+  ['read_5fcreate_5fedge_5ffwd_13003',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
+  ['read_5fcreate_5fnode_5ffwd_13004',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
 ];

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

@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['static_5fstrlen_13007',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
-  ['svf_5fdebug_5fwith_5ftype_13008',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
-  ['svf_5fglobal_5fctors_13009',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
-  ['svf_5fglobal_5fdtors_13010',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
-  ['svf_5fmain_5ffunc_5fname_13011',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
-  ['svfir_5fdebug_13012',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
+  ['static_5fstrlen_13005',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
+  ['svf_5fdebug_5fwith_5ftype_13006',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
+  ['svf_5fglobal_5fctors_13007',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
+  ['svf_5fglobal_5fdtors_13008',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
+  ['svf_5fmain_5ffunc_5fname_13009',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
+  ['svfir_5fdebug_13010',['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_13013',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
-  ['timeinterval_13014',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
-  ['true_13015',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
+  ['threadapi_5fcpp_5f_13011',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
+  ['timeinterval_13012',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
+  ['true_13013',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['abstractvaluek_12475',['AbstractValueK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16',1,'SVF::AbstractValue']]],
-  ['aliascheckrule_12476',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
-  ['aliasresult_12477',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]]
+  ['abstractvaluek_12474',['AbstractValueK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16',1,'SVF::AbstractValue']]],
+  ['aliascheckrule_12475',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
+  ['aliasresult_12476',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['bugtype_12478',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug']]],
-  ['builddirection_12479',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]]
+  ['bugtype_12477',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug']]],
+  ['builddirection_12478',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]]
 ];

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

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

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['cedgek_12480',['CEDGEK',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7',1,'SVF::PTACallGraphEdge::CEDGEK()'],['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494f',1,'SVF::TCTEdge::CEDGEK()']]],
-  ['cgek_12481',['CGEK',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1c',1,'SVF::PTACallGraph']]],
-  ['checker_5ftype_12482',['CHECKER_TYPE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056',1,'SVF::SaberCheckerAPI']]],
-  ['chedgetype_12483',['CHEDGETYPE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676',1,'SVF::CHEdge']]],
-  ['chgkind_12484',['CHGKind',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8',1,'SVF::CommonCHGraph']]],
-  ['classattr_12485',['CLASSATTR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3',1,'SVF::DCHNode::CLASSATTR()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4',1,'SVF::CHNode::CLASSATTR()']]],
-  ['clocktype_12486',['ClockType',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454',1,'SVF::SVFStat']]],
-  ['constraintedgek_12487',['ConstraintEdgeK',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375',1,'SVF::ConstraintEdge']]]
+  ['cedgek_12479',['CEDGEK',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7',1,'SVF::PTACallGraphEdge::CEDGEK()'],['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494f',1,'SVF::TCTEdge::CEDGEK()']]],
+  ['cgek_12480',['CGEK',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1c',1,'SVF::PTACallGraph']]],
+  ['checker_5ftype_12481',['CHECKER_TYPE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056',1,'SVF::SaberCheckerAPI']]],
+  ['chedgetype_12482',['CHEDGETYPE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676',1,'SVF::CHEdge']]],
+  ['chgkind_12483',['CHGKind',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8',1,'SVF::CommonCHGraph']]],
+  ['classattr_12484',['CLASSATTR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3',1,'SVF::DCHNode::CLASSATTR()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4',1,'SVF::CHNode::CLASSATTR()']]],
+  ['clocktype_12485',['ClockType',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454',1,'SVF::SVFStat']]],
+  ['constraintedgek_12486',['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_12488',['DEFTYPE',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18',1,'SVF::MSSADEF']]]
+  ['deftype_12487',['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_12489',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
-  ['eventtype_12490',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
-  ['exestate_5ftype_12491',['ExeState_TYPE',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8',1,'SVF::ExeState']]]
+  ['enum_5finout_12488',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
+  ['eventtype_12489',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
+  ['exestate_5ftype_12490',['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_12492',['hclust_fast_methods',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dd',1,'fastcluster.h']]]
+  ['hclust_5ffast_5fmethods_12491',['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_12493',['ICFGEdgeK',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429',1,'SVF::ICFGEdge']]],
-  ['icfgnodek_12494',['ICFGNodeK',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376',1,'SVF::ICFGNode']]]
+  ['icfgedgek_12492',['ICFGEdgeK',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429',1,'SVF::ICFGEdge']]],
+  ['icfgnodek_12493',['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_12495',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
-  ['lsrelation_12496',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
+  ['leak_5ftype_12494',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
+  ['lsrelation_12495',['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_12497',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
-  ['memtype_12498',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
-  ['modrefinfo_12499',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
-  ['mutype_12500',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
+  ['mempartition_12496',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
+  ['memtype_12497',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
+  ['modrefinfo_12498',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
+  ['mutype_12499',['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_12501',['Name',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37',1,'SVF::GraphProgram']]]
+  ['name_12500',['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_12502',['OpCode',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6',1,'SVF::BinaryOPStmt::OpCode()'],['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742',1,'SVF::UnaryOPStmt::OpCode()']]]
+  ['opcode_12501',['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_12503',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
-  ['pnodek_12504',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
-  ['predicate_12505',['Predicate',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt']]],
-  ['ptaimplty_12506',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis']]],
-  ['ptaty_12507',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis']]],
-  ['ptbackingtype_12508',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
-  ['ptdataty_12509',['PTDataTy',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848',1,'SVF::PTData']]]
+  ['pedgek_12502',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
+  ['pnodek_12503',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
+  ['predicate_12504',['Predicate',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt']]],
+  ['ptaimplty_12505',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis']]],
+  ['ptaty_12506',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis']]],
+  ['ptbackingtype_12507',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
+  ['ptdataty_12508',['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_12510',['RELATIONTYPE',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22',1,'SVF::CHGraph']]]
+  ['relationtype_12509',['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_12511',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator']]],
-  ['svftykind_12512',['SVFTyKind',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c',1,'SVF::SVFType']]],
-  ['svfvalkind_12513',['SVFValKind',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e',1,'SVF::SVFValue']]],
-  ['symtype_12514',['SYMTYPE',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89b',1,'SVF::SymbolTableInfo']]]
+  ['strategy_12510',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator']]],
+  ['svftykind_12511',['SVFTyKind',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c',1,'SVF::SVFType']]],
+  ['svfvalkind_12512',['SVFValKind',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e',1,'SVF::SVFValue']]],
+  ['symtype_12513',['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_12515',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
-  ['type_12516',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo']]]
+  ['td_5ftype_12514',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
+  ['type_12515',['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_12517',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
-  ['vfgedgek_12518',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
-  ['vfgk_12519',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
-  ['vfgnodek_12520',['VFGNodeK',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75',1,'SVF::VFGNode']]]
+  ['valdomain_12516',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
+  ['vfgedgek_12517',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
+  ['vfgk_12518',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
+  ['vfgnodek_12519',['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_12523',['Add',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862',1,'SVF::BinaryOPStmt']]],
-  ['addr_12524',['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_12525',['AddressK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187',1,'SVF::AbstractValue']]],
-  ['and_12526',['And',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856',1,'SVF::BinaryOPStmt']]],
-  ['andersen_5fbase_12527',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
-  ['andersen_5fwpa_12528',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],
-  ['andersenscd_5fwpa_12529',['AndersenSCD_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1',1,'SVF::PointerAnalysis']]],
-  ['andersensfr_5fwpa_12530',['AndersenSFR_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b',1,'SVF::PointerAnalysis']]],
-  ['andersenwavediff_5fwpa_12531',['AndersenWaveDiff_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2',1,'SVF::PointerAnalysis']]],
-  ['aparm_12532',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
-  ['apin_12533',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
-  ['apout_12534',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
-  ['aret_12535',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],
-  ['ashr_12536',['AShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576',1,'SVF::BinaryOPStmt']]]
+  ['add_12522',['Add',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862',1,'SVF::BinaryOPStmt']]],
+  ['addr_12523',['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_12524',['AddressK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187',1,'SVF::AbstractValue']]],
+  ['and_12525',['And',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856',1,'SVF::BinaryOPStmt']]],
+  ['andersen_5fbase_12526',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
+  ['andersen_5fwpa_12527',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],
+  ['andersenscd_5fwpa_12528',['AndersenSCD_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1',1,'SVF::PointerAnalysis']]],
+  ['andersensfr_5fwpa_12529',['AndersenSFR_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b',1,'SVF::PointerAnalysis']]],
+  ['andersenwavediff_5fwpa_12530',['AndersenWaveDiff_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2',1,'SVF::PointerAnalysis']]],
+  ['aparm_12531',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
+  ['apin_12532',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
+  ['apout_12533',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
+  ['aret_12534',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],
+  ['ashr_12535',['AShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576',1,'SVF::BinaryOPStmt']]]
 ];