svf-tools 1.0.507 → 1.0.508
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/ExeState_8cpp_source.html +14 -15
- package/SVF-doxygen/html/html/ExeState_8h_source.html +16 -16
- package/SVF-doxygen/html/html/ProgSlice_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +28 -30
- package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +33 -33
- package/SVF-doxygen/html/html/Z3Expr_8cpp_source.html +13 -12
- package/SVF-doxygen/html/html/Z3Expr_8h_source.html +48 -47
- package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +33 -33
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +91 -91
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Z3Expr-members.html +13 -12
- package/SVF-doxygen/html/html/classSVF_1_1Z3Expr.html +148 -115
- package/SVF-doxygen/html/html/functions_c.html +1 -1
- package/SVF-doxygen/html/html/functions_func_r.html +6 -3
- package/SVF-doxygen/html/html/functions_o.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +10 -6
- package/SVF-doxygen/html/html/functions_r.html +10 -11
- package/SVF-doxygen/html/html/functions_s.html +8 -10
- package/SVF-doxygen/html/html/functions_t.html +10 -8
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_c.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_s.html +1 -1
- package/SVF-doxygen/html/html/search/all_10.js +4 -4
- package/SVF-doxygen/html/html/search/all_11.js +4 -3
- package/SVF-doxygen/html/html/search/all_12.js +6 -6
- package/SVF-doxygen/html/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/html/search/all_14.js +1 -1
- package/SVF-doxygen/html/html/search/all_15.js +2 -2
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_10.js +1 -0
- package/SVF-doxygen/html/html/search/functions_f.js +1 -1
- package/SVF-doxygen/html/html/search/variables_12.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_14.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_9.js +1 -1
- package/SVF-doxygen/html/html/search/variables_c.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html +3 -3
- package/include/Util/Z3Expr.h +4 -1
- package/lib/SABER/SaberCondAllocator.cpp +0 -2
- package/lib/Util/ExeState.cpp +0 -1
- package/lib/Util/Z3Expr.cpp +15 -1
- package/package.json +1 -1
|
@@ -1472,7 +1472,7 @@ Private Attributes</h2></td></tr>
|
|
|
1472
1472
|
<div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a4f37c66db2588cd691353a9ad1a4d5b1"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a4f37c66db2588cd691353a9ad1a4d5b1">SVF::SrcSnkDDA::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdoc">Get SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00115">SrcSnkDDA.h:115</a></div></div>
|
|
1473
1473
|
<div class="ttc" id="classSVF_1_1SrcSnkDDA_html_a1c8f91ffa0b9f01d51c8cd5e14f076d5"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5">SVF::SrcSnkDDA::initSrcs</a></div><div class="ttdeci">virtual void initSrcs()=0</div></div>
|
|
1474
1474
|
<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a0298a692295a8a4eae32ab151aa6ccc3"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a0298a692295a8a4eae32ab151aa6ccc3">SVF::GraphReachSolver::setGraph</a></div><div class="ttdeci">void setGraph(GraphType g)</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00078">GraphReachSolver.h:78</a></div></div>
|
|
1475
|
-
<div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a0014c59d7f3c7bd0845548aea05a9a5b"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b">SVF::SaberCondAllocator::allocate</a></div><div class="ttdeci">void allocate(const SVFModule *module)</div><div class="ttdoc">Perform path allocation. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#
|
|
1475
|
+
<div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a0014c59d7f3c7bd0845548aea05a9a5b"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b">SVF::SaberCondAllocator::allocate</a></div><div class="ttdeci">void allocate(const SVFModule *module)</div><div class="ttdoc">Perform path allocation. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00058">SaberCondAllocator.cpp:58</a></div></div>
|
|
1476
1476
|
<div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
|
|
1477
1477
|
</div><!-- fragment -->
|
|
1478
1478
|
</div>
|
|
@@ -72,7 +72,7 @@ $(function() {
|
|
|
72
72
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea">AND</a>(const Z3Expr &lhs, const Z3Expr &rhs)</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>
|
|
73
73
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9">ashr</a>(const Z3Expr &lhs, const Z3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
74
74
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a">bv2int</a>(const Z3Expr &e, bool isSigned)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
75
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
75
|
+
<tr><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>
|
|
76
76
|
<tr class="even"><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>
|
|
77
77
|
<tr><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>
|
|
78
78
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402">eq</a>(const Z3Expr &lhs, const Z3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
@@ -114,17 +114,18 @@ $(function() {
|
|
|
114
114
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a31327900a231526ff8f62be87c5f309d">operator||</a>(const Z3Expr &lhs, const Z3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
115
115
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e">OR</a>(const Z3Expr &lhs, const Z3Expr &rhs)</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>
|
|
116
116
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94">releaseContext</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>
|
|
117
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
118
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
119
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
120
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
121
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
122
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
123
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
124
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
125
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
126
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
127
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
117
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733">releaseSolver</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>
|
|
118
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a7b6e7cd3b0b8681a4f4885e658632dce">shl</a>(const Z3Expr &lhs, const Z3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
119
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">simplify</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>
|
|
120
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e">solver</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>
|
|
121
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">to_string</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>
|
|
122
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb">Z3Expr</a>(float f)</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>
|
|
123
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a540f1dc9615fd9765cff52a2a17adadc">Z3Expr</a>(double f)</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>
|
|
124
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290">Z3Expr</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></td></tr>
|
|
125
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8">Z3Expr</a>(const z3::expr &_e)</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>
|
|
126
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a8a6922b80af6a71d3b94fdd7c31e130b">Z3Expr</a>(int i)</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>
|
|
127
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a004ca551a4c40e295bcab56374a45947">Z3Expr</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">inline</span></td></tr>
|
|
128
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#ab7310d0e1e92a0150fde7c7aae961f9d">~Z3Expr</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
128
129
|
</table></div><!-- contents -->
|
|
129
130
|
<!-- start footer part -->
|
|
130
131
|
<hr class="footer"/><address class="footer"><small>
|