svf-tools 1.0.340 → 1.0.341
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +16 -15
- package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +29 -27
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +44 -42
- package/SVF-doxygen/html/html/classSVF_1_1MemObj-members.html +23 -22
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +69 -46
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo-members.html +17 -15
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +141 -106
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +17 -16
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +15 -15
- package/SVF-doxygen/html/html/functions_c.html +21 -16
- package/SVF-doxygen/html/html/functions_eval_c.html +5 -2
- package/SVF-doxygen/html/html/functions_func_i.html +19 -17
- package/SVF-doxygen/html/html/functions_i.html +19 -17
- package/SVF-doxygen/html/html/functions_m.html +1 -1
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +10 -10
- package/SVF-doxygen/html/html/functions_p.html +17 -23
- package/SVF-doxygen/html/html/functions_s.html +7 -9
- package/SVF-doxygen/html/html/functions_w.html +5 -9
- package/SVF-doxygen/html/html/search/all_10.js +11 -11
- package/SVF-doxygen/html/html/search/all_12.js +1 -1
- package/SVF-doxygen/html/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/html/search/all_14.js +4 -4
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +2 -1
- package/SVF-doxygen/html/html/search/all_9.js +4 -4
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +2 -2
- package/SVF-doxygen/html/html/search/enumvalues_2.js +2 -1
- package/SVF-doxygen/html/html/search/functions_8.js +4 -4
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/include/MemoryModel/SVFIR.h +1 -1
- package/include/MemoryModel/SymbolTableInfo.h +15 -9
- package/lib/MemoryModel/SymbolTableInfo.cpp +12 -7
- package/lib/SVF-FE/SymbolTableBuilder.cpp +2 -2
- package/lib/Util/PTAStat.cpp +3 -3
- package/package.json +1 -1
|
@@ -72,21 +72,23 @@ $(function() {
|
|
|
72
72
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78">analyzeHeapObjType</a>(const Type *type)</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
73
73
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#aa8b97a2cbd2de56b3c6c5c0e2e0a2211">analyzeStaticObjType</a>(const Type *type)</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
74
74
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aff4142c0c411dea07b484a19af514047">CONST_ARRAY_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
75
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
76
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
77
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
79
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
80
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
81
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
82
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
83
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
84
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
85
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
86
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
87
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
88
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
89
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
75
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e">CONST_DATA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
76
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c">CONST_GLOBAL_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
77
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd">CONST_STRUCT_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
78
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#ada56eaa1f91bf260b7b521adabc607fe">flags</a></td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
79
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515">FUNCTION_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
80
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">getMaxFieldOffsetLimit</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
81
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b">GLOBVAR_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
83
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a8e630eb30d05f665b998c6f9326d65cb">hasFlag</a>(MEMTYPE mask)</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
84
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9">HASPTR_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
85
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
86
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c">HEAP_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
87
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1">isArray</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212">isConstantArray</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
89
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a6f6c80f7d067a6082a9af04d2547cf34">isConstantData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7">isConstantStruct</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1">isConstDataOrConstGlobal</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
92
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#ac99fa14fdf7bc0dd3e9ff36c7a3a351f">isFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
93
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f">isGlobalObj</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
92
94
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a26c179394fbda9a9261d0bf3f52b619d">isHeap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|