svf-tools 1.0.802 → 1.0.804

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

@@ -1,33 +1,33 @@
 var searchData=
 [
-  ['can_5faccess_5fat_5findex_13195',['can_access_at_index',['../cJSON_8cpp.html#ae210aa01f1afe7510658c392f0f6e128',1,'cJSON.cpp']]],
-  ['can_5fread_13196',['can_read',['../cJSON_8cpp.html#a2257377f8b81f4f76a16b698f681af34',1,'cJSON.cpp']]],
-  ['cannot_5faccess_5fat_5findex_13197',['cannot_access_at_index',['../cJSON_8cpp.html#a5c873a43d8a78ce9a6d9e8eb41d65d2d',1,'cJSON.cpp']]],
-  ['case_13198',['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_13199',['CHECK_JSON_KEY',['../SVFFileSystem_8h.html#a8c3c95bd6414e7960ccfd878132749ec',1,'SVFFileSystem.h']]],
-  ['check_5fjson_5fkey_5fequals_13200',['CHECK_JSON_KEY_EQUALS',['../SVFFileSystem_8h.html#a4fc971811430a60c75fae0604e39dbfa',1,'SVFFileSystem.h']]],
-  ['cjson_5farray_13201',['cJSON_Array',['../cJSON_8h.html#a57cffa126740a8efcdcb7bcef80e8897',1,'cJSON.h']]],
-  ['cjson_5farrayforeach_13202',['cJSON_ArrayForEach',['../cJSON_8h.html#ac3d6e5782fb4bb3c7a25c7c5b1868f06',1,'cJSON.h']]],
-  ['cjson_5fcdecl_13203',['CJSON_CDECL',['../cJSON_8h.html#a79203c3ba406ffd5736627cc1e082e38',1,'cJSON.h']]],
-  ['cjson_5ffalse_13204',['cJSON_False',['../cJSON_8h.html#a2d240682316354b5748f909ad220184b',1,'cJSON.h']]],
-  ['cjson_5finvalid_13205',['cJSON_Invalid',['../cJSON_8h.html#a80c36e86d8d65b697bc623fe28027668',1,'cJSON.h']]],
-  ['cjson_5fisreference_13206',['cJSON_IsReference',['../cJSON_8h.html#ad3d18116aae3bfa46f13bcfd7fd6d4e7',1,'cJSON.h']]],
-  ['cjson_5fmin_13207',['cjson_min',['../cJSON_8cpp.html#a13f540fa846f658531751b5ccb78f303',1,'cJSON.cpp']]],
-  ['cjson_5fnesting_5flimit_13208',['CJSON_NESTING_LIMIT',['../cJSON_8h.html#a9c7ac4e1b31070b787afb3a4b67727f4',1,'cJSON.h']]],
-  ['cjson_5fnull_13209',['cJSON_NULL',['../cJSON_8h.html#aeadaba63ddb68aaa518528595d503dcd',1,'cJSON.h']]],
-  ['cjson_5fnumber_13210',['cJSON_Number',['../cJSON_8h.html#a15e77e2f6457dc9b19c10ddb032af971',1,'cJSON.h']]],
-  ['cjson_5fobject_13211',['cJSON_Object',['../cJSON_8h.html#a22c6e13481c090629afbd77b7cebd24c',1,'cJSON.h']]],
-  ['cjson_5fpublic_13212',['CJSON_PUBLIC',['../cJSON_8h.html#a70709a6f2a7e45debe4f5abe345fcb86',1,'cJSON.h']]],
-  ['cjson_5fraw_13213',['cJSON_Raw',['../cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1',1,'cJSON.h']]],
-  ['cjson_5fsetboolvalue_13214',['cJSON_SetBoolValue',['../cJSON_8h.html#a210748b11b9b4f93d29391591a37ad85',1,'cJSON.h']]],
-  ['cjson_5fsetintvalue_13215',['cJSON_SetIntValue',['../cJSON_8h.html#ae5b1335bfccc358f566bea6f7e4bfdc6',1,'cJSON.h']]],
-  ['cjson_5fsetnumbervalue_13216',['cJSON_SetNumberValue',['../cJSON_8h.html#adab3f1e3586395bdb2da5a40059cb24b',1,'cJSON.h']]],
-  ['cjson_5fstdcall_13217',['CJSON_STDCALL',['../cJSON_8h.html#aee2cdf14a236df79175ef257a5a94964',1,'cJSON.h']]],
-  ['cjson_5fstring_13218',['cJSON_String',['../cJSON_8h.html#aa2cb4765308e2bbdf01988b2acdf92d9',1,'cJSON.h']]],
-  ['cjson_5fstringisconst_13219',['cJSON_StringIsConst',['../cJSON_8h.html#a491c3484a36f3915cc4710088f55971f',1,'cJSON.h']]],
-  ['cjson_5ftrue_13220',['cJSON_True',['../cJSON_8h.html#aad4e442b8095939decddfb67d87d9324',1,'cJSON.h']]],
-  ['cjson_5fversion_5fmajor_13221',['CJSON_VERSION_MAJOR',['../cJSON_8h.html#a78f100ac5089a51941e2ca573ad8e380',1,'cJSON.h']]],
-  ['cjson_5fversion_5fminor_13222',['CJSON_VERSION_MINOR',['../cJSON_8h.html#a55a808fe6b77cef1e4c2cf02a4316301',1,'cJSON.h']]],
-  ['cjson_5fversion_5fpatch_13223',['CJSON_VERSION_PATCH',['../cJSON_8h.html#a6ad7073103d4b9aaf2153add95561c47',1,'cJSON.h']]],
-  ['clock_5fin_5fms_13224',['CLOCK_IN_MS',['../SVFType_8h.html#af091e361d7961cb895ff2101eceed953',1,'SVFType.h']]]
+  ['can_5faccess_5fat_5findex_13199',['can_access_at_index',['../cJSON_8cpp.html#ae210aa01f1afe7510658c392f0f6e128',1,'cJSON.cpp']]],
+  ['can_5fread_13200',['can_read',['../cJSON_8cpp.html#a2257377f8b81f4f76a16b698f681af34',1,'cJSON.cpp']]],
+  ['cannot_5faccess_5fat_5findex_13201',['cannot_access_at_index',['../cJSON_8cpp.html#a5c873a43d8a78ce9a6d9e8eb41d65d2d',1,'cJSON.cpp']]],
+  ['case_13202',['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_13203',['CHECK_JSON_KEY',['../SVFFileSystem_8h.html#a8c3c95bd6414e7960ccfd878132749ec',1,'SVFFileSystem.h']]],
+  ['check_5fjson_5fkey_5fequals_13204',['CHECK_JSON_KEY_EQUALS',['../SVFFileSystem_8h.html#a4fc971811430a60c75fae0604e39dbfa',1,'SVFFileSystem.h']]],
+  ['cjson_5farray_13205',['cJSON_Array',['../cJSON_8h.html#a57cffa126740a8efcdcb7bcef80e8897',1,'cJSON.h']]],
+  ['cjson_5farrayforeach_13206',['cJSON_ArrayForEach',['../cJSON_8h.html#ac3d6e5782fb4bb3c7a25c7c5b1868f06',1,'cJSON.h']]],
+  ['cjson_5fcdecl_13207',['CJSON_CDECL',['../cJSON_8h.html#a79203c3ba406ffd5736627cc1e082e38',1,'cJSON.h']]],
+  ['cjson_5ffalse_13208',['cJSON_False',['../cJSON_8h.html#a2d240682316354b5748f909ad220184b',1,'cJSON.h']]],
+  ['cjson_5finvalid_13209',['cJSON_Invalid',['../cJSON_8h.html#a80c36e86d8d65b697bc623fe28027668',1,'cJSON.h']]],
+  ['cjson_5fisreference_13210',['cJSON_IsReference',['../cJSON_8h.html#ad3d18116aae3bfa46f13bcfd7fd6d4e7',1,'cJSON.h']]],
+  ['cjson_5fmin_13211',['cjson_min',['../cJSON_8cpp.html#a13f540fa846f658531751b5ccb78f303',1,'cJSON.cpp']]],
+  ['cjson_5fnesting_5flimit_13212',['CJSON_NESTING_LIMIT',['../cJSON_8h.html#a9c7ac4e1b31070b787afb3a4b67727f4',1,'cJSON.h']]],
+  ['cjson_5fnull_13213',['cJSON_NULL',['../cJSON_8h.html#aeadaba63ddb68aaa518528595d503dcd',1,'cJSON.h']]],
+  ['cjson_5fnumber_13214',['cJSON_Number',['../cJSON_8h.html#a15e77e2f6457dc9b19c10ddb032af971',1,'cJSON.h']]],
+  ['cjson_5fobject_13215',['cJSON_Object',['../cJSON_8h.html#a22c6e13481c090629afbd77b7cebd24c',1,'cJSON.h']]],
+  ['cjson_5fpublic_13216',['CJSON_PUBLIC',['../cJSON_8h.html#a70709a6f2a7e45debe4f5abe345fcb86',1,'cJSON.h']]],
+  ['cjson_5fraw_13217',['cJSON_Raw',['../cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1',1,'cJSON.h']]],
+  ['cjson_5fsetboolvalue_13218',['cJSON_SetBoolValue',['../cJSON_8h.html#a210748b11b9b4f93d29391591a37ad85',1,'cJSON.h']]],
+  ['cjson_5fsetintvalue_13219',['cJSON_SetIntValue',['../cJSON_8h.html#ae5b1335bfccc358f566bea6f7e4bfdc6',1,'cJSON.h']]],
+  ['cjson_5fsetnumbervalue_13220',['cJSON_SetNumberValue',['../cJSON_8h.html#adab3f1e3586395bdb2da5a40059cb24b',1,'cJSON.h']]],
+  ['cjson_5fstdcall_13221',['CJSON_STDCALL',['../cJSON_8h.html#aee2cdf14a236df79175ef257a5a94964',1,'cJSON.h']]],
+  ['cjson_5fstring_13222',['cJSON_String',['../cJSON_8h.html#aa2cb4765308e2bbdf01988b2acdf92d9',1,'cJSON.h']]],
+  ['cjson_5fstringisconst_13223',['cJSON_StringIsConst',['../cJSON_8h.html#a491c3484a36f3915cc4710088f55971f',1,'cJSON.h']]],
+  ['cjson_5ftrue_13224',['cJSON_True',['../cJSON_8h.html#aad4e442b8095939decddfb67d87d9324',1,'cJSON.h']]],
+  ['cjson_5fversion_5fmajor_13225',['CJSON_VERSION_MAJOR',['../cJSON_8h.html#a78f100ac5089a51941e2ca573ad8e380',1,'cJSON.h']]],
+  ['cjson_5fversion_5fminor_13226',['CJSON_VERSION_MINOR',['../cJSON_8h.html#a55a808fe6b77cef1e4c2cf02a4316301',1,'cJSON.h']]],
+  ['cjson_5fversion_5fpatch_13227',['CJSON_VERSION_PATCH',['../cJSON_8h.html#a6ad7073103d4b9aaf2153add95561c47',1,'cJSON.h']]],
+  ['clock_5fin_5fms_13228',['CLOCK_IN_MS',['../SVFType_8h.html#af091e361d7961cb895ff2101eceed953',1,'SVFType.h']]]
 ];

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

@@ -1,24 +1,24 @@
 var searchData=
 [
-  ['dandersen_13225',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
-  ['dbout_13226',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
-  ['dcache_13227',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
-  ['dcha_13228',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
-  ['dcommodel_13229',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
-  ['ddda_13230',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
-  ['ddumppt_13231',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
-  ['debug_5ftype_13232',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
-  ['default_5fextapi_5fbc_5fpath_13233',['DEFAULT_EXTAPI_BC_PATH',['../ExtAPI_8h.html#a3be52a096fe407bb55141117f1cf4c75',1,'ExtAPI.h']]],
-  ['dgeneral_13234',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
-  ['dinstrument_13235',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
-  ['dmemmodel_13236',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
-  ['dmemmodelce_13237',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
-  ['dmssa_13238',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
-  ['dmta_13239',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
-  ['dostat_13240',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
-  ['dotimestat_13241',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
-  ['dpagbuild_13242',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
-  ['drefinept_13243',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
-  ['dsaber_13244',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
-  ['dwpa_13245',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]]
+  ['dandersen_13229',['DAndersen',['../SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2',1,'SVFType.h']]],
+  ['dbout_13230',['DBOUT',['../SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFType.h']]],
+  ['dcache_13231',['DCache',['../SVFType_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFType.h']]],
+  ['dcha_13232',['DCHA',['../SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFType.h']]],
+  ['dcommodel_13233',['DCOMModel',['../SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857',1,'SVFType.h']]],
+  ['ddda_13234',['DDDA',['../SVFType_8h.html#a40845b3027a1237076aa8297ca39e730',1,'SVFType.h']]],
+  ['ddumppt_13235',['DDumpPT',['../SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b',1,'SVFType.h']]],
+  ['debug_5ftype_13236',['DEBUG_TYPE',['../BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d',1,'BreakConstantExpr.cpp']]],
+  ['default_5fextapi_5fbc_5fpath_13237',['DEFAULT_EXTAPI_BC_PATH',['../ExtAPI_8h.html#a3be52a096fe407bb55141117f1cf4c75',1,'ExtAPI.h']]],
+  ['dgeneral_13238',['DGENERAL',['../SVFType_8h.html#a2c64190a065f342897573a3ef4973adb',1,'SVFType.h']]],
+  ['dinstrument_13239',['DInstrument',['../SVFType_8h.html#abf3a5def3f319733214fa5f595b39827',1,'SVFType.h']]],
+  ['dmemmodel_13240',['DMemModel',['../SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f',1,'SVFType.h']]],
+  ['dmemmodelce_13241',['DMemModelCE',['../SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c',1,'SVFType.h']]],
+  ['dmssa_13242',['DMSSA',['../SVFType_8h.html#a385e9d80a013723304b329454d32e8b1',1,'SVFType.h']]],
+  ['dmta_13243',['DMTA',['../SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234',1,'SVFType.h']]],
+  ['dostat_13244',['DOSTAT',['../SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFType.h']]],
+  ['dotimestat_13245',['DOTIMESTAT',['../SVFType_8h.html#ab6f41e9db3675dc689c5492418885041',1,'SVFType.h']]],
+  ['dpagbuild_13246',['DPAGBuild',['../SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17',1,'SVFType.h']]],
+  ['drefinept_13247',['DRefinePT',['../SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29',1,'SVFType.h']]],
+  ['dsaber_13248',['DSaber',['../SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36',1,'SVFType.h']]],
+  ['dwpa_13249',['DWPA',['../SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180',1,'SVFType.h']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['ensure_5fnot_5fvisited_13246',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
-  ['eventtypemask_13247',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]]
+  ['ensure_5fnot_5fvisited_13250',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
+  ['eventtypemask_13251',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['f_13248',['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_13249',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
-  ['field_5fname_5fitem_13250',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
-  ['flippedaddressmask_13251',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]]
+  ['f_13252',['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_13253',['false',['../cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727',1,'cJSON.cpp']]],
+  ['field_5fname_5fitem_13254',['FIELD_NAME_ITEM',['../SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b',1,'SVFFileSystem.h']]],
+  ['flippedaddressmask_13255',['FlippedAddressMask',['../AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'AddressValue.h']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['has_5fclz_13252',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
-  ['has_5fclzll_13253',['HAS_CLZLL',['../SparseBitVector_8h.html#ad66fb43b1e40d6e22629fcd889d4bfab',1,'SparseBitVector.h']]]
+  ['has_5fclz_13256',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
+  ['has_5fclzll_13257',['HAS_CLZLL',['../SparseBitVector_8h.html#ad66fb43b1e40d6e22629fcd889d4bfab',1,'SparseBitVector.h']]]
 ];

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

@@ -1,8 +1,8 @@
 var searchData=
 [
-  ['internal_5ffree_13254',['internal_free',['../cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839',1,'cJSON.cpp']]],
-  ['internal_5fmalloc_13255',['internal_malloc',['../cJSON_8cpp.html#a7fd7640617f7ffead7a9b1408c9d0ae8',1,'cJSON.cpp']]],
-  ['internal_5frealloc_13256',['internal_realloc',['../cJSON_8cpp.html#a91654176e81c707d28b99dd0bf783ed5',1,'cJSON.cpp']]],
-  ['isinf_13257',['isinf',['../cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df',1,'cJSON.cpp']]],
-  ['isnan_13258',['isnan',['../cJSON_8cpp.html#a11b2d271b8abcb53159ffb82dc29547a',1,'cJSON.cpp']]]
+  ['internal_5ffree_13258',['internal_free',['../cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839',1,'cJSON.cpp']]],
+  ['internal_5fmalloc_13259',['internal_malloc',['../cJSON_8cpp.html#a7fd7640617f7ffead7a9b1408c9d0ae8',1,'cJSON.cpp']]],
+  ['internal_5frealloc_13260',['internal_realloc',['../cJSON_8cpp.html#a91654176e81c707d28b99dd0bf783ed5',1,'cJSON.cpp']]],
+  ['isinf_13261',['isinf',['../cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df',1,'cJSON.cpp']]],
+  ['isnan_13262',['isnan',['../cJSON_8cpp.html#a11b2d271b8abcb53159ffb82dc29547a',1,'cJSON.cpp']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['json_5fchild_13259',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
-  ['json_5fdef_5fread_5ffwd_13260',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
-  ['json_5ffield_5for_13261',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
-  ['json_5fkey_13262',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
-  ['json_5fread_5ffield_5ffwd_13263',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_13264',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5ffwd_13265',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_13266',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
-  ['json_5fread_5fobj_5fwith_5fname_5ffwd_13267',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
-  ['json_5fwrite_5ffield_13268',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
-  ['jsonforeach_13269',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]]
+  ['json_5fchild_13263',['JSON_CHILD',['../SVFFileSystem_8h.html#a3ca68624f5f02024303506488b437b75',1,'SVFFileSystem.h']]],
+  ['json_5fdef_5fread_5ffwd_13264',['JSON_DEF_READ_FWD',['../SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63',1,'SVFFileSystem.h']]],
+  ['json_5ffield_5for_13265',['JSON_FIELD_OR',['../SVFFileSystem_8h.html#aa5182abbfcd24028c330a998337c786b',1,'SVFFileSystem.h']]],
+  ['json_5fkey_13266',['JSON_KEY',['../SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da',1,'SVFFileSystem.h']]],
+  ['json_5fread_5ffield_5ffwd_13267',['JSON_READ_FIELD_FWD',['../SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_13268',['JSON_READ_OBJ',['../SVFFileSystem_8h.html#ac8b3857ce2ac53e578c170e60b19dbfd',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5ffwd_13269',['JSON_READ_OBJ_FWD',['../SVFFileSystem_8h.html#a017760a1bcb96eaf02f6631056cc4f6d',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_13270',['JSON_READ_OBJ_WITH_NAME',['../SVFFileSystem_8h.html#a2bf5ff5f66f8ffe83087032e6bb97715',1,'SVFFileSystem.h']]],
+  ['json_5fread_5fobj_5fwith_5fname_5ffwd_13271',['JSON_READ_OBJ_WITH_NAME_FWD',['../SVFFileSystem_8h.html#af7a4ae130128f0931d3a12421873f56c',1,'SVFFileSystem.h']]],
+  ['json_5fwrite_5ffield_13272',['JSON_WRITE_FIELD',['../SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c',1,'SVFFileSystem.h']]],
+  ['jsonforeach_13273',['jsonForEach',['../SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533',1,'SVFFileSystem.h']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['kblu_13270',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
-  ['kcya_13271',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
-  ['kgrn_13272',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
-  ['kind_5fbase_13273',['KIND_BASE',['../SVFFileSystem_8h.html#acd86635235837daec1e66a538e45a4fb',1,'SVFFileSystem.h']]],
-  ['knrm_13274',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
-  ['kpur_13275',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
-  ['kred_13276',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
-  ['kwht_13277',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
-  ['kyel_13278',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
+  ['kblu_13274',['KBLU',['../SVFUtil_8cpp.html#a3f838f2fc3a9a3b434be606fc908964b',1,'SVFUtil.cpp']]],
+  ['kcya_13275',['KCYA',['../SVFUtil_8cpp.html#add84f76d7bfbbc2b00215d7195f8d3bd',1,'SVFUtil.cpp']]],
+  ['kgrn_13276',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
+  ['kind_5fbase_13277',['KIND_BASE',['../SVFFileSystem_8h.html#acd86635235837daec1e66a538e45a4fb',1,'SVFFileSystem.h']]],
+  ['knrm_13278',['KNRM',['../SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9',1,'SVFUtil.cpp']]],
+  ['kpur_13279',['KPUR',['../SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b',1,'SVFUtil.cpp']]],
+  ['kred_13280',['KRED',['../SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1',1,'SVFUtil.cpp']]],
+  ['kwht_13281',['KWHT',['../SVFUtil_8cpp.html#af0036c8022c9980079ab17e5c87fd478',1,'SVFUtil.cpp']]],
+  ['kyel_13282',['KYEL',['../SVFUtil_8cpp.html#a897b10d246533c95ba86cb79f92e465a',1,'SVFUtil.cpp']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['llvm_5fhas_5fcpp_5fattribute_13279',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
-  ['llvm_5fnodiscard_13280',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]]
+  ['llvm_5fhas_5fcpp_5fattribute_13283',['LLVM_HAS_CPP_ATTRIBUTE',['../Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9',1,'Casting.h']]],
+  ['llvm_5fnodiscard_13284',['LLVM_NODISCARD',['../Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139',1,'Casting.h']]]
 ];

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

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

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['nan_13282',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
-  ['native_5fint_5fsize_13283',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]],
-  ['null_13284',['NULL',['../extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'extapi.c']]]
+  ['nan_13286',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
+  ['native_5fint_5fsize_13287',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]],
+  ['null_13288',['NULL',['../extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'extapi.c']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['read_5fcreate_5fedge_5ffwd_13285',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
-  ['read_5fcreate_5fnode_5ffwd_13286',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
+  ['read_5fcreate_5fedge_5ffwd_13289',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
+  ['read_5fcreate_5fnode_5ffwd_13290',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
 ];

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['static_5fobject_13287',['STATIC_OBJECT',['../extapi_8c.html#a3fca2c30a16a7d2fd2efc60687f74995',1,'extapi.c']]],
-  ['static_5fstrlen_13288',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
-  ['svf_5fdebug_5fwith_5ftype_13289',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
-  ['svf_5fglobal_5fctors_13290',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
-  ['svf_5fglobal_5fdtors_13291',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
-  ['svf_5fmain_5ffunc_5fname_13292',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
-  ['svfir_5fdebug_13293',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
+  ['static_5fobject_13291',['STATIC_OBJECT',['../extapi_8c.html#a3fca2c30a16a7d2fd2efc60687f74995',1,'extapi.c']]],
+  ['static_5fstrlen_13292',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
+  ['svf_5fdebug_5fwith_5ftype_13293',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
+  ['svf_5fglobal_5fctors_13294',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
+  ['svf_5fglobal_5fdtors_13295',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
+  ['svf_5fmain_5ffunc_5fname_13296',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
+  ['svfir_5fdebug_13297',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['threadapi_5fcpp_5f_13294',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
-  ['timeinterval_13295',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
-  ['true_13296',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
+  ['threadapi_5fcpp_5f_13298',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
+  ['timeinterval_13299',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
+  ['true_13300',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['abstractvaluek_12754',['AbstractValueK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16',1,'SVF::AbstractValue']]],
-  ['aliascheckrule_12755',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
-  ['aliasresult_12756',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]]
+  ['abstractvaluek_12758',['AbstractValueK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16',1,'SVF::AbstractValue']]],
+  ['aliascheckrule_12759',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
+  ['aliasresult_12760',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['bugtype_12757',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug']]],
-  ['builddirection_12758',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]]
+  ['bugtype_12761',['BugType',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac',1,'SVF::GenericBug']]],
+  ['builddirection_12762',['BuildDirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caa',1,'SVF']]]
 ];

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

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

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

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

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

@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['cedgek_12759',['CEDGEK',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7',1,'SVF::PTACallGraphEdge::CEDGEK()'],['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494f',1,'SVF::TCTEdge::CEDGEK()']]],
-  ['cgek_12760',['CGEK',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1c',1,'SVF::PTACallGraph']]],
-  ['checker_5ftype_12761',['CHECKER_TYPE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056',1,'SVF::SaberCheckerAPI']]],
-  ['chedgetype_12762',['CHEDGETYPE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676',1,'SVF::CHEdge']]],
-  ['chgkind_12763',['CHGKind',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8',1,'SVF::CommonCHGraph']]],
-  ['classattr_12764',['CLASSATTR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3',1,'SVF::DCHNode::CLASSATTR()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4',1,'SVF::CHNode::CLASSATTR()']]],
-  ['clocktype_12765',['ClockType',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454',1,'SVF::SVFStat']]],
-  ['constraintedgek_12766',['ConstraintEdgeK',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375',1,'SVF::ConstraintEdge']]]
+  ['cedgek_12763',['CEDGEK',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7',1,'SVF::PTACallGraphEdge::CEDGEK()'],['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494f',1,'SVF::TCTEdge::CEDGEK()']]],
+  ['cgek_12764',['CGEK',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1c',1,'SVF::PTACallGraph']]],
+  ['checker_5ftype_12765',['CHECKER_TYPE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056',1,'SVF::SaberCheckerAPI']]],
+  ['chedgetype_12766',['CHEDGETYPE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676',1,'SVF::CHEdge']]],
+  ['chgkind_12767',['CHGKind',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8',1,'SVF::CommonCHGraph']]],
+  ['classattr_12768',['CLASSATTR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3',1,'SVF::DCHNode::CLASSATTR()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4',1,'SVF::CHNode::CLASSATTR()']]],
+  ['clocktype_12769',['ClockType',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454',1,'SVF::SVFStat']]],
+  ['constraintedgek_12770',['ConstraintEdgeK',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375',1,'SVF::ConstraintEdge']]]
 ];

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

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

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['enum_5finout_12768',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
-  ['eventtype_12769',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
-  ['exestate_5ftype_12770',['ExeState_TYPE',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8',1,'SVF::ExeState']]]
+  ['enum_5finout_12772',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
+  ['eventtype_12773',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
+  ['exestate_5ftype_12774',['ExeState_TYPE',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8',1,'SVF::ExeState']]]
 ];

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

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

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['icfgedgek_12772',['ICFGEdgeK',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429',1,'SVF::ICFGEdge']]],
-  ['icfgnodek_12773',['ICFGNodeK',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376',1,'SVF::ICFGNode']]]
+  ['icfgedgek_12776',['ICFGEdgeK',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429',1,'SVF::ICFGEdge']]],
+  ['icfgnodek_12777',['ICFGNodeK',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376',1,'SVF::ICFGNode']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['leak_5ftype_12774',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
-  ['lsrelation_12775',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
+  ['leak_5ftype_12778',['LEAK_TYPE',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d',1,'SVF::LeakChecker']]],
+  ['lsrelation_12779',['LSRelation',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245',1,'SVF::AccessPath']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['mempartition_12776',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
-  ['memtype_12777',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
-  ['modrefinfo_12778',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
-  ['mutype_12779',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
+  ['mempartition_12780',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
+  ['memtype_12781',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
+  ['modrefinfo_12782',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
+  ['mutype_12783',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
 ];

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

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

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

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

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['pedgek_12782',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
-  ['pnodek_12783',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
-  ['predicate_12784',['Predicate',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt']]],
-  ['ptaimplty_12785',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis']]],
-  ['ptaty_12786',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis']]],
-  ['ptbackingtype_12787',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
-  ['ptdataty_12788',['PTDataTy',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848',1,'SVF::PTData']]]
+  ['pedgek_12786',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
+  ['pnodek_12787',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
+  ['predicate_12788',['Predicate',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt']]],
+  ['ptaimplty_12789',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis']]],
+  ['ptaty_12790',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis']]],
+  ['ptbackingtype_12791',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
+  ['ptdataty_12792',['PTDataTy',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848',1,'SVF::PTData']]]
 ];

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

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

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['strategy_12790',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator']]],
-  ['svftykind_12791',['SVFTyKind',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c',1,'SVF::SVFType']]],
-  ['svfvalkind_12792',['SVFValKind',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e',1,'SVF::SVFValue']]],
-  ['symtype_12793',['SYMTYPE',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89b',1,'SVF::SymbolTableInfo']]]
+  ['strategy_12794',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator']]],
+  ['svftykind_12795',['SVFTyKind',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c',1,'SVF::SVFType']]],
+  ['svfvalkind_12796',['SVFValKind',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e',1,'SVF::SVFValue']]],
+  ['symtype_12797',['SYMTYPE',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89b',1,'SVF::SymbolTableInfo']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['td_5ftype_12794',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
-  ['type_12795',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo']]]
+  ['td_5ftype_12798',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
+  ['type_12799',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['valdomain_12796',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
-  ['vfgedgek_12797',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
-  ['vfgk_12798',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
-  ['vfgnodek_12799',['VFGNodeK',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75',1,'SVF::VFGNode']]]
+  ['valdomain_12800',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
+  ['vfgedgek_12801',['VFGEdgeK',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5',1,'SVF::VFGEdge']]],
+  ['vfgk_12802',['VFGK',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6',1,'SVF::VFG']]],
+  ['vfgnodek_12803',['VFGNodeK',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75',1,'SVF::VFGNode']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['add_12802',['Add',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862',1,'SVF::BinaryOPStmt']]],
-  ['addr_12803',['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_12804',['AddressK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187',1,'SVF::AbstractValue']]],
-  ['and_12805',['And',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856',1,'SVF::BinaryOPStmt']]],
-  ['andersen_5fbase_12806',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
-  ['andersen_5fwpa_12807',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],
-  ['andersenscd_5fwpa_12808',['AndersenSCD_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1',1,'SVF::PointerAnalysis']]],
-  ['andersensfr_5fwpa_12809',['AndersenSFR_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b',1,'SVF::PointerAnalysis']]],
-  ['andersenwavediff_5fwpa_12810',['AndersenWaveDiff_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2',1,'SVF::PointerAnalysis']]],
-  ['aparm_12811',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
-  ['apin_12812',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
-  ['apout_12813',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
-  ['aret_12814',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],
-  ['ashr_12815',['AShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576',1,'SVF::BinaryOPStmt']]]
+  ['add_12806',['Add',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862',1,'SVF::BinaryOPStmt']]],
+  ['addr_12807',['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_12808',['AddressK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187',1,'SVF::AbstractValue']]],
+  ['and_12809',['And',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856',1,'SVF::BinaryOPStmt']]],
+  ['andersen_5fbase_12810',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
+  ['andersen_5fwpa_12811',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],
+  ['andersenscd_5fwpa_12812',['AndersenSCD_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1',1,'SVF::PointerAnalysis']]],
+  ['andersensfr_5fwpa_12813',['AndersenSFR_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b',1,'SVF::PointerAnalysis']]],
+  ['andersenwavediff_5fwpa_12814',['AndersenWaveDiff_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2',1,'SVF::PointerAnalysis']]],
+  ['aparm_12815',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
+  ['apin_12816',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
+  ['apout_12817',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
+  ['aret_12818',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],
+  ['ashr_12819',['AShr',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576',1,'SVF::BinaryOPStmt']]]
 ];