svf-tools 1.0.751 → 1.0.753

package/SVF-doxygen/html/html/menudata.js

@@ -338,6 +338,7 @@ var menudata={children:[
 {text:"j",url:"globals_defs.html#index_j"},
 {text:"k",url:"globals_defs.html#index_k"},
 {text:"l",url:"globals_defs.html#index_l"},
+{text:"m",url:"globals_defs.html#index_m"},
 {text:"n",url:"globals_defs.html#index_n"},
 {text:"r",url:"globals_defs.html#index_r"},
 {text:"s",url:"globals_defs.html#index_s"},

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

@@ -170,7 +170,7 @@ var searchData=
   ['true_5780',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
   ['truebranch_5foperands_5781',['trueBranch_operands',['../classSVF_1_1ExtAPI_1_1ExtOperation.html#a8f818e8eb7ac88c05ff9a23db76c411a',1,'SVF::ExtAPI::ExtOperation']]],
   ['twopi_5782',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
-  ['type_5783',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
+  ['type_5783',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
   ['type2typeinfo_5784',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
   ['type2typeinfomap_5785',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
   ['type_5fpair_5786',['type_pair',['../classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5',1,'SVF::ExtAPI']]],

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

@@ -29,7 +29,7 @@ var searchData=
   ['matchcontext_4037',['matchContext',['../classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af',1,'SVF::ContextCond::matchContext()'],['../classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec',1,'SVF::CxtStmtDPItem::matchContext()'],['../classSVF_1_1CxtDPItem.html#ad386861998e54ec754ca62f358f03e6a',1,'SVF::CxtDPItem::matchContext()']]],
   ['matchcxt_4038',['matchCxt',['../classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1LockAnalysis.html#a78eb13118f947fb1d84e274bb0f46695',1,'SVF::LockAnalysis::matchCxt()'],['../classSVF_1_1MHP.html#a3dc4c80d60039ce5f73583ce32784d82',1,'SVF::MHP::matchCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#ac95b1600aa524c3e607eebcf9d50df0e',1,'SVF::ForkJoinAnalysis::matchCxt()'],['../classSVF_1_1MTAResultValidator.html#a3207f67c8046e64ffd7beb4d5cd6c0e0',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1TCT.html#a9b1a5a9feb8cd97b37ee49727536a549',1,'SVF::TCT::matchCxt()']]],
   ['max_4039',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral::max()'],['../classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2',1,'SVF::NumericLiteral::max(std::vector< NumericLiteral > &_l)']]],
-  ['maxbvlen_4040',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options']]],
+  ['maxbvlen_4040',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options::MaxBVLen()'],['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'MaxBvLen(): BoundedZ3Expr.h']]],
   ['maxcontextlen_4041',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
   ['maxcxtsize_4042',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
   ['maxfieldlimit_4043',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],

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

@@ -1,5 +1,4 @@
 var searchData=
 [
-  ['nan_13137',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
-  ['native_5fint_5fsize_13138',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]]
+  ['maxbvlen_13137',['MaxBvLen',['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'BoundedZ3Expr.h']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['read_5fcreate_5fedge_5ffwd_13139',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
-  ['read_5fcreate_5fnode_5ffwd_13140',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
+  ['nan_13138',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
+  ['native_5fint_5fsize_13139',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]]
 ];

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

@@ -1,9 +1,5 @@
 var searchData=
 [
-  ['static_5fstrlen_13141',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
-  ['svf_5fdebug_5fwith_5ftype_13142',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
-  ['svf_5fglobal_5fctors_13143',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
-  ['svf_5fglobal_5fdtors_13144',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
-  ['svf_5fmain_5ffunc_5fname_13145',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
-  ['svfir_5fdebug_13146',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
+  ['read_5fcreate_5fedge_5ffwd_13140',['READ_CREATE_EDGE_FWD',['../SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec',1,'SVFFileSystem.cpp']]],
+  ['read_5fcreate_5fnode_5ffwd_13141',['READ_CREATE_NODE_FWD',['../SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad',1,'SVFFileSystem.cpp']]]
 ];

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

@@ -1,6 +1,9 @@
 var searchData=
 [
-  ['threadapi_5fcpp_5f_13147',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
-  ['timeinterval_13148',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
-  ['true_13149',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
+  ['static_5fstrlen_13142',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
+  ['svf_5fdebug_5fwith_5ftype_13143',['SVF_DEBUG_WITH_TYPE',['../SVFType_8h.html#af4959f3b61c766337464db7a1d3da399',1,'SVFType.h']]],
+  ['svf_5fglobal_5fctors_13144',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
+  ['svf_5fglobal_5fdtors_13145',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
+  ['svf_5fmain_5ffunc_5fname_13146',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]],
+  ['svfir_5fdebug_13147',['SVFIR_DEBUG',['../SVFFileSystem_8h.html#a9b0b85a19311bdaea6d6174812eef0d9',1,'SVFFileSystem.h']]]
 ];

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

@@ -1,7 +1,7 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <html><head><title></title>
 <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
-<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="generator" content="Doxygen 1.8.17"/>
 <link rel="stylesheet" type="text/css" href="search.css"/>
 <script type="text/javascript" src="defines_f.js"></script>
 <script type="text/javascript" src="search.js"></script>
@@ -11,15 +11,19 @@
 <div class="SRStatus" id="Loading">Loading...</div>
 <div id="SRResults"></div>
 <script type="text/javascript"><!--
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
 createResults();
+/* @license-end */
 --></script>
 <div class="SRStatus" id="Searching">Searching...</div>
 <div class="SRStatus" id="NoMatches">No Matches</div>
 <script type="text/javascript"><!--
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
 document.getElementById("Loading").style.display="none";
 document.getElementById("NoMatches").style.display="none";
 var searchResults = new SearchResults("searchResults");
 searchResults.Search();
+/* @license-end */
 --></script>
 </div>
 </body>

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

@@ -1,29 +1,6 @@
 var searchData=
 [
-  ['sizeof_5fint',['SIZEOF_INT',['../mtr_8h.html#a44184cf844a916eee78598ab35fc966b',1,'SIZEOF_INT(): mtr.h'],['../util_8h.html#a44184cf844a916eee78598ab35fc966b',1,'SIZEOF_INT(): util.h']]],
-  ['sizeof_5flong',['SIZEOF_LONG',['../cudd_8h.html#a22aece5d034fd9040a3d01c3797fdfe7',1,'SIZEOF_LONG(): cudd.h'],['../util_8h.html#a22aece5d034fd9040a3d01c3797fdfe7',1,'SIZEOF_LONG(): util.h']]],
-  ['sizeof_5fvoid_5fp',['SIZEOF_VOID_P',['../mtr_8h.html#a92616c6df51185d4cf143d10fe85739c',1,'SIZEOF_VOID_P(): mtr.h'],['../util_8h.html#a92616c6df51185d4cf143d10fe85739c',1,'SIZEOF_VOID_P(): util.h']]],
-  ['st_5fcount',['st_count',['../st_8h.html#a140c61cab2720a1fa326c92be40c62d8',1,'st.h']]],
-  ['st_5fdefault_5fgrow_5ffactor',['ST_DEFAULT_GROW_FACTOR',['../st_8h.html#a05bb01984da349eeeb8eed0ce43c38a5',1,'st.h']]],
-  ['st_5fdefault_5finit_5ftable_5fsize',['ST_DEFAULT_INIT_TABLE_SIZE',['../st_8h.html#a311df13f4d458054df7d87ca22782ab2',1,'st.h']]],
-  ['st_5fdefault_5fmax_5fdensity',['ST_DEFAULT_MAX_DENSITY',['../st_8h.html#a4f884be75490db2c92e409a0209fdbcb',1,'st.h']]],
-  ['st_5fdefault_5freorder_5fflag',['ST_DEFAULT_REORDER_FLAG',['../st_8h.html#a933aaa48b6a156a000befde073a24e4c',1,'st.h']]],
-  ['st_5fforeach_5fitem',['st_foreach_item',['../st_8h.html#aea51027ca2b7197709990fb086e12c2c',1,'st.h']]],
-  ['st_5fforeach_5fitem_5fint',['st_foreach_item_int',['../st_8h.html#a437227772bc9c4c0ec636f5723654a4c',1,'st.h']]],
-  ['st_5fis_5fmember',['st_is_member',['../st_8h.html#a3e18b4a4f91b4188aa376a15ca372b9c',1,'st.h']]],
-  ['st_5fnumcmp',['ST_NUMCMP',['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'st.c']]],
-  ['st_5fnumhash',['ST_NUMHASH',['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'st.c']]],
-  ['st_5fout_5fof_5fmem',['ST_OUT_OF_MEM',['../st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75',1,'st.h']]],
-  ['st_5fptrhash',['ST_PTRHASH',['../st_8c.html#a524a1efaf5df2432aa5bf96e35546164',1,'st.c']]],
-  ['st_5fshift',['st_shift',['../st_8c.html#ab2920f4cebe075a6fda8b299fce9f762',1,'st.c']]],
-  ['stab_5fdiv',['STAB_DIV',['../cuddInt_8c.html#a2f73d503bb99c5e8d750f9152caa5926',1,'cuddInt.c']]],
-  ['stab_5fsize',['STAB_SIZE',['../cuddInt_8c.html#ab2d303f24064e7fe8aa868d2e8850ab2',1,'cuddInt.c']]],
-  ['static_5fstrlen',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
-  ['statline',['statLine',['../cuddInt_8h.html#a94289b59164b0be08fdb041e6f847fd4',1,'cuddInt.h']]],
-  ['stop_5ftemp',['STOP_TEMP',['../cuddInt_8c.html#a325542c76e61adb1cebccf04f755bf52',1,'cuddInt.c']]],
-  ['storedd',['STOREDD',['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'cuddInt.c']]],
-  ['strsav',['strsav',['../util_8h.html#aed0348fcfd6ce9ab80a01d192c91fc82',1,'util.h']]],
-  ['svf_5fglobal_5fctors',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
-  ['svf_5fglobal_5fdtors',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
-  ['svf_5fmain_5ffunc_5fname',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]]
+  ['threadapi_5fcpp_5f_13148',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
+  ['timeinterval_13149',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
+  ['true_13150',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
 ];

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

@@ -10,7 +10,7 @@ var indexSectionsWithContent =
   7: "abcdehilmnoprstvwz",
   8: "abcdefghilmnoprstuvwxz",
   9: "abcdefgilmoprstv",
-  10: "abcdefhijklnrst"
+  10: "abcdefhijklmnrst"
 };
 
 var indexSectionNames =

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html

@@ -86,7 +86,7 @@ Public Member Functions</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Specialise hash for ConZ3Expr. </p>
 
-<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00389">389</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00384">384</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a232e38e5365af047f57631b121a04e66"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a232e38e5365af047f57631b121a04e66">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -112,10 +112,10 @@ Public Member Functions</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00391">391</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;    {</div>
-<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;        <span class="keywordflow">return</span> z3Expr.<a class="code" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">hash</a>();</div>
-<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00386">386</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;    {</div>
+<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;        <span class="keywordflow">return</span> z3Expr.<a class="code" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">hash</a>();</div>
+<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.751",
+  "version": "1.0.753",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {

package/svf/include/AbstractExecution/BoundedZ3Expr.h

@@ -29,6 +29,7 @@
 
 #ifndef SVF_BOUNDEDZ3EXPR_H
 #define SVF_BOUNDEDZ3EXPR_H
+#define MaxBvLen 64
 
 #include "Util/Z3Expr.h"
 
@@ -248,20 +249,17 @@ public:
 
     friend BoundedZ3Expr operator^(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)
     {
-        const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-        return bv2int(int2bv(maxBvLen, lhs.getExpr()) ^ int2bv(maxBvLen, rhs.getExpr()), true);
+        return bv2int(int2bv(MaxBvLen, lhs.getExpr()) ^ int2bv(MaxBvLen, rhs.getExpr()), true);
     }
 
     friend BoundedZ3Expr operator&(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)
     {
-        const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-        return bv2int(int2bv(maxBvLen, lhs.getExpr()) & int2bv(maxBvLen, rhs.getExpr()), true);
+        return bv2int(int2bv(MaxBvLen, lhs.getExpr()) & int2bv(MaxBvLen, rhs.getExpr()), true);
     }
 
     friend BoundedZ3Expr operator|(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)
     {
-        const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-        return bv2int(int2bv(maxBvLen, lhs.getExpr()) | int2bv(maxBvLen, rhs.getExpr()), true);
+        return bv2int(int2bv(MaxBvLen, lhs.getExpr()) | int2bv(MaxBvLen, rhs.getExpr()), true);
     }
 
     friend BoundedZ3Expr ashr(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)
@@ -274,8 +272,7 @@ public:
             return ite(lhs.getExpr() >= 0, BoundedZ3Expr(0), BoundedZ3Expr(-1));
         else
         {
-            const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-            return bv2int(ashr(int2bv(maxBvLen, lhs.getExpr()), int2bv(maxBvLen, rhs.getExpr())), true);
+            return bv2int(ashr(int2bv(MaxBvLen, lhs.getExpr()), int2bv(MaxBvLen, rhs.getExpr())), true);
         }
     }
 
@@ -289,15 +286,13 @@ public:
             return ite(lhs.getExpr() >= 0, plus_infinity(), minus_infinity());
         else
         {
-            const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-            return bv2int(shl(int2bv(maxBvLen, lhs.getExpr()), int2bv(maxBvLen, rhs.getExpr())), true);
+            return bv2int(shl(int2bv(MaxBvLen, lhs.getExpr()), int2bv(MaxBvLen, rhs.getExpr())), true);
         }
     }
 
     friend BoundedZ3Expr lshr(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)
     {
-        const auto &maxBvLen = std::max(lhs.bvLen(), rhs.bvLen());
-        return bv2int(lshr(int2bv(maxBvLen, lhs.getExpr()), int2bv(maxBvLen, rhs.getExpr())), true);
+        return bv2int(lshr(int2bv(MaxBvLen, lhs.getExpr()), int2bv(MaxBvLen, rhs.getExpr())), true);
     }
 
     friend BoundedZ3Expr int2bv(u32_t n, const BoundedZ3Expr &e)
@@ -394,3 +389,4 @@ struct std::hash<SVF::BoundedZ3Expr>
     }
 };
 #endif //SVF_BOUNDEDZ3EXPR_H
+

package/svf/include/Util/SVFBugReport.h

@@ -373,6 +373,18 @@ public:
             bugSet.insert(newBug);
             break;
         }
+        case GenericBug::FULLNULLPTRDEREFERENCE:
+        {
+            newBug = new FullNullPtrDereferenceBug(eventStack);
+            bugSet.insert(newBug);
+            break;
+        }
+        case GenericBug::PARTIALNULLPTRDEREFERENCE:
+        {
+            newBug = new PartialNullPtrDereferenceBug(eventStack);
+            bugSet.insert(newBug);
+            break;
+        }
         default:
         {
             assert(false && "Abstract Execution does NOT hava his bug type!");

package/svf/lib/Util/SVFBugReport.cpp

@@ -43,7 +43,9 @@ const std::map<GenericBug::BugType, std::string> GenericBug::BugType2Str =
     {GenericBug::PARTIALLEAK, "Partial Leak"},
     {GenericBug::FILENEVERCLOSE, "File Never Close"},
     {GenericBug::FILEPARTIALCLOSE, "File Partial Close"},
-    {GenericBug::DOUBLEFREE, "Double Free"}
+    {GenericBug::DOUBLEFREE, "Double Free"},
+    {GenericBug::FULLNULLPTRDEREFERENCE, "Full Null Ptr Dereference"},
+    {GenericBug::PARTIALNULLPTRDEREFERENCE, "Partial Null Ptr Dereference"}
 };
 
 const std::string GenericBug::getLoc() const