svf-tools 1.0.751 → 1.0.753
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 +3 -3
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h.html +24 -1
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +373 -376
- package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +12 -12
- package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +371 -369
- package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +63 -51
- package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +291 -296
- package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html +51 -51
- package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug.html +36 -36
- package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug.html +36 -36
- package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html +17 -15
- package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug.html +35 -35
- package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +49 -49
- package/SVF-doxygen/html/html/classSVF_1_1SVFBugReport.html +113 -99
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +3 -3
- package/SVF-doxygen/html/html/globals_defs.html +7 -0
- package/SVF-doxygen/html/html/globals_m.html +4 -1
- package/SVF-doxygen/html/html/menudata.js +1 -0
- package/SVF-doxygen/html/html/search/all_13.js +1 -1
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/defines_b.js +1 -2
- package/SVF-doxygen/html/html/search/defines_c.js +2 -2
- package/SVF-doxygen/html/html/search/defines_d.js +2 -6
- package/SVF-doxygen/html/html/search/defines_e.js +6 -3
- package/SVF-doxygen/html/html/search/defines_f.html +6 -2
- package/SVF-doxygen/html/html/search/defines_f.js +3 -26
- package/SVF-doxygen/html/html/search/searchdata.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 +8 -12
- package/svf/include/Util/SVFBugReport.h +12 -0
- package/svf/lib/Util/SVFBugReport.cpp +3 -1
|
@@ -236,48 +236,48 @@ Protected Attributes</h2></td></tr>
|
|
|
236
236
|
</table>
|
|
237
237
|
</div><div class="memdoc">
|
|
238
238
|
|
|
239
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
240
|
-
<div class="fragment"><div class="line"><a name="
|
|
241
|
-
<div class="line"><a name="
|
|
242
|
-
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  {</div>
|
|
243
|
-
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVFBugEvent::Branch</a>:</div>
|
|
239
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00289">289</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
240
|
+
<div class="fragment"><div class="line"><a name="l00290"></a><span class="lineno"> 290</span> {</div>
|
|
241
|
+
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="keywordflow">switch</span>(<a class="code" href="classSVF_1_1SVFBugEvent.html#a7ded0022f3852a08a05c67aeae77162f">getEventType</a>())</div>
|
|
244
242
|
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  {</div>
|
|
245
|
-
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span> 
|
|
246
|
-
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span> 
|
|
247
|
-
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span> 
|
|
248
|
-
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span> 
|
|
249
|
-
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span> 
|
|
250
|
-
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span> 
|
|
251
|
-
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span> 
|
|
252
|
-
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span> 
|
|
253
|
-
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span> 
|
|
254
|
-
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span> 
|
|
255
|
-
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span> 
|
|
256
|
-
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span> 
|
|
257
|
-
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span> 
|
|
258
|
-
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span> 
|
|
259
|
-
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <
|
|
260
|
-
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span> 
|
|
261
|
-
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span> 
|
|
262
|
-
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span> 
|
|
263
|
-
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span> 
|
|
264
|
-
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span> 
|
|
265
|
-
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span> 
|
|
266
|
-
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span> 
|
|
267
|
-
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span> 
|
|
268
|
-
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span> 
|
|
269
|
-
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span> 
|
|
270
|
-
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span> 
|
|
271
|
-
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span> 
|
|
272
|
-
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span> 
|
|
273
|
-
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span> 
|
|
274
|
-
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span> 
|
|
275
|
-
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span> 
|
|
276
|
-
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span> 
|
|
277
|
-
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span> 
|
|
278
|
-
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span> 
|
|
279
|
-
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span> 
|
|
280
|
-
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span> }</div>
|
|
243
|
+
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVFBugEvent::Branch</a>:</div>
|
|
244
|
+
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  {</div>
|
|
245
|
+
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567">typeAndInfoFlag</a> & <a class="code" href="SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec">BRANCHFLAGMASK</a>)</div>
|
|
246
|
+
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  {</div>
|
|
247
|
+
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <span class="keywordflow">return</span> <span class="stringliteral">"True"</span>;</div>
|
|
248
|
+
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  }</div>
|
|
249
|
+
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">else</span></div>
|
|
250
|
+
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  {</div>
|
|
251
|
+
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  <span class="keywordflow">return</span> <span class="stringliteral">"False"</span>;</div>
|
|
252
|
+
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  }</div>
|
|
253
|
+
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  <span class="keywordflow">break</span>;</div>
|
|
254
|
+
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  }</div>
|
|
255
|
+
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629">SVFBugEvent::CallSite</a>:</div>
|
|
256
|
+
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  {</div>
|
|
257
|
+
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> description(<span class="stringliteral">"calls "</span>);</div>
|
|
258
|
+
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *callee = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVFUtil::getCallee</a>(<a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>);</div>
|
|
259
|
+
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  <span class="keywordflow">if</span>(callee == <span class="keyword">nullptr</span>)</div>
|
|
260
|
+
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  {</div>
|
|
261
|
+
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  description += <span class="stringliteral">"<unknown>"</span>;</div>
|
|
262
|
+
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  }</div>
|
|
263
|
+
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <span class="keywordflow">else</span></div>
|
|
264
|
+
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  {</div>
|
|
265
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  description += callee-><a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
|
|
266
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  }</div>
|
|
267
|
+
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <span class="keywordflow">return</span> description;</div>
|
|
268
|
+
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  <span class="keywordflow">break</span>;</div>
|
|
269
|
+
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  }</div>
|
|
270
|
+
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVFBugEvent::SourceInst</a>:</div>
|
|
271
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  {</div>
|
|
272
|
+
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  <span class="keywordflow">return</span> <span class="stringliteral">"None"</span>;</div>
|
|
273
|
+
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  }</div>
|
|
274
|
+
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  <span class="keywordflow">default</span>:</div>
|
|
275
|
+
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  {</div>
|
|
276
|
+
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"No such type of event!"</span>);</div>
|
|
277
|
+
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  abort();</div>
|
|
278
|
+
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  }</div>
|
|
279
|
+
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  }</div>
|
|
280
|
+
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span> }</div>
|
|
281
281
|
</div><!-- fragment -->
|
|
282
282
|
</div>
|
|
283
283
|
</div>
|
|
@@ -304,10 +304,10 @@ Protected Attributes</h2></td></tr>
|
|
|
304
304
|
</table>
|
|
305
305
|
</div><div class="memdoc">
|
|
306
306
|
|
|
307
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
308
|
-
<div class="fragment"><div class="line"><a name="
|
|
309
|
-
<div class="line"><a name="
|
|
310
|
-
<div class="line"><a name="
|
|
307
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00284">284</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
308
|
+
<div class="fragment"><div class="line"><a name="l00285"></a><span class="lineno"> 285</span> {</div>
|
|
309
|
+
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>-><a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>();</div>
|
|
310
|
+
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span> }</div>
|
|
311
311
|
</div><!-- fragment -->
|
|
312
312
|
</div>
|
|
313
313
|
</div>
|
|
@@ -364,10 +364,10 @@ Protected Attributes</h2></td></tr>
|
|
|
364
364
|
</table>
|
|
365
365
|
</div><div class="memdoc">
|
|
366
366
|
|
|
367
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
368
|
-
<div class="fragment"><div class="line"><a name="
|
|
369
|
-
<div class="line"><a name="
|
|
370
|
-
<div class="line"><a name="
|
|
367
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00279">279</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
368
|
+
<div class="fragment"><div class="line"><a name="l00280"></a><span class="lineno"> 280</span> {</div>
|
|
369
|
+
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>-><a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>()-><a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
|
|
370
|
+
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span> }</div>
|
|
371
371
|
</div><!-- fragment -->
|
|
372
372
|
</div>
|
|
373
373
|
</div>
|
|
@@ -163,13 +163,13 @@ Protected Attributes</h2></td></tr>
|
|
|
163
163
|
</table>
|
|
164
164
|
</div><div class="memdoc">
|
|
165
165
|
|
|
166
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
167
|
-
<div class="fragment"><div class="line"><a name="
|
|
168
|
-
<div class="line"><a name="
|
|
169
|
-
<div class="line"><a name="
|
|
170
|
-
<div class="line"><a name="
|
|
171
|
-
<div class="line"><a name="
|
|
172
|
-
<div class="line"><a name="
|
|
166
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00332">332</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
167
|
+
<div class="fragment"><div class="line"><a name="l00333"></a><span class="lineno"> 333</span> {</div>
|
|
168
|
+
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> bugIt: <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>)</div>
|
|
169
|
+
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  {</div>
|
|
170
|
+
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  <span class="keyword">delete</span> bugIt;</div>
|
|
171
|
+
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  }</div>
|
|
172
|
+
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span> }</div>
|
|
173
173
|
</div><!-- fragment -->
|
|
174
174
|
</div>
|
|
175
175
|
</div>
|
|
@@ -250,16 +250,28 @@ Protected Attributes</h2></td></tr>
|
|
|
250
250
|
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
|
|
251
251
|
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  <span class="keywordflow">break</span>;</div>
|
|
252
252
|
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  }</div>
|
|
253
|
-
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <span class="keywordflow">
|
|
253
|
+
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">GenericBug::FULLNULLPTRDEREFERENCE</a>:</div>
|
|
254
254
|
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  {</div>
|
|
255
|
-
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span> 
|
|
256
|
-
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  <
|
|
257
|
-
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span> 
|
|
255
|
+
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  newBug = <span class="keyword">new</span> FullNullPtrDereferenceBug(eventStack);</div>
|
|
256
|
+
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
|
|
257
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  <span class="keywordflow">break</span>;</div>
|
|
258
258
|
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  }</div>
|
|
259
|
-
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  </div>
|
|
260
|
-
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span> 
|
|
261
|
-
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span> 
|
|
262
|
-
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span> 
|
|
259
|
+
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">GenericBug::PARTIALNULLPTRDEREFERENCE</a>:</div>
|
|
260
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  {</div>
|
|
261
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  newBug = <span class="keyword">new</span> PartialNullPtrDereferenceBug(eventStack);</div>
|
|
262
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
|
|
263
|
+
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  <span class="keywordflow">break</span>;</div>
|
|
264
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  }</div>
|
|
265
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <span class="keywordflow">default</span>:</div>
|
|
266
|
+
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  {</div>
|
|
267
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"Abstract Execution does NOT hava his bug type!"</span>);</div>
|
|
268
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <span class="keywordflow">break</span>;</div>
|
|
269
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  }</div>
|
|
270
|
+
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  }</div>
|
|
271
|
+
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  </div>
|
|
272
|
+
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  <span class="comment">// when add a bug, also print it to terminal</span></div>
|
|
273
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  newBug->printBugToTerminal();</div>
|
|
274
|
+
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  }</div>
|
|
263
275
|
</div><!-- fragment -->
|
|
264
276
|
</div>
|
|
265
277
|
</div>
|
|
@@ -366,89 +378,89 @@ Protected Attributes</h2></td></tr>
|
|
|
366
378
|
<p>dump single bug to json str and write to file</p>
|
|
367
379
|
<p>destroy the <a class="el" href="structcJSON.html">cJSON</a> object</p>
|
|
368
380
|
|
|
369
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
370
|
-
<div class="fragment"><div class="line"><a name="
|
|
371
|
-
<div class="line"><a name="
|
|
372
|
-
<div class="line"><a name="
|
|
373
|
-
<div class="line"><a name="
|
|
374
|
-
<div class="line"><a name="
|
|
375
|
-
<div class="line"><a name="
|
|
376
|
-
<div class="line"><a name="
|
|
377
|
-
<div class="line"><a name="
|
|
378
|
-
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  </div>
|
|
379
|
-
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  ofstream jsonFile(filePath, ios::out);</div>
|
|
381
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00340">340</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
382
|
+
<div class="fragment"><div class="line"><a name="l00341"></a><span class="lineno"> 341</span> {</div>
|
|
383
|
+
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  std::map<u32_t, std::string> eventType2Str =</div>
|
|
384
|
+
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  {</div>
|
|
385
|
+
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  {<a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629">SVFBugEvent::CallSite</a>, <span class="stringliteral">"call site"</span>},</div>
|
|
386
|
+
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  {<a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6">SVFBugEvent::Caller</a>, <span class="stringliteral">"caller"</span>},</div>
|
|
387
|
+
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  {<a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa6d697ba9fc671288636733b8f4678a7">SVFBugEvent::Loop</a>, <span class="stringliteral">"loop"</span>},</div>
|
|
388
|
+
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  {<a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVFBugEvent::Branch</a>, <span class="stringliteral">"branch"</span>}</div>
|
|
389
|
+
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  };</div>
|
|
380
390
|
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  </div>
|
|
381
|
-
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  jsonFile
|
|
391
|
+
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  ofstream jsonFile(filePath, ios::out);</div>
|
|
382
392
|
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  </div>
|
|
383
|
-
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span> 
|
|
384
|
-
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span> 
|
|
385
|
-
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span> 
|
|
386
|
-
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span> 
|
|
387
|
-
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span> 
|
|
388
|
-
<div class="line"><a name="
|
|
389
|
-
<div class="line"><a name="
|
|
390
|
-
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  </div>
|
|
391
|
-
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  <
|
|
392
|
-
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span> 
|
|
393
|
-
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span> 
|
|
394
|
-
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span> 
|
|
395
|
-
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span> 
|
|
396
|
-
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span> 
|
|
397
|
-
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span> 
|
|
398
|
-
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  <
|
|
399
|
-
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span> 
|
|
400
|
-
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  </div>
|
|
401
|
-
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  cJSON_AddItemToObject(singleBug, <span class="stringliteral">"
|
|
393
|
+
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  jsonFile << <span class="stringliteral">"["</span>;</div>
|
|
394
|
+
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  </div>
|
|
395
|
+
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  <span class="keywordtype">size_t</span> commaCounter = <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.size() - 1; <span class="comment">// comma num needed</span></div>
|
|
396
|
+
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> bugPtr : <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>)</div>
|
|
397
|
+
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  {</div>
|
|
398
|
+
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <a class="code" href="structcJSON.html">cJSON</a> *singleBug = cJSON_CreateObject();</div>
|
|
399
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  </div>
|
|
400
|
+
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  <a class="code" href="structcJSON.html">cJSON</a> *bugType = cJSON_CreateString(<a class="code" href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3">GenericBug::BugType2Str</a>.at(bugPtr->getBugType()).c_str());</div>
|
|
401
|
+
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  cJSON_AddItemToObject(singleBug, <span class="stringliteral">"DefectType"</span>, bugType);</div>
|
|
402
|
+
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  </div>
|
|
403
|
+
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  <a class="code" href="structcJSON.html">cJSON</a> *bugLoc = cJSON_Parse(bugPtr->getLoc().c_str());</div>
|
|
404
|
+
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  <span class="keywordflow">if</span>(bugLoc == <span class="keyword">nullptr</span>)</div>
|
|
405
|
+
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  {</div>
|
|
406
|
+
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  bugLoc = cJSON_CreateObject();</div>
|
|
407
|
+
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  }</div>
|
|
408
|
+
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  cJSON_AddItemToObject(singleBug, <span class="stringliteral">"Location"</span>, bugLoc);</div>
|
|
409
|
+
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  </div>
|
|
410
|
+
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  <a class="code" href="structcJSON.html">cJSON</a> *bugFunction = cJSON_CreateString(bugPtr->getFuncName().c_str());</div>
|
|
411
|
+
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  cJSON_AddItemToObject(singleBug, <span class="stringliteral">"Function"</span>, bugFunction);</div>
|
|
402
412
|
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  </div>
|
|
403
|
-
<div class="line"><a name="
|
|
404
|
-
<div class="line"><a name="
|
|
405
|
-
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <
|
|
406
|
-
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span> 
|
|
407
|
-
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span> 
|
|
408
|
-
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span> 
|
|
409
|
-
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span> 
|
|
410
|
-
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span> 
|
|
411
|
-
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span> 
|
|
412
|
-
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span> 
|
|
413
|
-
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span> 
|
|
414
|
-
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  </div>
|
|
415
|
-
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span> 
|
|
416
|
-
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span> 
|
|
417
|
-
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <a class="code" href="structcJSON.html">cJSON</a> *
|
|
418
|
-
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span> 
|
|
419
|
-
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  <
|
|
420
|
-
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <
|
|
421
|
-
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span> 
|
|
422
|
-
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  <
|
|
423
|
-
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  <
|
|
424
|
-
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  <span class="
|
|
425
|
-
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span> 
|
|
426
|
-
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span> 
|
|
427
|
-
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span> 
|
|
428
|
-
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span> 
|
|
429
|
-
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span> 
|
|
430
|
-
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  <
|
|
431
|
-
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span> 
|
|
432
|
-
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  </div>
|
|
433
|
-
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span> 
|
|
434
|
-
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span> 
|
|
435
|
-
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span> 
|
|
436
|
-
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span> 
|
|
437
|
-
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span> 
|
|
438
|
-
<div class="line"><a name="
|
|
439
|
-
<div class="line"><a name="
|
|
440
|
-
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  <span class="
|
|
441
|
-
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span> 
|
|
442
|
-
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span> 
|
|
443
|
-
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span> 
|
|
444
|
-
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span> 
|
|
445
|
-
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span> 
|
|
446
|
-
<div class="line"><a name="
|
|
447
|
-
<div class="line"><a name="
|
|
448
|
-
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  </div>
|
|
449
|
-
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span> 
|
|
450
|
-
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span> 
|
|
451
|
-
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span> 
|
|
413
|
+
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  cJSON_AddItemToObject(singleBug, <span class="stringliteral">"Description"</span>, bugPtr->getBugDescription());</div>
|
|
414
|
+
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  </div>
|
|
415
|
+
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <a class="code" href="structcJSON.html">cJSON</a> *eventList = cJSON_CreateArray();</div>
|
|
416
|
+
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &bugEventStack = bugPtr->getEventStack();</div>
|
|
417
|
+
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a236e3cf3e81ec4248547b3011323e45f">BufferOverflowBug::classof</a>(bugPtr))</div>
|
|
418
|
+
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  {</div>
|
|
419
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  <span class="comment">// add only when bug is context sensitive</span></div>
|
|
420
|
+
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBugEvent.html">SVFBugEvent</a>&event : bugEventStack)</div>
|
|
421
|
+
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  {</div>
|
|
422
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  <span class="keywordflow">if</span> (event.getEventType() == <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVFBugEvent::SourceInst</a>)</div>
|
|
423
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  {</div>
|
|
424
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <span class="keywordflow">continue</span>;</div>
|
|
425
|
+
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  }</div>
|
|
426
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  </div>
|
|
427
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <a class="code" href="structcJSON.html">cJSON</a> *singleEvent = cJSON_CreateObject();</div>
|
|
428
|
+
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  <span class="comment">//event type</span></div>
|
|
429
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  <a class="code" href="structcJSON.html">cJSON</a> *eventType = cJSON_CreateString(eventType2Str[event.getEventType()].c_str());</div>
|
|
430
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  cJSON_AddItemToObject(singleEvent, <span class="stringliteral">"EventType"</span>, eventType);</div>
|
|
431
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  <span class="comment">//function name</span></div>
|
|
432
|
+
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  <a class="code" href="structcJSON.html">cJSON</a> *eventFunc = cJSON_CreateString(event.getFuncName().c_str());</div>
|
|
433
|
+
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  cJSON_AddItemToObject(singleEvent, <span class="stringliteral">"Function"</span>, eventFunc);</div>
|
|
434
|
+
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  <span class="comment">//event loc</span></div>
|
|
435
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  <a class="code" href="structcJSON.html">cJSON</a> *eventLoc = cJSON_Parse(event.getEventLoc().c_str());</div>
|
|
436
|
+
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  <span class="keywordflow">if</span>(eventLoc == <span class="keyword">nullptr</span>)</div>
|
|
437
|
+
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  {</div>
|
|
438
|
+
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  eventLoc = cJSON_CreateObject();</div>
|
|
439
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  }</div>
|
|
440
|
+
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  cJSON_AddItemToObject(singleEvent, <span class="stringliteral">"Location"</span>, eventLoc);</div>
|
|
441
|
+
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  <span class="comment">//event description</span></div>
|
|
442
|
+
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  <a class="code" href="structcJSON.html">cJSON</a> *eventDescription = cJSON_CreateString(event.getEventDescription().c_str());</div>
|
|
443
|
+
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  cJSON_AddItemToObject(singleEvent, <span class="stringliteral">"Description"</span>, eventDescription);</div>
|
|
444
|
+
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  </div>
|
|
445
|
+
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  cJSON_AddItemToArray(eventList, singleEvent);</div>
|
|
446
|
+
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  }</div>
|
|
447
|
+
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  }</div>
|
|
448
|
+
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  cJSON_AddItemToObject(singleBug, <span class="stringliteral">"Events"</span>, eventList);</div>
|
|
449
|
+
<div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  </div>
|
|
450
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  <span class="keywordtype">char</span> *singleBugStr = cJSON_Print(singleBug);</div>
|
|
451
|
+
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  jsonFile << singleBugStr;</div>
|
|
452
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  <span class="keywordflow">if</span> (commaCounter != 0)</div>
|
|
453
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  {</div>
|
|
454
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  jsonFile << <span class="stringliteral">",\n"</span>;</div>
|
|
455
|
+
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  }</div>
|
|
456
|
+
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  commaCounter --;</div>
|
|
457
|
+
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  </div>
|
|
458
|
+
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  <a class="code" href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON_Delete</a>(singleBug);</div>
|
|
459
|
+
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  }</div>
|
|
460
|
+
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  </div>
|
|
461
|
+
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  jsonFile << <span class="stringliteral">"]"</span>;</div>
|
|
462
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  jsonFile.close();</div>
|
|
463
|
+
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span> }</div>
|
|
452
464
|
</div><!-- fragment -->
|
|
453
465
|
</div>
|
|
454
466
|
</div>
|
|
@@ -475,10 +487,10 @@ Protected Attributes</h2></td></tr>
|
|
|
475
487
|
</table>
|
|
476
488
|
</div><div class="memdoc">
|
|
477
489
|
|
|
478
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#
|
|
479
|
-
<div class="fragment"><div class="line"><a name="
|
|
480
|
-
<div class="line"><a name="
|
|
481
|
-
<div class="line"><a name="
|
|
490
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8h_source.html#l00409">409</a> of file <a class="el" href="SVFBugReport_8h_source.html">SVFBugReport.h</a>.</p>
|
|
491
|
+
<div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  {</div>
|
|
492
|
+
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>;</div>
|
|
493
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  }</div>
|
|
482
494
|
</div><!-- fragment -->
|
|
483
495
|
</div>
|
|
484
496
|
</div>
|
|
@@ -528,9 +540,11 @@ Protected Attributes</h2></td></tr>
|
|
|
528
540
|
<div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629">SVF::SVFBugEvent::CallSite</a></div><div class="ttdeci">@ CallSite</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00058">SVFBugReport.h:58</a></div></div>
|
|
529
541
|
<div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">SVF::GenericBug::DOUBLEFREE</a></div><div class="ttdeci">@ DOUBLEFREE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
|
|
530
542
|
<div class="ttc" id="aclassSVF_1_1GenericBug_html_a5cfadd60fc90ea6cb7b51aa1f292b6a3"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3">SVF::GenericBug::BugType2Str</a></div><div class="ttdeci">static const std::map< GenericBug::BugType, std::string > BugType2Str</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00087">SVFBugReport.h:87</a></div></div>
|
|
543
|
+
<div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">SVF::GenericBug::FULLNULLPTRDEREFERENCE</a></div><div class="ttdeci">@ FULLNULLPTRDEREFERENCE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
|
|
531
544
|
<div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVF::SVFBugEvent::Branch</a></div><div class="ttdeci">@ Branch</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00056">SVFBugReport.h:56</a></div></div>
|
|
532
545
|
<div class="ttc" id="aclassSVF_1_1SVFBugEvent_html"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html">SVF::SVFBugEvent</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00051">SVFBugReport.h:51</a></div></div>
|
|
533
546
|
<div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">SVF::GenericBug::PARTIALBUFOVERFLOW</a></div><div class="ttdeci">@ PARTIALBUFOVERFLOW</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
|
|
547
|
+
<div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">SVF::GenericBug::PARTIALNULLPTRDEREFERENCE</a></div><div class="ttdeci">@ PARTIALNULLPTRDEREFERENCE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
|
|
534
548
|
<!-- start footer part -->
|
|
535
549
|
<hr class="footer"/><address class="footer"><small>
|
|
536
550
|
Generated by  <a href="http://www.doxygen.org/index.html">
|
|
@@ -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#l00059">BoundedZ3Expr.h:59</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#l00109">BoundedZ3Expr.h:109</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#l00119">BoundedZ3Expr.h:119</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 -->
|
|
@@ -386,6 +386,13 @@ $(function() {
|
|
|
386
386
|
</ul>
|
|
387
387
|
|
|
388
388
|
|
|
389
|
+
<h3><a id="index_m"></a>- m -</h3><ul>
|
|
390
|
+
<li>MaxBvLen
|
|
391
|
+
: <a class="el" href="BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7">BoundedZ3Expr.h</a>
|
|
392
|
+
</li>
|
|
393
|
+
</ul>
|
|
394
|
+
|
|
395
|
+
|
|
389
396
|
<h3><a id="index_n"></a>- n -</h3><ul>
|
|
390
397
|
<li>NAN
|
|
391
398
|
: <a class="el" href="cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc">cJSON.cpp</a>
|
|
@@ -67,12 +67,15 @@ $(function() {
|
|
|
67
67
|
<li>main()
|
|
68
68
|
: <a class="el" href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">cfl.cpp</a>
|
|
69
69
|
, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
|
|
70
|
+
, <a class="el" href="llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">llvm2svf.cpp</a>
|
|
70
71
|
, <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
|
|
71
72
|
, <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
|
|
72
73
|
, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
|
|
73
|
-
, <a class="el" href="llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">llvm2svf.cpp</a>
|
|
74
74
|
, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
|
|
75
75
|
</li>
|
|
76
|
+
<li>MaxBvLen
|
|
77
|
+
: <a class="el" href="BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7">BoundedZ3Expr.h</a>
|
|
78
|
+
</li>
|
|
76
79
|
<li>minify_string()
|
|
77
80
|
: <a class="el" href="cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b">cJSON.cpp</a>
|
|
78
81
|
</li>
|