svf-tools 1.0.300 → 1.0.301
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/DoubleFreeChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/LeakChecker_8h_source.html +8 -8
- package/SVF-doxygen/html/html/Options_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/Options_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +10 -9
- package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +8 -8
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +22 -20
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +2 -2
- package/SVF-doxygen/html/html/functions_s.html +20 -17
- package/SVF-doxygen/html/html/functions_t.html +4 -4
- package/SVF-doxygen/html/html/functions_vars_s.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_w.html +0 -3
- package/SVF-doxygen/html/html/functions_w.html +8 -9
- package/SVF-doxygen/html/html/search/all_13.js +1 -0
- package/SVF-doxygen/html/html/search/all_14.js +3 -3
- package/SVF-doxygen/html/html/search/all_17.js +1 -2
- package/SVF-doxygen/html/html/search/variables_13.js +1 -0
- package/SVF-doxygen/html/html/search/variables_14.js +1 -1
- package/SVF-doxygen/html/html/search/variables_17.js +0 -1
- package/include/Util/Options.h +1 -1
- package/lib/SABER/LeakChecker.cpp +3 -2
- package/lib/SABER/SrcSnkDDA.cpp +4 -1
- package/lib/Util/Options.cpp +3 -3
- package/lib/WPA/WPAPass.cpp +1 -1
- package/package.json +1 -1
|
@@ -159,26 +159,26 @@ $(function() {
|
|
|
159
159
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">ReadPrecisionTDEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
160
160
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">RegionAlign</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
161
161
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">RegionedClustering</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
162
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
163
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
164
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
165
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
166
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
167
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
168
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
169
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
170
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
171
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
172
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
173
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
174
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
175
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
176
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
177
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
178
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
179
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
180
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
181
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
162
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SABERFULLSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
163
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">SelfCycle</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
164
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SingleLoad</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
165
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SingleStride</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
166
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403">SingleVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
167
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">StatBudget</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
168
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVFGWithIndirectCall</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
169
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVFMain</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
170
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SymTabPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
171
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">TaintUninitHeap</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
172
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">TaintUninitStack</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
173
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f">TBHCAllReuse</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
174
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e">TBHCStoreReuse</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
175
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">TCTDotGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
176
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">TypePrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
177
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">UsePCG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
178
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">UsePreCompFieldSensitive</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
179
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">UserInputQuery</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
180
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">ValidateTests</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
181
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">WPANum</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
182
182
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">WriteAnder</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
183
183
|
</table></div><!-- contents -->
|
|
184
184
|
<!-- start footer part -->
|
|
@@ -307,8 +307,8 @@ Static Public Attributes</h2></td></tr>
|
|
|
307
307
|
<tr class="separator:a5d839932d78bedf6f5eb75358699732f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
308
308
|
<tr class="memitem:a30cbb0b3633c769c92f4625680ec17e3"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt< bool > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">AnderSVFG</a></td></tr>
|
|
309
309
|
<tr class="separator:a30cbb0b3633c769c92f4625680ec17e3"><td class="memSeparator" colspan="2"> </td></tr>
|
|
310
|
-
<tr class="memitem:
|
|
311
|
-
<tr class="separator:
|
|
310
|
+
<tr class="memitem:a5fb7733fd66ecad30eea8ced3839e590"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt< bool > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SABERFULLSVFG</a></td></tr>
|
|
311
|
+
<tr class="separator:a5fb7733fd66ecad30eea8ced3839e590"><td class="memSeparator" colspan="2"> </td></tr>
|
|
312
312
|
<tr class="memitem:a1b1d1ad6b3a6c48a9fa07161b582c7fe"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt< bool > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">PrintAliases</a></td></tr>
|
|
313
313
|
<tr class="separator:a1b1d1ad6b3a6c48a9fa07161b582c7fe"><td class="memSeparator" colspan="2"> </td></tr>
|
|
314
314
|
<tr class="memitem:a1211da4c36f1fcc65235891f31d87038"><td class="memItemLeft" align="right" valign="top">static llvm::cl::bits< <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">PointerAnalysis::PTATY</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">PASelected</a></td></tr>
|
|
@@ -2508,6 +2508,30 @@ Static Public Attributes</h2></td></tr>
|
|
|
2508
2508
|
|
|
2509
2509
|
<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00055">55</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
|
|
2510
2510
|
|
|
2511
|
+
</div>
|
|
2512
|
+
</div>
|
|
2513
|
+
<a id="a5fb7733fd66ecad30eea8ced3839e590"></a>
|
|
2514
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a5fb7733fd66ecad30eea8ced3839e590">◆ </a></span>SABERFULLSVFG</h2>
|
|
2515
|
+
|
|
2516
|
+
<div class="memitem">
|
|
2517
|
+
<div class="memproto">
|
|
2518
|
+
<table class="mlabels">
|
|
2519
|
+
<tr>
|
|
2520
|
+
<td class="mlabels-left">
|
|
2521
|
+
<table class="memname">
|
|
2522
|
+
<tr>
|
|
2523
|
+
<td class="memname">const llvm::cl::opt< bool > SVF::Options::SABERFULLSVFG</td>
|
|
2524
|
+
</tr>
|
|
2525
|
+
</table>
|
|
2526
|
+
</td>
|
|
2527
|
+
<td class="mlabels-right">
|
|
2528
|
+
<span class="mlabels"><span class="mlabel">static</span></span> </td>
|
|
2529
|
+
</tr>
|
|
2530
|
+
</table>
|
|
2531
|
+
</div><div class="memdoc">
|
|
2532
|
+
|
|
2533
|
+
<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00242">242</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
|
|
2534
|
+
|
|
2511
2535
|
</div>
|
|
2512
2536
|
</div>
|
|
2513
2537
|
<a id="a3ed96242ac56a05d057ebd11b23cf053"></a>
|
|
@@ -2966,30 +2990,6 @@ Static Public Attributes</h2></td></tr>
|
|
|
2966
2990
|
|
|
2967
2991
|
<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00096">96</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
|
|
2968
2992
|
|
|
2969
|
-
</div>
|
|
2970
|
-
</div>
|
|
2971
|
-
<a id="afaae631af08b4e9241982eb9093688ac"></a>
|
|
2972
|
-
<h2 class="memtitle"><span class="permalink"><a href="#afaae631af08b4e9241982eb9093688ac">◆ </a></span>WPAOPTSVFG</h2>
|
|
2973
|
-
|
|
2974
|
-
<div class="memitem">
|
|
2975
|
-
<div class="memproto">
|
|
2976
|
-
<table class="mlabels">
|
|
2977
|
-
<tr>
|
|
2978
|
-
<td class="mlabels-left">
|
|
2979
|
-
<table class="memname">
|
|
2980
|
-
<tr>
|
|
2981
|
-
<td class="memname">const llvm::cl::opt< bool > SVF::Options::WPAOPTSVFG</td>
|
|
2982
|
-
</tr>
|
|
2983
|
-
</table>
|
|
2984
|
-
</td>
|
|
2985
|
-
<td class="mlabels-right">
|
|
2986
|
-
<span class="mlabels"><span class="mlabel">static</span></span> </td>
|
|
2987
|
-
</tr>
|
|
2988
|
-
</table>
|
|
2989
|
-
</div><div class="memdoc">
|
|
2990
|
-
|
|
2991
|
-
<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00242">242</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
|
|
2992
|
-
|
|
2993
2993
|
</div>
|
|
2994
2994
|
</div>
|
|
2995
2995
|
<a id="a4c7eb57066c80c62ef394d644833214a"></a>
|