svf-tools 1.0.772 → 1.0.773
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/BoundedZ3Expr_8cpp_source.html +10 -9
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +380 -380
- package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +2 -2
- package/SVF-doxygen/html/html/IntervalValue_8h_source.html +35 -35
- package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +19 -18
- package/SVF-doxygen/html/html/RelationSolver_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +323 -327
- package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +306 -305
- package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +28 -27
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +25 -25
- package/SVF-doxygen/html/html/classSVF_1_1RelationSolver.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +307 -311
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +10 -10
- package/SVF-doxygen/html/html/functions_b.html +1 -1
- package/SVF-doxygen/html/html/functions_func_b.html +1 -1
- package/SVF-doxygen/html/html/functions_func_g.html +3 -3
- package/SVF-doxygen/html/html/functions_g.html +3 -3
- package/SVF-doxygen/html/html/namespaceSVF.html +9 -9
- package/SVF-doxygen/html/html/search/all_2.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +1 -1
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +2 -2
- package/SVF-doxygen/html/html/search/functions_7.js +1 -1
- package/SVF-doxygen/html/html/search/functions_9.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
- package/package.json +1 -1
- package/svf/include/AbstractExecution/BoundedZ3Expr.h +4 -5
- package/svf/include/AbstractExecution/IntervalValue.h +19 -19
- package/svf/include/AbstractExecution/NumericLiteral.h +2 -2
- package/svf/lib/AbstractExecution/BoundedZ3Expr.cpp +5 -5
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +0 -4
|
@@ -79,11 +79,11 @@ $(function() {
|
|
|
79
79
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd">BoundedZ3Expr</a>(const Z3Expr &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
80
80
|
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248">BoundedZ3Expr</a>(const z3::expr &e)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
81
81
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680">BoundedZ3Expr</a>(s32_t i)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
82
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb">BoundedZ3Expr</a>(s64_t i)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
83
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa">BoundedZ3Expr</a>(const BoundedZ3Expr &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
84
84
|
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3">BoundedZ3Expr</a>(BoundedZ3Expr &&z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
85
85
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7">bv2int</a>(const SingleAbsValue &e, bool isSigned)</td><td class="entry"><a class="el" href="classSVF_1_1SingleAbsValue.html">SVF::SingleAbsValue</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7">bvLen</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"></td></tr>
|
|
87
87
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5">ctx</a></td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
88
88
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a56ba65487cc91248259e29d3ebb5bdb0">dumpStr</a>(const Z3Expr &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
89
89
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041">e</a></td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
@@ -98,7 +98,7 @@ $(function() {
|
|
|
98
98
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">getExpr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
99
99
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a7cf1481ad29951ca46c1d4418f28c91e">getExprSize</a>(const Z3Expr &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
100
100
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#af541505af93ccebf57543793658cf495">getFalseCond</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
101
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
101
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">getNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
102
102
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a16721e960145864d0835eb95f2ae4681">getSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
103
103
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#aaa0c9122f34208235a2d830432665752">getTrueCond</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
104
104
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">hash</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
@@ -133,8 +133,8 @@ Public Member Functions</h2></td></tr>
|
|
|
133
133
|
<tr class="separator:a093d3d2b95f0de658472a20384c36248 inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memSeparator" colspan="2"> </td></tr>
|
|
134
134
|
<tr class="memitem:ac25e1b9231a66c94967bebb908a45680 inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680">BoundedZ3Expr</a> (<a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> i)</td></tr>
|
|
135
135
|
<tr class="separator:ac25e1b9231a66c94967bebb908a45680 inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memSeparator" colspan="2"> </td></tr>
|
|
136
|
-
<tr class="memitem:
|
|
137
|
-
<tr class="separator:
|
|
136
|
+
<tr class="memitem:a8995acaa4d5c1f43c526f938eb2c26bb inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb">BoundedZ3Expr</a> (<a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> i)</td></tr>
|
|
137
|
+
<tr class="separator:a8995acaa4d5c1f43c526f938eb2c26bb inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memSeparator" colspan="2"> </td></tr>
|
|
138
138
|
<tr class="memitem:a6b0b0f37eccc094d2afbb7bdefc7cbfa inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa">BoundedZ3Expr</a> (const <a class="el" href="classSVF_1_1BoundedZ3Expr.html">BoundedZ3Expr</a> &z3Expr)</td></tr>
|
|
139
139
|
<tr class="separator:a6b0b0f37eccc094d2afbb7bdefc7cbfa inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memSeparator" colspan="2"> </td></tr>
|
|
140
140
|
<tr class="memitem:aeed1aed239b2f80be8da4870f89c31d4 inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">BoundedZ3Expr</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4">operator=</a> (const <a class="el" href="classSVF_1_1BoundedZ3Expr.html">BoundedZ3Expr</a> &rhs)</td></tr>
|
|
@@ -165,11 +165,11 @@ Public Member Functions</h2></td></tr>
|
|
|
165
165
|
<tr class="separator:a7f5158affedda8ddf53ec6cb442a6297 inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memSeparator" colspan="2"> </td></tr>
|
|
166
166
|
<tr class="memitem:a69384aac86c966e7ae8609f5ea97361c inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c">is_true</a> () const</td></tr>
|
|
167
167
|
<tr class="separator:a69384aac86c966e7ae8609f5ea97361c inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memSeparator" colspan="2"> </td></tr>
|
|
168
|
-
<tr class="memitem:
|
|
169
|
-
<tr class="memdesc:
|
|
170
|
-
<tr class="separator:
|
|
171
|
-
<tr class="memitem:
|
|
172
|
-
<tr class="separator:
|
|
168
|
+
<tr class="memitem:af62c2d6bc40080b9728c107cf317184b inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">getNumeral</a> () const</td></tr>
|
|
169
|
+
<tr class="memdesc:af62c2d6bc40080b9728c107cf317184b inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="mdescLeft"> </td><td class="mdescRight">Return Numeral. <a href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">More...</a><br /></td></tr>
|
|
170
|
+
<tr class="separator:af62c2d6bc40080b9728c107cf317184b inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memSeparator" colspan="2"> </td></tr>
|
|
171
|
+
<tr class="memitem:a15706e4f0708a2de70118c2df8c869c7 inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7">bvLen</a> () const</td></tr>
|
|
172
|
+
<tr class="separator:a15706e4f0708a2de70118c2df8c869c7 inherit pub_methods_classSVF_1_1BoundedZ3Expr"><td class="memSeparator" colspan="2"> </td></tr>
|
|
173
173
|
<tr class="inherit_header pub_methods_classSVF_1_1Z3Expr"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1Z3Expr')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td></tr>
|
|
174
174
|
<tr class="memitem:abda8e52003e163cda25d75a4cb520290 inherit pub_methods_classSVF_1_1Z3Expr"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290">Z3Expr</a> ()</td></tr>
|
|
175
175
|
<tr class="separator:abda8e52003e163cda25d75a4cb520290 inherit pub_methods_classSVF_1_1Z3Expr"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -2276,8 +2276,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2276
2276
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a5ece7dbaa27e73795a89adb90afe60fe"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a5ece7dbaa27e73795a89adb90afe60fe">SVF::SingleAbsValue::isBottomAbsValue</a></div><div class="ttdeci">static bool isBottomAbsValue(const SingleAbsValue &expr)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00099">SingleAbsValue.h:99</a></div></div>
|
|
2277
2277
|
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr & getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00079">Z3Expr.h:79</a></div></div>
|
|
2278
2278
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a48568c2eb6d4b6088b7e1fd976730259"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259">SVF::SingleAbsValue::ashr</a></div><div class="ttdeci">friend SingleAbsValue ashr(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00322">SingleAbsValue.h:322</a></div></div>
|
|
2279
|
-
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aeed1aed239b2f80be8da4870f89c31d4"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4">SVF::BoundedZ3Expr::operator=</a></div><div class="ttdeci">BoundedZ3Expr & operator=(const BoundedZ3Expr &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
2280
|
-
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af40c5e287f17eace7182557f46501b29"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">SVF::BoundedZ3Expr::getContext</a></div><div class="ttdeci">static z3::context & getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
2279
|
+
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aeed1aed239b2f80be8da4870f89c31d4"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4">SVF::BoundedZ3Expr::operator=</a></div><div class="ttdeci">BoundedZ3Expr & operator=(const BoundedZ3Expr &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00058">BoundedZ3Expr.h:58</a></div></div>
|
|
2280
|
+
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af40c5e287f17eace7182557f46501b29"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">SVF::BoundedZ3Expr::getContext</a></div><div class="ttdeci">static z3::context & getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00108">BoundedZ3Expr.h:108</a></div></div>
|
|
2281
2281
|
<div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
|
|
2282
2282
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a47aea8b38603cc7cd1dee9eac7e28d4e"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a47aea8b38603cc7cd1dee9eac7e28d4e">SVF::SingleAbsValue::ite</a></div><div class="ttdeci">friend SingleAbsValue ite(const SingleAbsValue &cond, const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00430">SingleAbsValue.h:430</a></div></div>
|
|
2283
2283
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_adea2bf196a9717c252f33f2707510d12"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue::isSymbolAbsValue</a></div><div class="ttdeci">static bool isSymbolAbsValue(const SingleAbsValue &expr)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00119">SingleAbsValue.h:119</a></div></div>
|
|
@@ -2291,7 +2291,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2291
2291
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a3e67fddad6aaec53320da2f8fb8d0f6b"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a3e67fddad6aaec53320da2f8fb8d0f6b">SVF::SingleAbsValue::eq</a></div><div class="ttdeci">friend bool eq(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00453">SingleAbsValue.h:453</a></div></div>
|
|
2292
2292
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a42eed004077d61a0c062e1752844d0a6"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a42eed004077d61a0c062e1752844d0a6">SVF::SingleAbsValue::shl</a></div><div class="ttdeci">friend SingleAbsValue shl(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00334">SingleAbsValue.h:334</a></div></div>
|
|
2293
2293
|
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ae14d9fa0613b196420b90d20cc8df041"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041">SVF::Z3Expr::e</a></div><div class="ttdeci">z3::expr e</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00045">Z3Expr.h:45</a></div></div>
|
|
2294
|
-
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ee4ca16a8031420afec9f446ecdf24c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c">SVF::BoundedZ3Expr::isZero</a></div><div class="ttdeci">static bool isZero(const BoundedZ3Expr &expr)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
2294
|
+
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ee4ca16a8031420afec9f446ecdf24c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c">SVF::BoundedZ3Expr::isZero</a></div><div class="ttdeci">static bool isZero(const BoundedZ3Expr &expr)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00118">BoundedZ3Expr.h:118</a></div></div>
|
|
2295
2295
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_afef13058a5d730798bd8b10cdf3e5ea3"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#afef13058a5d730798bd8b10cdf3e5ea3">SVF::SingleAbsValue::set_to_top</a></div><div class="ttdeci">void set_to_top()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00089">SingleAbsValue.h:89</a></div></div>
|
|
2296
2296
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_afd0286acbccb8b7630ca2e086ea303b2"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2">SVF::SingleAbsValue::lshr</a></div><div class="ttdeci">friend SingleAbsValue lshr(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00346">SingleAbsValue.h:346</a></div></div>
|
|
2297
2297
|
<!-- start footer part -->
|
|
@@ -548,7 +548,7 @@ $(function() {
|
|
|
548
548
|
: <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699">SVF::PointsTo::PointsToIterator</a>
|
|
549
549
|
</li>
|
|
550
550
|
<li>bvLen()
|
|
551
|
-
: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
551
|
+
: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7">SVF::BoundedZ3Expr</a>
|
|
552
552
|
</li>
|
|
553
553
|
<li>BWProcessCurNode()
|
|
554
554
|
: <a class="el" href="classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
@@ -319,7 +319,7 @@ $(function() {
|
|
|
319
319
|
: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476">SVF::BVDataPTAImpl</a>
|
|
320
320
|
</li>
|
|
321
321
|
<li>bvLen()
|
|
322
|
-
: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
322
|
+
: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7">SVF::BoundedZ3Expr</a>
|
|
323
323
|
</li>
|
|
324
324
|
<li>BWProcessCurNode()
|
|
325
325
|
: <a class="el" href="classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f">SVF::GraphReachSolver< GraphType, DPIm ></a>
|
|
@@ -1849,9 +1849,9 @@ $(function() {
|
|
|
1849
1849
|
: <a class="el" href="classSVF_1_1ConsExeState.html#a3efeeb8311b868c4a7fc2df69f061317">SVF::ConsExeState</a>
|
|
1850
1850
|
</li>
|
|
1851
1851
|
<li>getNumeral()
|
|
1852
|
-
: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
1853
|
-
, <a class="el" href="classSVF_1_1IntervalValue.html#
|
|
1854
|
-
, <a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
1852
|
+
: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">SVF::BoundedZ3Expr</a>
|
|
1853
|
+
, <a class="el" href="classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9">SVF::IntervalValue</a>
|
|
1854
|
+
, <a class="el" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral</a>
|
|
1855
1855
|
</li>
|
|
1856
1856
|
<li>getNumFields()
|
|
1857
1857
|
: <a class="el" href="classSVF_1_1DCHGraph.html#a0788694fbff155949fc4f4d6487c223e">SVF::DCHGraph</a>
|
|
@@ -1914,9 +1914,9 @@ $(function() {
|
|
|
1914
1914
|
: <a class="el" href="classSVF_1_1ConsExeState.html#a3efeeb8311b868c4a7fc2df69f061317">SVF::ConsExeState</a>
|
|
1915
1915
|
</li>
|
|
1916
1916
|
<li>getNumeral()
|
|
1917
|
-
: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
1918
|
-
, <a class="el" href="classSVF_1_1IntervalValue.html#
|
|
1919
|
-
, <a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
1917
|
+
: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">SVF::BoundedZ3Expr</a>
|
|
1918
|
+
, <a class="el" href="classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9">SVF::IntervalValue</a>
|
|
1919
|
+
, <a class="el" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral</a>
|
|
1920
1920
|
</li>
|
|
1921
1921
|
<li>getNumFields()
|
|
1922
1922
|
: <a class="el" href="classSVF_1_1DCHGraph.html#a0788694fbff155949fc4f4d6487c223e">SVF::DCHGraph</a>
|
|
@@ -6919,15 +6919,15 @@ template<class GraphType > </div>
|
|
|
6919
6919
|
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span>  }</div>
|
|
6920
6920
|
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.lb().getNumeral() >= 0 && rhs.lb().getNumeral() >= 0)</div>
|
|
6921
6921
|
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  {</div>
|
|
6922
|
-
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  <span class="keywordflow">return</span> IntervalValue((
|
|
6922
|
+
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  <span class="keywordflow">return</span> IntervalValue((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) 0, min(lhs.ub(), rhs.ub()));</div>
|
|
6923
6923
|
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span>  }</div>
|
|
6924
6924
|
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.lb().getNumeral() >= 0)</div>
|
|
6925
6925
|
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  {</div>
|
|
6926
|
-
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  <span class="keywordflow">return</span> IntervalValue((
|
|
6926
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  <span class="keywordflow">return</span> IntervalValue((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) 0, lhs.ub());</div>
|
|
6927
6927
|
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  }</div>
|
|
6928
6928
|
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.lb().getNumeral() >= 0)</div>
|
|
6929
6929
|
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span>  {</div>
|
|
6930
|
-
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span>  <span class="keywordflow">return</span> IntervalValue((
|
|
6930
|
+
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span>  <span class="keywordflow">return</span> IntervalValue((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) 0, rhs.ub());</div>
|
|
6931
6931
|
<div class="line"><a name="l00812"></a><span class="lineno"> 812</span>  }</div>
|
|
6932
6932
|
<div class="line"><a name="l00813"></a><span class="lineno"> 813</span>  <span class="keywordflow">else</span></div>
|
|
6933
6933
|
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span>  {</div>
|
|
@@ -8051,9 +8051,9 @@ template<typename F , typename S > </div>
|
|
|
8051
8051
|
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.lb().getNumeral() >= 0 && !lhs.ub().is_infinity() &&</div>
|
|
8052
8052
|
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  rhs.lb().getNumeral() >= 0 && !rhs.ub().is_infinity())</div>
|
|
8053
8053
|
<div class="line"><a name="l00866"></a><span class="lineno"> 866</span>  {</div>
|
|
8054
|
-
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span> 
|
|
8055
|
-
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span> 
|
|
8056
|
-
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  <span class="keywordflow">return</span> IntervalValue((
|
|
8054
|
+
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span>  <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());</div>
|
|
8055
|
+
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span>  <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> ub = next_power_of_2(<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>(m+1));</div>
|
|
8056
|
+
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  <span class="keywordflow">return</span> IntervalValue((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) 0, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) ub);</div>
|
|
8057
8057
|
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span>  }</div>
|
|
8058
8058
|
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span>  <span class="keywordflow">else</span></div>
|
|
8059
8059
|
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span>  {</div>
|
|
@@ -8117,9 +8117,9 @@ template<typename F , typename S > </div>
|
|
|
8117
8117
|
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.lb().getNumeral() >= 0 && !lhs.ub().is_infinity() &&</div>
|
|
8118
8118
|
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  rhs.lb().getNumeral() >= 0 && !rhs.ub().is_infinity())</div>
|
|
8119
8119
|
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span>  {</div>
|
|
8120
|
-
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span> 
|
|
8121
|
-
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span> 
|
|
8122
|
-
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  <span class="keywordflow">return</span> IntervalValue((
|
|
8120
|
+
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span>  <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());</div>
|
|
8121
|
+
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span>  <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> ub = next_power_of_2(<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>(m+1));</div>
|
|
8122
|
+
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  <span class="keywordflow">return</span> IntervalValue((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) 0, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) ub);</div>
|
|
8123
8123
|
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  }</div>
|
|
8124
8124
|
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span>  <span class="keywordflow">else</span></div>
|
|
8125
8125
|
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span>  {</div>
|
|
@@ -77,7 +77,7 @@ var searchData=
|
|
|
77
77
|
['bothinteredges_711',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
|
|
78
78
|
['bottom_712',['bottom',['../classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e',1,'SVF::IntervalExeState::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
|
|
79
79
|
['bottomconstant_713',['bottomConstant',['../classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8',1,'SVF::SingleAbsValue']]],
|
|
80
|
-
['boundedz3expr_714',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF::BoundedZ3Expr'],['../classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34',1,'SVF::BoundedZ3Expr::BoundedZ3Expr()=default'],['../classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const z3::expr &e)'],['../classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s32_t i)'],['../classSVF_1_1BoundedZ3Expr.html#
|
|
80
|
+
['boundedz3expr_714',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html',1,'SVF::BoundedZ3Expr'],['../classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34',1,'SVF::BoundedZ3Expr::BoundedZ3Expr()=default'],['../classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const z3::expr &e)'],['../classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s32_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s64_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const BoundedZ3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(BoundedZ3Expr &&z3Expr)']]],
|
|
81
81
|
['boundedz3expr_2ecpp_715',['BoundedZ3Expr.cpp',['../BoundedZ3Expr_8cpp.html',1,'']]],
|
|
82
82
|
['boundedz3expr_2eh_716',['BoundedZ3Expr.h',['../BoundedZ3Expr_8h.html',1,'']]],
|
|
83
83
|
['branch_717',['Branch',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01',1,'SVF::VFGNode::Branch()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3',1,'SVF::SVFStmt::Branch()'],['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854',1,'SVF::SVFBugEvent::Branch()']]],
|
|
@@ -157,7 +157,7 @@ var searchData=
|
|
|
157
157
|
['bvdataimpl_791',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]],
|
|
158
158
|
['bvdataptaimpl_792',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF::BVDataPTAImpl'],['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl::BVDataPTAImpl()']]],
|
|
159
159
|
['bvit_793',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
|
|
160
|
-
['bvlen_794',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#
|
|
160
|
+
['bvlen_794',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7',1,'SVF::BoundedZ3Expr']]],
|
|
161
161
|
['bwprocesscurnode_795',['BWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#ad9eb5a4e0b3783c300c36b66f053e302',1,'SVF::SrcSnkDDA::BWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#a447db2796a7024dfa0fbe9ac95c671c0',1,'SVF::SrcSnkSolver::BWProcessCurNode()'],['../classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f',1,'SVF::GraphReachSolver::BWProcessCurNode()']]],
|
|
162
162
|
['bwprocessincomingedge_796',['BWProcessIncomingEdge',['../classSVF_1_1SrcSnkDDA.html#a3a097517e85b9ea4c92d5e213b04e1f0',1,'SVF::SrcSnkDDA::BWProcessIncomingEdge()'],['../classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848',1,'SVF::SrcSnkSolver::BWProcessIncomingEdge()'],['../classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014',1,'SVF::GraphReachSolver::BWProcessIncomingEdge()']]],
|
|
163
163
|
['bypassmssaphinode_797',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]]
|
|
@@ -658,7 +658,7 @@ var searchData=
|
|
|
658
658
|
['getnullptr_2651',['getNullPtr',['../classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5',1,'SVF::IRGraph']]],
|
|
659
659
|
['getnumargoperands_2652',['getNumArgOperands',['../classSVF_1_1SVFCallInst.html#ab8ea07e329ce09b1874d482465724121',1,'SVF::SVFCallInst::getNumArgOperands()'],['../classSVF_1_1CallSite.html#a6b7a7e6da24425a3b15aa1803c673288',1,'SVF::CallSite::getNumArgOperands()']]],
|
|
660
660
|
['getnumber_2653',['getNumber',['../classSVF_1_1ConsExeState.html#a3efeeb8311b868c4a7fc2df69f061317',1,'SVF::ConsExeState']]],
|
|
661
|
-
['getnumeral_2654',['getNumeral',['../classSVF_1_1BoundedZ3Expr.html#
|
|
661
|
+
['getnumeral_2654',['getNumeral',['../classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b',1,'SVF::BoundedZ3Expr::getNumeral()'],['../classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9',1,'SVF::IntervalValue::getNumeral()'],['../classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576',1,'SVF::NumericLiteral::getNumeral()']]],
|
|
662
662
|
['getnumfields_2655',['getNumFields',['../classSVF_1_1DCHGraph.html#a0788694fbff155949fc4f4d6487c223e',1,'SVF::DCHGraph']]],
|
|
663
663
|
['getnumobjects_2656',['getNumObjects',['../classSVF_1_1NodeIDAllocator.html#ad63e43c65cb7d7cac7824f5cede5ec89',1,'SVF::NodeIDAllocator']]],
|
|
664
664
|
['getnumofcxtlocks_2657',['getNumOfCxtLocks',['../classSVF_1_1LockAnalysis.html#a3df63f936d488166109d73bdcf0437d5',1,'SVF::LockAnalysis']]],
|
|
@@ -203,7 +203,7 @@ var searchData=
|
|
|
203
203
|
['intervalexestate_2ecpp_3409',['IntervalExeState.cpp',['../IntervalExeState_8cpp.html',1,'']]],
|
|
204
204
|
['intervalexestate_2eh_3410',['IntervalExeState.h',['../IntervalExeState_8h.html',1,'']]],
|
|
205
205
|
['intervalk_3411',['IntervalK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a',1,'SVF::AbstractValue::IntervalK()'],['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351',1,'SVF::ExeState::IntervalK()']]],
|
|
206
|
-
['intervalvalue_3412',['IntervalValue',['../classSVF_1_1IntervalValue.html',1,'SVF::IntervalValue'],['../classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0',1,'SVF::IntervalValue::IntervalValue()'],['../classSVF_1_1IntervalValue.html#
|
|
206
|
+
['intervalvalue_3412',['IntervalValue',['../classSVF_1_1IntervalValue.html',1,'SVF::IntervalValue'],['../classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0',1,'SVF::IntervalValue::IntervalValue()'],['../classSVF_1_1IntervalValue.html#a22796c07a495e1af7252b3dcb60d9940',1,'SVF::IntervalValue::IntervalValue(s64_t n)'],['../classSVF_1_1IntervalValue.html#a926ca60622fdcd225ef7d8b7fd4054b2',1,'SVF::IntervalValue::IntervalValue(s32_t n)'],['../classSVF_1_1IntervalValue.html#a3ac170a902accf8d84b6b77ab88a8fd3',1,'SVF::IntervalValue::IntervalValue(u32_t n)'],['../classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b',1,'SVF::IntervalValue::IntervalValue(double n)'],['../classSVF_1_1IntervalValue.html#aa339a88f42bea8c1adfe0db8ba3a5d2a',1,'SVF::IntervalValue::IntervalValue(NumericLiteral n)'],['../classSVF_1_1IntervalValue.html#a73aee65aae0f2ef368d159d29e1d5a30',1,'SVF::IntervalValue::IntervalValue(NumericLiteral lb, NumericLiteral ub)'],['../classSVF_1_1IntervalValue.html#a6ec0263a3036734c28cd241007f8a490',1,'SVF::IntervalValue::IntervalValue(s64_t lb, s64_t ub)'],['../classSVF_1_1IntervalValue.html#a50d11cbc14f717d679caafe3cf59e0c5',1,'SVF::IntervalValue::IntervalValue(double lb, double ub)'],['../classSVF_1_1IntervalValue.html#ac3736c3e3129cfdb6ee415ef64c2e75c',1,'SVF::IntervalValue::IntervalValue(s32_t lb, s32_t ub)'],['../classSVF_1_1IntervalValue.html#a304db5abb4cc7added56dbcbcd94d905',1,'SVF::IntervalValue::IntervalValue(u32_t lb, u32_t ub)'],['../classSVF_1_1IntervalValue.html#a35e3062c24a13ac4ed50729339408f65',1,'SVF::IntervalValue::IntervalValue(u64_t lb, u64_t ub)'],['../classSVF_1_1IntervalValue.html#af93275fa839a1cfabe32f8b1ece77dff',1,'SVF::IntervalValue::IntervalValue(const IntervalValue &)=default'],['../classSVF_1_1IntervalValue.html#ae3deef6cb5bbac64c02cc51872b489ff',1,'SVF::IntervalValue::IntervalValue(IntervalValue &&)=default']]],
|
|
207
207
|
['intervalvalue_2eh_3413',['IntervalValue.h',['../IntervalValue_8h.html',1,'']]],
|
|
208
208
|
['intrabackwardtraverse_3414',['intraBackwardTraverse',['../classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53',1,'SVF::LockAnalysis']]],
|
|
209
209
|
['intrablock_3415',['IntraBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a0df20ce0cced8193d3f194ee5985c8c4',1,'SVF::ICFGNode']]],
|
|
@@ -108,7 +108,7 @@ var searchData=
|
|
|
108
108
|
['number_4300',['number',['../cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7',1,'number(): cJSON.h'],['../cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4',1,'number(): cJSON.cpp']]],
|
|
109
109
|
['numedgedestlabels_4301',['numEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b',1,'SVF::DefaultDOTGraphTraits']]],
|
|
110
110
|
['numelement_4302',['numElement',['../classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4',1,'SVF::CondPointsToSet']]],
|
|
111
|
-
['numericliteral_4303',['NumericLiteral',['../classSVF_1_1NumericLiteral.html',1,'SVF::NumericLiteral'],['../classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee',1,'SVF::NumericLiteral::NumericLiteral()=delete'],['../classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b',1,'SVF::NumericLiteral::NumericLiteral(const Z3Expr &z3Expr)'],['../classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd',1,'SVF::NumericLiteral::NumericLiteral(const z3::expr &e)'],['../classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb',1,'SVF::NumericLiteral::NumericLiteral(s32_t i)'],['../classSVF_1_1NumericLiteral.html#
|
|
111
|
+
['numericliteral_4303',['NumericLiteral',['../classSVF_1_1NumericLiteral.html',1,'SVF::NumericLiteral'],['../classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee',1,'SVF::NumericLiteral::NumericLiteral()=delete'],['../classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b',1,'SVF::NumericLiteral::NumericLiteral(const Z3Expr &z3Expr)'],['../classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd',1,'SVF::NumericLiteral::NumericLiteral(const z3::expr &e)'],['../classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb',1,'SVF::NumericLiteral::NumericLiteral(s32_t i)'],['../classSVF_1_1NumericLiteral.html#a851b5ce5328fd08c1e06ed5ed5883cb9',1,'SVF::NumericLiteral::NumericLiteral(s64_t i)'],['../classSVF_1_1NumericLiteral.html#aad45bcd52d571ca62faa4dd6a9f758d6',1,'SVF::NumericLiteral::NumericLiteral(BoundedZ3Expr z3Expr)'],['../classSVF_1_1NumericLiteral.html#a396018d1b2888b76f83eb233a46905a1',1,'SVF::NumericLiteral::NumericLiteral(const NumericLiteral &)=default'],['../classSVF_1_1NumericLiteral.html#ae017c45c3a5ffd3dd7a4c9b6eff106e9',1,'SVF::NumericLiteral::NumericLiteral(NumericLiteral &&)=default']]],
|
|
112
112
|
['numericliteral_2eh_4304',['NumericLiteral.h',['../NumericLiteral_8h.html',1,'']]],
|
|
113
113
|
['numgtintregions_4305',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
|
|
114
114
|
['numnodes_4306',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
|
|
@@ -25,7 +25,7 @@ var searchData=
|
|
|
25
25
|
['bothinteredges_7538',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
|
|
26
26
|
['bottom_7539',['bottom',['../classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e',1,'SVF::IntervalExeState::bottom()'],['../classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443',1,'SVF::IntervalValue::bottom()']]],
|
|
27
27
|
['bottomconstant_7540',['bottomConstant',['../classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8',1,'SVF::SingleAbsValue']]],
|
|
28
|
-
['boundedz3expr_7541',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34',1,'SVF::BoundedZ3Expr::BoundedZ3Expr()=default'],['../classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const z3::expr &e)'],['../classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s32_t i)'],['../classSVF_1_1BoundedZ3Expr.html#
|
|
28
|
+
['boundedz3expr_7541',['BoundedZ3Expr',['../classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34',1,'SVF::BoundedZ3Expr::BoundedZ3Expr()=default'],['../classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const Z3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const z3::expr &e)'],['../classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s32_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(s64_t i)'],['../classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(const BoundedZ3Expr &z3Expr)'],['../classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3',1,'SVF::BoundedZ3Expr::BoundedZ3Expr(BoundedZ3Expr &&z3Expr)']]],
|
|
29
29
|
['branchstat_7542',['branchStat',['../classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce',1,'SVF::SVFStat']]],
|
|
30
30
|
['branchstmt_7543',['BranchStmt',['../classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd',1,'SVF::BranchStmt::BranchStmt()'],['../classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2',1,'SVF::BranchStmt::BranchStmt(const BranchStmt &)'],['../classSVF_1_1BranchStmt.html#a5e102d5c08b7121efc87b99651f0b5d2',1,'SVF::BranchStmt::BranchStmt(SVFVar *inst, SVFVar *c, const SuccAndCondPairVec &succs)']]],
|
|
31
31
|
['branchvfgnode_7544',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494',1,'SVF::BranchVFGNode::BranchVFGNode()'],['../classSVF_1_1BranchVFGNode.html#adbaa9b14441cb66ad46671d93c09c513',1,'SVF::BranchVFGNode::BranchVFGNode(const BranchVFGNode &)'],['../classSVF_1_1BranchVFGNode.html#a29efb69de81e8fd799133c9194eec3d3',1,'SVF::BranchVFGNode::BranchVFGNode(NodeID id, const BranchStmt *r)']]],
|
|
@@ -80,7 +80,7 @@ var searchData=
|
|
|
80
80
|
['buildvirtualfunctiontoidmap_7593',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
|
|
81
81
|
['buildvtables_7594',['buildVTables',['../classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f',1,'SVF::DCHGraph']]],
|
|
82
82
|
['bvdataptaimpl_7595',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl']]],
|
|
83
|
-
['bvlen_7596',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#
|
|
83
|
+
['bvlen_7596',['bvLen',['../classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7',1,'SVF::BoundedZ3Expr']]],
|
|
84
84
|
['bwprocesscurnode_7597',['BWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#ad9eb5a4e0b3783c300c36b66f053e302',1,'SVF::SrcSnkDDA::BWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#a447db2796a7024dfa0fbe9ac95c671c0',1,'SVF::SrcSnkSolver::BWProcessCurNode()'],['../classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f',1,'SVF::GraphReachSolver::BWProcessCurNode()']]],
|
|
85
85
|
['bwprocessincomingedge_7598',['BWProcessIncomingEdge',['../classSVF_1_1SrcSnkDDA.html#a3a097517e85b9ea4c92d5e213b04e1f0',1,'SVF::SrcSnkDDA::BWProcessIncomingEdge()'],['../classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848',1,'SVF::SrcSnkSolver::BWProcessIncomingEdge()'],['../classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014',1,'SVF::GraphReachSolver::BWProcessIncomingEdge()']]],
|
|
86
86
|
['bypassmssaphinode_7599',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]]
|
|
@@ -521,7 +521,7 @@ var searchData=
|
|
|
521
521
|
['getnullptr_8554',['getNullPtr',['../classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5',1,'SVF::IRGraph']]],
|
|
522
522
|
['getnumargoperands_8555',['getNumArgOperands',['../classSVF_1_1SVFCallInst.html#ab8ea07e329ce09b1874d482465724121',1,'SVF::SVFCallInst::getNumArgOperands()'],['../classSVF_1_1CallSite.html#a6b7a7e6da24425a3b15aa1803c673288',1,'SVF::CallSite::getNumArgOperands()']]],
|
|
523
523
|
['getnumber_8556',['getNumber',['../classSVF_1_1ConsExeState.html#a3efeeb8311b868c4a7fc2df69f061317',1,'SVF::ConsExeState']]],
|
|
524
|
-
['getnumeral_8557',['getNumeral',['../classSVF_1_1BoundedZ3Expr.html#
|
|
524
|
+
['getnumeral_8557',['getNumeral',['../classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b',1,'SVF::BoundedZ3Expr::getNumeral()'],['../classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9',1,'SVF::IntervalValue::getNumeral()'],['../classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576',1,'SVF::NumericLiteral::getNumeral()']]],
|
|
525
525
|
['getnumfields_8558',['getNumFields',['../classSVF_1_1DCHGraph.html#a0788694fbff155949fc4f4d6487c223e',1,'SVF::DCHGraph']]],
|
|
526
526
|
['getnumobjects_8559',['getNumObjects',['../classSVF_1_1NodeIDAllocator.html#ad63e43c65cb7d7cac7824f5cede5ec89',1,'SVF::NodeIDAllocator']]],
|
|
527
527
|
['getnumofcxtlocks_8560',['getNumOfCxtLocks',['../classSVF_1_1LockAnalysis.html#a3df63f936d488166109d73bdcf0437d5',1,'SVF::LockAnalysis']]],
|
|
@@ -98,7 +98,7 @@ var searchData=
|
|
|
98
98
|
['intersectwithcomplement_9116',['intersectWithComplement',['../classSVF_1_1CondPointsToSet.html#a57fdbfc5bc0bc7eb7a8efefdcc689852',1,'SVF::CondPointsToSet::intersectWithComplement(const CondPointsToSet< Cond > &cpts1, const CondPointsToSet< Cond > &cpts2)'],['../classSVF_1_1CondPointsToSet.html#a5a7ab3c22b3726541955b5be8a62aab6',1,'SVF::CondPointsToSet::intersectWithComplement(const CondPointsToSet< Cond > &cpts1)'],['../classSVF_1_1PointsTo.html#af81f9e91eec4bf82ccfb867c2415f9bd',1,'SVF::PointsTo::intersectWithComplement(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#adec2e2fc87c2bb9b3ff8873b04abf31d',1,'SVF::PointsTo::intersectWithComplement(const PointsTo &lhs, const PointsTo &rhs)'],['../classSVF_1_1CoreBitVector.html#a8ba857b68282055e485c441892e39b9b',1,'SVF::CoreBitVector::intersectWithComplement(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#a79121882bc302b9b9188fa0a51c63fb6',1,'SVF::CoreBitVector::intersectWithComplement(const CoreBitVector &lhs, const CoreBitVector &rhs)'],['../structSVF_1_1SparseBitVectorElement.html#ac721b283253b7bd96fedd5f12c079699',1,'SVF::SparseBitVectorElement::intersectWithComplement(const SparseBitVectorElement &RHS, bool &BecameZero)'],['../structSVF_1_1SparseBitVectorElement.html#a6d81176f07f369b38da34e624710b387',1,'SVF::SparseBitVectorElement::intersectWithComplement(const SparseBitVectorElement &RHS1, const SparseBitVectorElement &RHS2, bool &BecameZero)'],['../classSVF_1_1SparseBitVector.html#a8b481ef53a27a351affecab90310b1ef',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector &RHS)'],['../classSVF_1_1SparseBitVector.html#aaab743995d5dd1359b0f541dacc1dcf3',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector< ElementSize > *RHS) const'],['../classSVF_1_1SparseBitVector.html#afee44821475fa31f218fb743b264cb37',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector< ElementSize > &RHS1, const SparseBitVector< ElementSize > &RHS2)'],['../classSVF_1_1SparseBitVector.html#a28d0e5b43ad556d079b5b0ec58e898e4',1,'SVF::SparseBitVector::intersectWithComplement(const SparseBitVector< ElementSize > *RHS1, const SparseBitVector< ElementSize > *RHS2)']]],
|
|
99
99
|
['interval2numvalue_9117',['Interval2NumValue',['../classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8',1,'SVF::IntervalExeState']]],
|
|
100
100
|
['intervalexestate_9118',['IntervalExeState',['../classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c',1,'SVF::IntervalExeState::IntervalExeState()'],['../classSVF_1_1IntervalExeState.html#a5803940144915a922af7ddef09fb23c0',1,'SVF::IntervalExeState::IntervalExeState(VarToValMap &_varToValMap, LocToValMap &_locToValMap)'],['../classSVF_1_1IntervalExeState.html#a781dc413b32c33e1c0fd5154d2c50654',1,'SVF::IntervalExeState::IntervalExeState(const IntervalExeState &rhs)'],['../classSVF_1_1IntervalExeState.html#ac1272649c1549d0d942941bd8f4c4b41',1,'SVF::IntervalExeState::IntervalExeState(IntervalExeState &&rhs)']]],
|
|
101
|
-
['intervalvalue_9119',['IntervalValue',['../classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0',1,'SVF::IntervalValue::IntervalValue()'],['../classSVF_1_1IntervalValue.html#
|
|
101
|
+
['intervalvalue_9119',['IntervalValue',['../classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0',1,'SVF::IntervalValue::IntervalValue()'],['../classSVF_1_1IntervalValue.html#a22796c07a495e1af7252b3dcb60d9940',1,'SVF::IntervalValue::IntervalValue(s64_t n)'],['../classSVF_1_1IntervalValue.html#a926ca60622fdcd225ef7d8b7fd4054b2',1,'SVF::IntervalValue::IntervalValue(s32_t n)'],['../classSVF_1_1IntervalValue.html#a3ac170a902accf8d84b6b77ab88a8fd3',1,'SVF::IntervalValue::IntervalValue(u32_t n)'],['../classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b',1,'SVF::IntervalValue::IntervalValue(double n)'],['../classSVF_1_1IntervalValue.html#aa339a88f42bea8c1adfe0db8ba3a5d2a',1,'SVF::IntervalValue::IntervalValue(NumericLiteral n)'],['../classSVF_1_1IntervalValue.html#a73aee65aae0f2ef368d159d29e1d5a30',1,'SVF::IntervalValue::IntervalValue(NumericLiteral lb, NumericLiteral ub)'],['../classSVF_1_1IntervalValue.html#a6ec0263a3036734c28cd241007f8a490',1,'SVF::IntervalValue::IntervalValue(s64_t lb, s64_t ub)'],['../classSVF_1_1IntervalValue.html#a50d11cbc14f717d679caafe3cf59e0c5',1,'SVF::IntervalValue::IntervalValue(double lb, double ub)'],['../classSVF_1_1IntervalValue.html#ac3736c3e3129cfdb6ee415ef64c2e75c',1,'SVF::IntervalValue::IntervalValue(s32_t lb, s32_t ub)'],['../classSVF_1_1IntervalValue.html#a304db5abb4cc7added56dbcbcd94d905',1,'SVF::IntervalValue::IntervalValue(u32_t lb, u32_t ub)'],['../classSVF_1_1IntervalValue.html#a35e3062c24a13ac4ed50729339408f65',1,'SVF::IntervalValue::IntervalValue(u64_t lb, u64_t ub)'],['../classSVF_1_1IntervalValue.html#af93275fa839a1cfabe32f8b1ece77dff',1,'SVF::IntervalValue::IntervalValue(const IntervalValue &)=default'],['../classSVF_1_1IntervalValue.html#ae3deef6cb5bbac64c02cc51872b489ff',1,'SVF::IntervalValue::IntervalValue(IntervalValue &&)=default']]],
|
|
102
102
|
['intrabackwardtraverse_9120',['intraBackwardTraverse',['../classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53',1,'SVF::LockAnalysis']]],
|
|
103
103
|
['intracfgedge_9121',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49',1,'SVF::IntraCFGEdge']]],
|
|
104
104
|
['intradirsvfgedge_9122',['IntraDirSVFGEdge',['../classSVF_1_1IntraDirSVFGEdge.html#a2157a56f5d707a946e2ad54219fdc69a',1,'SVF::IntraDirSVFGEdge']]],
|
|
@@ -33,6 +33,6 @@ var searchData=
|
|
|
33
33
|
['num_5fgenerator_9608',['num_generator',['../classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57',1,'SVF::CFGrammar']]],
|
|
34
34
|
['numedgedestlabels_9609',['numEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b',1,'SVF::DefaultDOTGraphTraits']]],
|
|
35
35
|
['numelement_9610',['numElement',['../classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4',1,'SVF::CondPointsToSet']]],
|
|
36
|
-
['numericliteral_9611',['NumericLiteral',['../classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee',1,'SVF::NumericLiteral::NumericLiteral()=delete'],['../classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b',1,'SVF::NumericLiteral::NumericLiteral(const Z3Expr &z3Expr)'],['../classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd',1,'SVF::NumericLiteral::NumericLiteral(const z3::expr &e)'],['../classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb',1,'SVF::NumericLiteral::NumericLiteral(s32_t i)'],['../classSVF_1_1NumericLiteral.html#
|
|
36
|
+
['numericliteral_9611',['NumericLiteral',['../classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee',1,'SVF::NumericLiteral::NumericLiteral()=delete'],['../classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b',1,'SVF::NumericLiteral::NumericLiteral(const Z3Expr &z3Expr)'],['../classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd',1,'SVF::NumericLiteral::NumericLiteral(const z3::expr &e)'],['../classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb',1,'SVF::NumericLiteral::NumericLiteral(s32_t i)'],['../classSVF_1_1NumericLiteral.html#a851b5ce5328fd08c1e06ed5ed5883cb9',1,'SVF::NumericLiteral::NumericLiteral(s64_t i)'],['../classSVF_1_1NumericLiteral.html#aad45bcd52d571ca62faa4dd6a9f758d6',1,'SVF::NumericLiteral::NumericLiteral(BoundedZ3Expr z3Expr)'],['../classSVF_1_1NumericLiteral.html#a396018d1b2888b76f83eb233a46905a1',1,'SVF::NumericLiteral::NumericLiteral(const NumericLiteral &)=default'],['../classSVF_1_1NumericLiteral.html#ae017c45c3a5ffd3dd7a4c9b6eff106e9',1,'SVF::NumericLiteral::NumericLiteral(NumericLiteral &&)=default']]],
|
|
37
37
|
['numtostr_9612',['numToStr',['../classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626',1,'SVF::SVFIRWriter']]]
|
|
38
38
|
];
|
|
@@ -86,7 +86,7 @@ Public Member Functions</h2></td></tr>
|
|
|
86
86
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
87
87
|
<div class="textblock"><p>Specialise hash for ConZ3Expr. </p>
|
|
88
88
|
|
|
89
|
-
<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#
|
|
89
|
+
<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00383">383</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
|
|
90
90
|
</div><h2 class="groupheader">Member Function Documentation</h2>
|
|
91
91
|
<a id="a232e38e5365af047f57631b121a04e66"></a>
|
|
92
92
|
<h2 class="memtitle"><span class="permalink"><a href="#a232e38e5365af047f57631b121a04e66">◆ </a></span>operator()()</h2>
|
|
@@ -112,10 +112,10 @@ Public Member Functions</h2></td></tr>
|
|
|
112
112
|
</table>
|
|
113
113
|
</div><div class="memdoc">
|
|
114
114
|
|
|
115
|
-
<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#
|
|
116
|
-
<div class="fragment"><div class="line"><a name="
|
|
117
|
-
<div class="line"><a name="
|
|
118
|
-
<div class="line"><a name="
|
|
115
|
+
<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00385">385</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
|
|
116
|
+
<div class="fragment"><div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  {</div>
|
|
117
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  <span class="keywordflow">return</span> z3Expr.<a class="code" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">hash</a>();</div>
|
|
118
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  }</div>
|
|
119
119
|
</div><!-- fragment -->
|
|
120
120
|
</div>
|
|
121
121
|
</div>
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "svf-tools",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.773",
|
|
4
4
|
"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 />",
|
|
5
5
|
"main": "index.js",
|
|
6
6
|
"scripts": {
|
|
@@ -51,11 +51,10 @@ public:
|
|
|
51
51
|
|
|
52
52
|
BoundedZ3Expr(s32_t i) : Z3Expr(i) {}
|
|
53
53
|
|
|
54
|
-
BoundedZ3Expr(
|
|
54
|
+
BoundedZ3Expr(s64_t i) : Z3Expr(getContext().int_val((int64_t)i)) {}
|
|
55
55
|
|
|
56
56
|
BoundedZ3Expr(const BoundedZ3Expr &z3Expr) : Z3Expr(z3Expr) {}
|
|
57
57
|
|
|
58
|
-
|
|
59
58
|
inline BoundedZ3Expr &operator=(const BoundedZ3Expr &rhs)
|
|
60
59
|
{
|
|
61
60
|
Z3Expr::operator=(rhs);
|
|
@@ -347,13 +346,13 @@ public:
|
|
|
347
346
|
}
|
|
348
347
|
|
|
349
348
|
/// Return Numeral
|
|
350
|
-
inline
|
|
349
|
+
inline s64_t getNumeral() const
|
|
351
350
|
{
|
|
352
351
|
if (is_numeral())
|
|
353
352
|
{
|
|
354
353
|
int64_t i;
|
|
355
354
|
if (getExpr().is_numeral_i64(i))
|
|
356
|
-
return get_numeral_int64();
|
|
355
|
+
return (s64_t)get_numeral_int64();
|
|
357
356
|
else
|
|
358
357
|
{
|
|
359
358
|
return (getExpr() < 0).simplify().is_true() ? INT64_MIN : INT64_MAX;
|
|
@@ -374,7 +373,7 @@ public:
|
|
|
374
373
|
}
|
|
375
374
|
}
|
|
376
375
|
|
|
377
|
-
|
|
376
|
+
s64_t bvLen() const;
|
|
378
377
|
//%}
|
|
379
378
|
}; // end class ConZ3Expr
|
|
380
379
|
} // end namespace SVF
|
|
@@ -95,13 +95,13 @@ public:
|
|
|
95
95
|
explicit IntervalValue() : AbstractValue(AbstractValue::IntervalK), _lb(minus_infinity()), _ub(plus_infinity()) {}
|
|
96
96
|
|
|
97
97
|
/// Create the IntervalValue [n, n]
|
|
98
|
-
explicit IntervalValue(
|
|
98
|
+
explicit IntervalValue(s64_t n) : AbstractValue(AbstractValue::IntervalK), _lb(n), _ub(n) {}
|
|
99
99
|
|
|
100
|
-
explicit IntervalValue(s32_t n) : IntervalValue((
|
|
100
|
+
explicit IntervalValue(s32_t n) : IntervalValue((s64_t) n) {}
|
|
101
101
|
|
|
102
|
-
explicit IntervalValue(u32_t n) : IntervalValue((
|
|
102
|
+
explicit IntervalValue(u32_t n) : IntervalValue((s64_t) n) {}
|
|
103
103
|
|
|
104
|
-
explicit IntervalValue(double n) : IntervalValue((
|
|
104
|
+
explicit IntervalValue(double n) : IntervalValue((s64_t) n) {}
|
|
105
105
|
|
|
106
106
|
explicit IntervalValue(NumericLiteral n) : IntervalValue(n, n) {}
|
|
107
107
|
|
|
@@ -109,15 +109,15 @@ public:
|
|
|
109
109
|
explicit IntervalValue(NumericLiteral lb, NumericLiteral ub) : AbstractValue(AbstractValue::IntervalK),
|
|
110
110
|
_lb(std::move(lb)), _ub(std::move(ub)) {}
|
|
111
111
|
|
|
112
|
-
explicit IntervalValue(
|
|
112
|
+
explicit IntervalValue(s64_t lb, s64_t ub) : IntervalValue(NumericLiteral(lb), NumericLiteral(ub)) {}
|
|
113
113
|
|
|
114
|
-
explicit IntervalValue(double lb, double ub) : IntervalValue(NumericLiteral((
|
|
114
|
+
explicit IntervalValue(double lb, double ub) : IntervalValue(NumericLiteral((s64_t) lb), NumericLiteral((s64_t) ub)) {}
|
|
115
115
|
|
|
116
|
-
explicit IntervalValue(s32_t lb, s32_t ub) : IntervalValue((
|
|
116
|
+
explicit IntervalValue(s32_t lb, s32_t ub) : IntervalValue((s64_t) lb, (s64_t) ub) {}
|
|
117
117
|
|
|
118
|
-
explicit IntervalValue(u32_t lb, u32_t ub) : IntervalValue((
|
|
118
|
+
explicit IntervalValue(u32_t lb, u32_t ub) : IntervalValue((s64_t) lb, (s64_t) ub) {}
|
|
119
119
|
|
|
120
|
-
explicit IntervalValue(u64_t lb, u64_t ub) : IntervalValue((
|
|
120
|
+
explicit IntervalValue(u64_t lb, u64_t ub) : IntervalValue((s64_t) lb, (s64_t) ub) {}
|
|
121
121
|
|
|
122
122
|
/// Copy constructor
|
|
123
123
|
IntervalValue(const IntervalValue &) = default;
|
|
@@ -260,7 +260,7 @@ public:
|
|
|
260
260
|
}
|
|
261
261
|
|
|
262
262
|
/// Return
|
|
263
|
-
|
|
263
|
+
s64_t getNumeral() const
|
|
264
264
|
{
|
|
265
265
|
assert(is_numeral() && "this IntervalValue is not numeral");
|
|
266
266
|
return _lb.getNumeral();
|
|
@@ -800,15 +800,15 @@ inline IntervalValue operator&(const IntervalValue &lhs, const IntervalValue &rh
|
|
|
800
800
|
}
|
|
801
801
|
else if (lhs.lb().getNumeral() >= 0 && rhs.lb().getNumeral() >= 0)
|
|
802
802
|
{
|
|
803
|
-
return IntervalValue((
|
|
803
|
+
return IntervalValue((s64_t) 0, min(lhs.ub(), rhs.ub()));
|
|
804
804
|
}
|
|
805
805
|
else if (lhs.lb().getNumeral() >= 0)
|
|
806
806
|
{
|
|
807
|
-
return IntervalValue((
|
|
807
|
+
return IntervalValue((s64_t) 0, lhs.ub());
|
|
808
808
|
}
|
|
809
809
|
else if (rhs.lb().getNumeral() >= 0)
|
|
810
810
|
{
|
|
811
|
-
return IntervalValue((
|
|
811
|
+
return IntervalValue((s64_t) 0, rhs.ub());
|
|
812
812
|
}
|
|
813
813
|
else
|
|
814
814
|
{
|
|
@@ -835,9 +835,9 @@ inline IntervalValue operator|(const IntervalValue &lhs, const IntervalValue &rh
|
|
|
835
835
|
else if (lhs.lb().getNumeral() >= 0 && !lhs.ub().is_infinity() &&
|
|
836
836
|
rhs.lb().getNumeral() >= 0 && !rhs.ub().is_infinity())
|
|
837
837
|
{
|
|
838
|
-
|
|
839
|
-
|
|
840
|
-
return IntervalValue((
|
|
838
|
+
s64_t m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());
|
|
839
|
+
s64_t ub = next_power_of_2(s64_t(m+1));
|
|
840
|
+
return IntervalValue((s64_t) 0, (s64_t) ub);
|
|
841
841
|
}
|
|
842
842
|
else
|
|
843
843
|
{
|
|
@@ -864,9 +864,9 @@ inline IntervalValue operator^(const IntervalValue &lhs, const IntervalValue &rh
|
|
|
864
864
|
else if (lhs.lb().getNumeral() >= 0 && !lhs.ub().is_infinity() &&
|
|
865
865
|
rhs.lb().getNumeral() >= 0 && !rhs.ub().is_infinity())
|
|
866
866
|
{
|
|
867
|
-
|
|
868
|
-
|
|
869
|
-
return IntervalValue((
|
|
867
|
+
s64_t m = std::max(lhs.ub().getNumeral(), rhs.ub().getNumeral());
|
|
868
|
+
s64_t ub = next_power_of_2(s64_t(m+1));
|
|
869
|
+
return IntervalValue((s64_t) 0, (s64_t) ub);
|
|
870
870
|
}
|
|
871
871
|
else
|
|
872
872
|
{
|
|
@@ -54,7 +54,7 @@ public:
|
|
|
54
54
|
|
|
55
55
|
NumericLiteral(s32_t i) : _n(i) {}
|
|
56
56
|
|
|
57
|
-
NumericLiteral(
|
|
57
|
+
NumericLiteral(s64_t i) : _n(i) {}
|
|
58
58
|
|
|
59
59
|
NumericLiteral(BoundedZ3Expr z3Expr) : _n(std::move(z3Expr)) {}
|
|
60
60
|
|
|
@@ -117,7 +117,7 @@ public:
|
|
|
117
117
|
}
|
|
118
118
|
|
|
119
119
|
/// Return Numeral
|
|
120
|
-
inline
|
|
120
|
+
inline s64_t getNumeral() const
|
|
121
121
|
{
|
|
122
122
|
return _n.getNumeral();
|
|
123
123
|
}
|