svf-tools 1.0.751 → 1.0.752

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.
Files changed (16) hide show
  1. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +371 -369
  2. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +63 -51
  3. package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html +51 -51
  4. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug.html +36 -36
  5. package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug.html +11 -11
  6. package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug.html +36 -36
  7. package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.html +11 -11
  8. package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html +17 -15
  9. package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug.html +11 -11
  10. package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug.html +35 -35
  11. package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.html +11 -11
  12. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +49 -49
  13. package/SVF-doxygen/html/html/classSVF_1_1SVFBugReport.html +113 -99
  14. package/package.json +1 -1
  15. package/svf/include/Util/SVFBugReport.h +12 -0
  16. package/svf/lib/Util/SVFBugReport.cpp +3 -1
package/SVF-doxygen/html/html/SVFBugReport_8h_source.html CHANGED
@@ -423,44 +423,56 @@ $(function() {
423
423
  <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
424
424
  <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">break</span>;</div>
425
425
  <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div>
426
- <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">default</span>:</div>
426
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">GenericBug::FULLNULLPTRDEREFERENCE</a>:</div>
427
427
  <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
428
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Abstract Execution does NOT hava his bug type!&quot;</span>);</div>
429
- <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">break</span>;</div>
430
- <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; }</div>
428
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FullNullPtrDereferenceBug.html">FullNullPtrDereferenceBug</a>(eventStack);</div>
429
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
430
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordflow">break</span>;</div>
431
431
  <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; }</div>
432
- <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; </div>
433
- <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; <span class="comment">// when add a bug, also print it to terminal</span></div>
434
- <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; newBug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">printBugToTerminal</a>();</div>
435
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; }</div>
436
- <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; </div>
437
- <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="comment">/*</span></div>
438
- <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160;<span class="comment"> * function: pass file path, open the file and dump bug report as JSON format</span></div>
439
- <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160;<span class="comment"> * usage: dumpToFile(&quot;/path/to/file&quot;)</span></div>
440
- <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160;<span class="comment"> */</span></div>
441
- <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">dumpToJsonFile</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; filePath) <span class="keyword">const</span>;</div>
442
- <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; </div>
443
- <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; <span class="comment">/*</span></div>
444
- <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160;<span class="comment"> * function: get underlying bugset</span></div>
445
- <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160;<span class="comment"> * usage: getBugSet()</span></div>
446
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160;<span class="comment"> */</span></div>
447
- <div class="line"><a name="l00397"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e"> 397</a></span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a> &amp;<a class="code" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">getBugSet</a>()<span class="keyword"> const</span></div>
448
- <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160;<span class="keyword"> </span>{</div>
449
- <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>;</div>
450
- <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; }</div>
451
- <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; </div>
452
- <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160;};</div>
453
- <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160;}</div>
432
+ <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">GenericBug::PARTIALNULLPTRDEREFERENCE</a>:</div>
433
+ <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; {</div>
434
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PartialNullPtrDereferenceBug.html">PartialNullPtrDereferenceBug</a>(eventStack);</div>
435
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
436
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <span class="keywordflow">break</span>;</div>
437
+ <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; }</div>
438
+ <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <span class="keywordflow">default</span>:</div>
439
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; {</div>
440
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Abstract Execution does NOT hava his bug type!&quot;</span>);</div>
441
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <span class="keywordflow">break</span>;</div>
442
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; }</div>
443
+ <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; }</div>
444
+ <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; </div>
445
+ <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <span class="comment">// when add a bug, also print it to terminal</span></div>
446
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; newBug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">printBugToTerminal</a>();</div>
447
+ <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div>
448
+ <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; </div>
449
+ <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; <span class="comment">/*</span></div>
450
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160;<span class="comment"> * function: pass file path, open the file and dump bug report as JSON format</span></div>
451
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160;<span class="comment"> * usage: dumpToFile(&quot;/path/to/file&quot;)</span></div>
452
+ <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160;<span class="comment"> */</span></div>
453
+ <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">dumpToJsonFile</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; filePath) <span class="keyword">const</span>;</div>
454
454
  <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; </div>
455
- <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160;<span class="preprocessor">#endif</span></div>
455
+ <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; <span class="comment">/*</span></div>
456
+ <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160;<span class="comment"> * function: get underlying bugset</span></div>
457
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160;<span class="comment"> * usage: getBugSet()</span></div>
458
+ <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160;<span class="comment"> */</span></div>
459
+ <div class="line"><a name="l00409"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e"> 409</a></span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a> &amp;<a class="code" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">getBugSet</a>()<span class="keyword"> const</span></div>
460
+ <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160;<span class="keyword"> </span>{</div>
461
+ <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>;</div>
462
+ <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; }</div>
463
+ <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; </div>
464
+ <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160;};</div>
465
+ <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160;}</div>
466
+ <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; </div>
467
+ <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160;<span class="preprocessor">#endif</span></div>
456
468
  </div><!-- fragment --></div><!-- contents -->
457
469
  <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a05f395eff23619ed10c31c0acda949e2"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">SVF::SVFBugReport::addAbsExecBug</a></div><div class="ttdeci">void addAbsExecBug(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00357">SVFBugReport.h:357</a></div></div>
458
- <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_a8f057178ee7182d691dbb3103d0d0d43"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#a8f057178ee7182d691dbb3103d0d0d43">SVF::FullNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00253">SVFBugReport.cpp:253</a></div></div>
459
- <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_ac20c926cb9a72c5913afcf6877d04791"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#ac20c926cb9a72c5913afcf6877d04791">SVF::NeverFreeBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00122">SVFBugReport.cpp:122</a></div></div>
460
- <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_ae3d9bb5952fa858780ec50148e474388"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#ae3d9bb5952fa858780ec50148e474388">SVF::FileNeverCloseBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00209">SVFBugReport.cpp:209</a></div></div>
470
+ <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_a8f057178ee7182d691dbb3103d0d0d43"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#a8f057178ee7182d691dbb3103d0d0d43">SVF::FullNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00255">SVFBugReport.cpp:255</a></div></div>
471
+ <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_ac20c926cb9a72c5913afcf6877d04791"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#ac20c926cb9a72c5913afcf6877d04791">SVF::NeverFreeBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00124">SVFBugReport.cpp:124</a></div></div>
472
+ <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_ae3d9bb5952fa858780ec50148e474388"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#ae3d9bb5952fa858780ec50148e474388">SVF::FileNeverCloseBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00211">SVFBugReport.cpp:211</a></div></div>
461
473
  <div class="ttc" id="aICFGNode_8h_html"><div class="ttname"><a href="ICFGNode_8h.html">ICFGNode.h</a></div></div>
462
474
  <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html">SVF::FileNeverCloseBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00224">SVFBugReport.h:224</a></div></div>
463
- <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_a0e52a0f35ff4d536f2de27a22139e59c"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#a0e52a0f35ff4d536f2de27a22139e59c">SVF::NeverFreeBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00116">SVFBugReport.cpp:116</a></div></div>
475
+ <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_a0e52a0f35ff4d536f2de27a22139e59c"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#a0e52a0f35ff4d536f2de27a22139e59c">SVF::NeverFreeBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00118">SVFBugReport.cpp:118</a></div></div>
464
476
  <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_ad3f9af5c317048ada0a8d6a25402a9db"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#ad3f9af5c317048ada0a8d6a25402a9db">SVF::PartialNullPtrDereferenceBug::PartialNullPtrDereferenceBug</a></div><div class="ttdeci">PartialNullPtrDereferenceBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00275">SVFBugReport.h:275</a></div></div>
465
477
  <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_acacf8d5aa4aab95be34a5a1cb21838b3"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport::bugSet</a></div><div class="ttdeci">BugSet bugSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00296">SVFBugReport.h:296</a></div></div>
466
478
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_aa63e1b3fb32d0383a57ab5c503673d18"><div class="ttname"><a href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">SVF::GenericBug::getEventStack</a></div><div class="ttdeci">const EventStack &amp; getEventStack() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00112">SVFBugReport.h:112</a></div></div>
@@ -472,38 +484,38 @@ $(function() {
472
484
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">SVF::GenericBug::FILEPARTIALCLOSE</a></div><div class="ttdeci">@ FILEPARTIALCLOSE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
473
485
  <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_aea90778c71659c87a6139d19b896bdb8"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#aea90778c71659c87a6139d19b896bdb8">SVF::DoubleFreeBug::DoubleFreeBug</a></div><div class="ttdeci">DoubleFreeBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00211">SVFBugReport.h:211</a></div></div>
474
486
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_ac550e02b8d1d7713c53a29dab5a78c6d"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">SVF::SVFBugEvent::eventInst</a></div><div class="ttdeci">const SVFInstruction * eventInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00065">SVFBugReport.h:65</a></div></div>
475
- <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_a80257bc6a9cf4eecfa402def59993e6e"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#a80257bc6a9cf4eecfa402def59993e6e">SVF::FileNeverCloseBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00203">SVFBugReport.cpp:203</a></div></div>
487
+ <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_a80257bc6a9cf4eecfa402def59993e6e"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#a80257bc6a9cf4eecfa402def59993e6e">SVF::FileNeverCloseBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00205">SVFBugReport.cpp:205</a></div></div>
476
488
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a6e4a91344c5e4fa7b22e03dd3a1bada2"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2">SVF::BufferOverflowBug::allocLowerBound</a></div><div class="ttdeci">s64_t allocLowerBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
477
489
  <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_ad1327aa541ec4eb8c2fd4029e693870f"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#ad1327aa541ec4eb8c2fd4029e693870f">SVF::PartialLeakBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00202">SVFBugReport.h:202</a></div></div>
478
490
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a33496918c5f2adaf48a64f39d9c49567"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567">SVF::SVFBugEvent::typeAndInfoFlag</a></div><div class="ttdeci">u32_t typeAndInfoFlag</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00064">SVFBugReport.h:64</a></div></div>
479
491
  <div class="ttc" id="aclassSVF_1_1PartialBufferOverflowBug_html"><div class="ttname"><a href="classSVF_1_1PartialBufferOverflowBug.html">SVF::PartialBufferOverflowBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00160">SVFBugReport.h:160</a></div></div>
480
492
  <div class="ttc" id="aclassSVF_1_1SVFBugReport_html"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00288">SVFBugReport.h:288</a></div></div>
481
- <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_ae269f1b62e89f8fcca783865d6ce8723"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723">SVF::FullNullPtrDereferenceBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00259">SVFBugReport.cpp:259</a></div></div>
493
+ <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_ae269f1b62e89f8fcca783865d6ce8723"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723">SVF::FullNullPtrDereferenceBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00261">SVFBugReport.cpp:261</a></div></div>
482
494
  <div class="ttc" id="aSVFVariables_8h_html"><div class="ttname"><a href="SVFVariables_8h.html">SVFVariables.h</a></div></div>
483
495
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">SVF::GenericBug::PARTIALLEAK</a></div><div class="ttdeci">@ PARTIALLEAK</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
484
496
  <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html">SVF::PartialLeakBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00192">SVFBugReport.h:192</a></div></div>
485
497
  <div class="ttc" id="aclassSVF_1_1FullBufferOverflowBug_html_a87e463d4e7af1a3421da2ad73e01eb7d"><div class="ttname"><a href="classSVF_1_1FullBufferOverflowBug.html#a87e463d4e7af1a3421da2ad73e01eb7d">SVF::FullBufferOverflowBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00154">SVFBugReport.h:154</a></div></div>
486
498
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVF::SVFBugEvent::SourceInst</a></div><div class="ttdeci">@ SourceInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00060">SVFBugReport.h:60</a></div></div>
487
499
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_acc65b033bfd61257d5b6fdbf932dfafe"><div class="ttname"><a href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">SVF::GenericBug::EventStack</a></div><div class="ttdeci">std::vector&lt; SVFBugEvent &gt; EventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00083">SVFBugReport.h:83</a></div></div>
488
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a4e243c7297791b306d970c19abc87ca9"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a4e243c7297791b306d970c19abc87ca9">SVF::SVFBugReport::~SVFBugReport</a></div><div class="ttdeci">~SVFBugReport()</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00330">SVFBugReport.cpp:330</a></div></div>
500
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a4e243c7297791b306d970c19abc87ca9"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a4e243c7297791b306d970c19abc87ca9">SVF::SVFBugReport::~SVFBugReport</a></div><div class="ttdeci">~SVFBugReport()</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00332">SVFBugReport.cpp:332</a></div></div>
489
501
  <div class="ttc" id="acJSON_8h_html"><div class="ttname"><a href="cJSON_8h.html">cJSON.h</a></div></div>
490
502
  <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_ab0b8fccb4d800443de3399084f379d9a"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a">SVF::FullNullPtrDereferenceBug::FullNullPtrDereferenceBug</a></div><div class="ttdeci">FullNullPtrDereferenceBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00259">SVFBugReport.h:259</a></div></div>
491
503
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7a468e626e081190e4f0e5a4bda0a579"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">SVF::GenericBug::~GenericBug</a></div><div class="ttdeci">virtual ~GenericBug()=default</div></div>
492
504
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6">SVF::SVFBugEvent::Caller</a></div><div class="ttdeci">@ Caller</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00057">SVFBugReport.h:57</a></div></div>
493
- <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_acf0d2ffb52d0b322421a5556d41a1d63"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#acf0d2ffb52d0b322421a5556d41a1d63">SVF::DoubleFreeBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00166">SVFBugReport.cpp:166</a></div></div>
505
+ <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_acf0d2ffb52d0b322421a5556d41a1d63"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#acf0d2ffb52d0b322421a5556d41a1d63">SVF::DoubleFreeBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00168">SVFBugReport.cpp:168</a></div></div>
494
506
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">SVF::GenericBug::FULLBUFOVERFLOW</a></div><div class="ttdeci">@ FULLBUFOVERFLOW</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
495
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aa119593331403f73867fddcb6ec26989"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">SVF::SVFBugReport::dumpToJsonFile</a></div><div class="ttdeci">void dumpToJsonFile(const std::string &amp;filePath) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00338">SVFBugReport.cpp:338</a></div></div>
507
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aa119593331403f73867fddcb6ec26989"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">SVF::SVFBugReport::dumpToJsonFile</a></div><div class="ttdeci">void dumpToJsonFile(const std::string &amp;filePath) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00340">SVFBugReport.cpp:340</a></div></div>
496
508
  <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aca243a30fa7f65f3d21cddd18a8fbf45"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">SVF::SVFBugReport::addSaberBug</a></div><div class="ttdeci">void addSaberBug(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00305">SVFBugReport.h:305</a></div></div>
497
509
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a236e3cf3e81ec4248547b3011323e45f"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a236e3cf3e81ec4248547b3011323e45f">SVF::BufferOverflowBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00138">SVFBugReport.h:138</a></div></div>
498
- <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_ad3bcb02563f952edd43ab5a7276bd57d"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#ad3bcb02563f952edd43ab5a7276bd57d">SVF::SVFBugEvent::getFuncName</a></div><div class="ttdeci">virtual const std::string getFuncName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00277">SVFBugReport.cpp:277</a></div></div>
510
+ <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_ad3bcb02563f952edd43ab5a7276bd57d"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#ad3bcb02563f952edd43ab5a7276bd57d">SVF::SVFBugEvent::getFuncName</a></div><div class="ttdeci">virtual const std::string getFuncName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00279">SVFBugReport.cpp:279</a></div></div>
499
511
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
500
512
  <div class="ttc" id="aclassSVF_1_1GenericBug_html"><div class="ttname"><a href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00080">SVFBugReport.h:80</a></div></div>
501
513
  <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html">SVF::FullNullPtrDereferenceBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00256">SVFBugReport.h:256</a></div></div>
502
514
  <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_a2fcc321d3132c56423a0d3cfc21b8b80"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#a2fcc321d3132c56423a0d3cfc21b8b80">SVF::NeverFreeBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00186">SVFBugReport.h:186</a></div></div>
503
515
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_af012270169f767655456ae0e09add06a"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a">SVF::SVFBugEvent::SVFBugEvent</a></div><div class="ttdeci">SVFBugEvent(u32_t typeAndInfoFlag, const SVFInstruction *eventInst)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00068">SVFBugReport.h:68</a></div></div>
504
516
  <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_a61c7ebeeb916dd223d2279b7b6ba6571"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#a61c7ebeeb916dd223d2279b7b6ba6571">SVF::DoubleFreeBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00218">SVFBugReport.h:218</a></div></div>
505
- <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_acc860880d548ea2cf5b63f0f7ad11456"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#acc860880d548ea2cf5b63f0f7ad11456">SVF::PartialNullPtrDereferenceBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00271">SVFBugReport.cpp:271</a></div></div>
506
- <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_ac985d855e598175618b517259b6d3212"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212">SVF::BufferOverflowBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00079">SVFBugReport.cpp:79</a></div></div>
517
+ <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_acc860880d548ea2cf5b63f0f7ad11456"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#acc860880d548ea2cf5b63f0f7ad11456">SVF::PartialNullPtrDereferenceBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00273">SVFBugReport.cpp:273</a></div></div>
518
+ <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_ac985d855e598175618b517259b6d3212"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212">SVF::BufferOverflowBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00081">SVFBugReport.cpp:81</a></div></div>
507
519
  <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html">SVF::FilePartialCloseBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00240">SVFBugReport.h:240</a></div></div>
508
520
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a4d0c0744525bc445a64176c3808377f3"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3">SVF::SVFBugEvent::EventType</a></div><div class="ttdeci">EventType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00054">SVFBugReport.h:54</a></div></div>
509
521
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a07fa3b9bf041ade658526fd3bc9d361c"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">SVF::BufferOverflowBug::accessLowerBound</a></div><div class="ttdeci">s64_t accessLowerBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
@@ -513,48 +525,48 @@ $(function() {
513
525
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">SVF::GenericBug::FILENEVERCLOSE</a></div><div class="ttdeci">@ FILENEVERCLOSE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
514
526
  <div class="ttc" id="astructcJSON_html"><div class="ttname"><a href="structcJSON.html">cJSON</a></div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00103">cJSON.h:103</a></div></div>
515
527
  <div class="ttc" id="aclassSVF_1_1PartialBufferOverflowBug_html_a561e055af483e825d095a89d7e7ed39b"><div class="ttname"><a href="classSVF_1_1PartialBufferOverflowBug.html#a561e055af483e825d095a89d7e7ed39b">SVF::PartialBufferOverflowBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00170">SVFBugReport.h:170</a></div></div>
516
- <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a7c5d28996f9715d0f90d664b93477a23"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a7c5d28996f9715d0f90d664b93477a23">SVF::SVFBugEvent::getEventDescription</a></div><div class="ttdeci">virtual const std::string getEventDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00287">SVFBugReport.cpp:287</a></div></div>
528
+ <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a7c5d28996f9715d0f90d664b93477a23"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a7c5d28996f9715d0f90d664b93477a23">SVF::SVFBugEvent::getEventDescription</a></div><div class="ttdeci">virtual const std::string getEventDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00289">SVFBugReport.cpp:289</a></div></div>
517
529
  <div class="ttc" id="aclassSVF_1_1FullNullPtrDereferenceBug_html_a07bdac10dd87c669358220ac36acbf20"><div class="ttname"><a href="classSVF_1_1FullNullPtrDereferenceBug.html#a07bdac10dd87c669358220ac36acbf20">SVF::FullNullPtrDereferenceBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00266">SVFBugReport.h:266</a></div></div>
518
530
  <div class="ttc" id="aSVFStatements_8h_html"><div class="ttname"><a href="SVFStatements_8h.html">SVFStatements.h</a></div></div>
519
531
  <div class="ttc" id="aclassSVF_1_1FileNeverCloseBug_html_ac1ded32b2cdae3e0a74bf767b5ca96cb"><div class="ttname"><a href="classSVF_1_1FileNeverCloseBug.html#ac1ded32b2cdae3e0a74bf767b5ca96cb">SVF::FileNeverCloseBug::classof</a></div><div class="ttdeci">static bool classof(const GenericBug *bug)</div><div class="ttdoc">ClassOf.</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00234">SVFBugReport.h:234</a></div></div>
520
- <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_aa3acf06e90939896a86c449260c2e4b4"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#aa3acf06e90939896a86c449260c2e4b4">SVF::PartialLeakBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00152">SVFBugReport.cpp:152</a></div></div>
532
+ <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_aa3acf06e90939896a86c449260c2e4b4"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#aa3acf06e90939896a86c449260c2e4b4">SVF::PartialLeakBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00154">SVFBugReport.cpp:154</a></div></div>
521
533
  <div class="ttc" id="aclassSVF_1_1FullBufferOverflowBug_html_a88e4cda1be82ab32e25eff74eec39a54"><div class="ttname"><a href="classSVF_1_1FullBufferOverflowBug.html#a88e4cda1be82ab32e25eff74eec39a54">SVF::FullBufferOverflowBug::FullBufferOverflowBug</a></div><div class="ttdeci">FullBufferOverflowBug(const EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00147">SVFBugReport.h:147</a></div></div>
522
- <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_af67320d8ebd56aec6ecddc3f44ec09b9"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#af67320d8ebd56aec6ecddc3f44ec09b9">SVF::DoubleFreeBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00189">SVFBugReport.cpp:189</a></div></div>
534
+ <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html_af67320d8ebd56aec6ecddc3f44ec09b9"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html#af67320d8ebd56aec6ecddc3f44ec09b9">SVF::DoubleFreeBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00191">SVFBugReport.cpp:191</a></div></div>
523
535
  <div class="ttc" id="aclassSVF_1_1NeverFreeBug_html_a2366068e0e1813c47003e3c072c1ad85"><div class="ttname"><a href="classSVF_1_1NeverFreeBug.html#a2366068e0e1813c47003e3c072c1ad85">SVF::NeverFreeBug::NeverFreeBug</a></div><div class="ttdeci">NeverFreeBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00179">SVFBugReport.h:179</a></div></div>
524
536
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a3f62d1f1307b9e6771d7449d0855d7e4"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">SVF::GenericBug::GenericBug</a></div><div class="ttdeci">GenericBug(BugType bugType, const EventStack &amp;bugEventStack)</div><div class="ttdoc">note: should be initialized with a bugEventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00095">SVFBugReport.h:95</a></div></div>
525
537
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_af6dbde88c3f92ed43027d1c9518c6c83"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#af6dbde88c3f92ed43027d1c9518c6c83">SVF::SVFBugEvent::~SVFBugEvent</a></div><div class="ttdeci">virtual ~SVFBugEvent()=default</div></div>
526
538
  <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>
527
539
  <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&lt; GenericBug::BugType, std::string &gt; BugType2Str</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00087">SVFBugReport.h:87</a></div></div>
528
- <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a32576eee4de3b4c094c3f8a5501c7b99"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a32576eee4de3b4c094c3f8a5501c7b99">SVF::FilePartialCloseBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00239">SVFBugReport.cpp:239</a></div></div>
540
+ <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a32576eee4de3b4c094c3f8a5501c7b99"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a32576eee4de3b4c094c3f8a5501c7b99">SVF::FilePartialCloseBug::printBugToTerminal</a></div><div class="ttdeci">void printBugToTerminal() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00241">SVFBugReport.cpp:241</a></div></div>
529
541
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_ac0b91adaf9df0d57dc2e179d962ca490"><div class="ttname"><a href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug::bugEventStack</a></div><div class="ttdeci">const EventStack bugEventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00091">SVFBugReport.h:91</a></div></div>
530
542
  <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
543
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a143c39c6a120e0ea1371bc309bf05d51"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51">SVF::GenericBug::bugType</a></div><div class="ttdeci">BugType bugType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00090">SVFBugReport.h:90</a></div></div>
532
- <div class="ttc" id="aclassSVF_1_1GenericBug_html_abbc86875488c27e53e5c36e95c472b20"><div class="ttname"><a href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">SVF::GenericBug::getLoc</a></div><div class="ttdeci">const std::string getLoc() const</div><div class="ttdoc">returns bug location as json format string</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00049">SVFBugReport.cpp:49</a></div></div>
544
+ <div class="ttc" id="aclassSVF_1_1GenericBug_html_abbc86875488c27e53e5c36e95c472b20"><div class="ttname"><a href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">SVF::GenericBug::getLoc</a></div><div class="ttdeci">const std::string getLoc() const</div><div class="ttdoc">returns bug location as json format string</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00051">SVFBugReport.cpp:51</a></div></div>
533
545
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecac"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug::BugType</a></div><div class="ttdeci">BugType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
534
- <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a7dbf4adc013615567b33b6e293b61c8e"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">SVF::SVFBugReport::getBugSet</a></div><div class="ttdeci">const BugSet &amp; getBugSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00397">SVFBugReport.h:397</a></div></div>
546
+ <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a7dbf4adc013615567b33b6e293b61c8e"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">SVF::SVFBugReport::getBugSet</a></div><div class="ttdeci">const BugSet &amp; getBugSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00409">SVFBugReport.h:409</a></div></div>
535
547
  <div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01069">SVFValue.h:1069</a></div></div>
536
548
  <div class="ttc" id="aSVFBugReport_8h_html_aae8a01dec6f65eaf27a03f4e063d92f8"><div class="ttname"><a href="SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8">EVENTTYPEMASK</a></div><div class="ttdeci">#define EVENTTYPEMASK</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00041">SVFBugReport.h:41</a></div></div>
537
- <div class="ttc" id="aclassSVF_1_1GenericBug_html_afad49e3f62083345138932ffadf567dd"><div class="ttname"><a href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">SVF::GenericBug::getFuncName</a></div><div class="ttdeci">const std::string getFuncName() const</div><div class="ttdoc">return bug source function name</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00056">SVFBugReport.cpp:56</a></div></div>
549
+ <div class="ttc" id="aclassSVF_1_1GenericBug_html_afad49e3f62083345138932ffadf567dd"><div class="ttname"><a href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">SVF::GenericBug::getFuncName</a></div><div class="ttdeci">const std::string getFuncName() const</div><div class="ttdoc">return bug source function name</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00058">SVFBugReport.cpp:58</a></div></div>
538
550
  <div class="ttc" id="anamespaceSVF_html_abf85e29310b2e4df8925d00a5c081314"><div class="ttname"><a href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">SVF::Loop</a></div><div class="ttdeci">llvm::Loop Loop</div><div class="ttdoc">LLVM Loop.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00138">BasicTypes.h:138</a></div></div>
539
551
  <div class="ttc" id="aclassSVF_1_1DoubleFreeBug_html"><div class="ttname"><a href="classSVF_1_1DoubleFreeBug.html">SVF::DoubleFreeBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00208">SVFBugReport.h:208</a></div></div>
540
552
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_aabf06cd1094ddbf7ee419c635f29a948"><div class="ttname"><a href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">SVF::GenericBug::printBugToTerminal</a></div><div class="ttdeci">virtual void printBugToTerminal() const =0</div></div>
541
553
  <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>
542
554
  <div class="ttc" id="aclassSVF_1_1PartialBufferOverflowBug_html_a3cc46863f2968a12943e5a08979e0919"><div class="ttname"><a href="classSVF_1_1PartialBufferOverflowBug.html#a3cc46863f2968a12943e5a08979e0919">SVF::PartialBufferOverflowBug::PartialBufferOverflowBug</a></div><div class="ttdeci">PartialBufferOverflowBug(const EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00163">SVFBugReport.h:163</a></div></div>
543
555
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a693839b33e167cd0688be2e1738198f2"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">SVF::GenericBug::getBugType</a></div><div class="ttdeci">BugType getBugType() const</div><div class="ttdoc">returns bug type</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00103">SVFBugReport.h:103</a></div></div>
544
- <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a192bb246ed947f33cf7b02493c8fded8"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a192bb246ed947f33cf7b02493c8fded8">SVF::BufferOverflowBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00063">SVFBugReport.cpp:63</a></div></div>
556
+ <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a192bb246ed947f33cf7b02493c8fded8"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a192bb246ed947f33cf7b02493c8fded8">SVF::BufferOverflowBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00065">SVFBugReport.cpp:65</a></div></div>
545
557
  <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_acefb231e5905fa6deb4a8c242ac62c89"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#acefb231e5905fa6deb4a8c242ac62c89">SVF::PartialLeakBug::PartialLeakBug</a></div><div class="ttdeci">PartialLeakBug(const EventStack &amp;bugEventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00195">SVFBugReport.h:195</a></div></div>
546
558
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_aed9feb57ffb0860cbdd13698fd4dbf6c"><div class="ttname"><a href="classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c">SVF::GenericBug::getBugDescription</a></div><div class="ttdeci">virtual cJSON * getBugDescription() const =0</div></div>
547
559
  <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a7ded0022f3852a08a05c67aeae77162f"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a7ded0022f3852a08a05c67aeae77162f">SVF::SVFBugEvent::getEventType</a></div><div class="ttdeci">u32_t getEventType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00071">SVFBugReport.h:71</a></div></div>
548
- <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_abd956a30bc4f8b1e25826149d20ea2b5"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#abd956a30bc4f8b1e25826149d20ea2b5">SVF::PartialLeakBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00128">SVFBugReport.cpp:128</a></div></div>
549
- <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a5b3fcd366e5275927eb66a02dc6040f8"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a5b3fcd366e5275927eb66a02dc6040f8">SVF::SVFBugEvent::getEventLoc</a></div><div class="ttdeci">virtual const std::string getEventLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00282">SVFBugReport.cpp:282</a></div></div>
560
+ <div class="ttc" id="aclassSVF_1_1PartialLeakBug_html_abd956a30bc4f8b1e25826149d20ea2b5"><div class="ttname"><a href="classSVF_1_1PartialLeakBug.html#abd956a30bc4f8b1e25826149d20ea2b5">SVF::PartialLeakBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00130">SVFBugReport.cpp:130</a></div></div>
561
+ <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html_a5b3fcd366e5275927eb66a02dc6040f8"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html#a5b3fcd366e5275927eb66a02dc6040f8">SVF::SVFBugEvent::getEventLoc</a></div><div class="ttdeci">virtual const std::string getEventLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00284">SVFBugReport.cpp:284</a></div></div>
550
562
  <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_af163790aa2065d72be8c31c281abee20"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20">SVF::SVFBugReport::SVFBugReport</a></div><div class="ttdeci">SVFBugReport()=default</div></div>
551
563
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a04cb8d2b008019cf48e2d70ba20c3098"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">SVF::BufferOverflowBug::accessUpperBound</a></div><div class="ttdeci">s64_t accessUpperBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
552
- <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a16b96f3c79cf5edae0f0f02e52344283"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a16b96f3c79cf5edae0f0f02e52344283">SVF::FilePartialCloseBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00215">SVFBugReport.cpp:215</a></div></div>
564
+ <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a16b96f3c79cf5edae0f0f02e52344283"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a16b96f3c79cf5edae0f0f02e52344283">SVF::FilePartialCloseBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00217">SVFBugReport.cpp:217</a></div></div>
553
565
  <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>
554
566
  <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
555
567
  <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00587">SVFValue.h:587</a></div></div>
556
568
  <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00054">SVFType.h:54</a></div></div>
557
- <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_a910f2e839e1e722655fbb2266c15f136"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#a910f2e839e1e722655fbb2266c15f136">SVF::PartialNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00265">SVFBugReport.cpp:265</a></div></div>
569
+ <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_a910f2e839e1e722655fbb2266c15f136"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#a910f2e839e1e722655fbb2266c15f136">SVF::PartialNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00267">SVFBugReport.cpp:267</a></div></div>
558
570
  <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>
559
571
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a608644b6a751669f7e0130a00c28d7ca"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">SVF::BufferOverflowBug::allocUpperBound</a></div><div class="ttdeci">s64_t allocUpperBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
560
572
  <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html">SVF::PartialNullPtrDereferenceBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00272">SVFBugReport.h:272</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html CHANGED
@@ -289,21 +289,21 @@ Additional Inherited Members</h2></td></tr>
289
289
 
290
290
  <p>Implements <a class="el" href="classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c">SVF::GenericBug</a>.</p>
291
291
 
292
- <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00063">63</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
293
- <div class="fragment"><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160;{</div>
294
- <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *bugDescription = cJSON_CreateObject();</div>
295
- <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *allocLB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2">allocLowerBound</a>);</div>
296
- <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *allocUB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">allocUpperBound</a>);</div>
297
- <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *accessLB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">accessLowerBound</a>);</div>
298
- <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *accessUB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">accessUpperBound</a>);</div>
299
- <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; </div>
300
- <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AllocLowerBound&quot;</span>, allocLB);</div>
301
- <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AllocUpperBound&quot;</span>, allocUB);</div>
302
- <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AccessLowerBound&quot;</span>, accessLB);</div>
303
- <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AccessUpperBound&quot;</span>, accessUB);</div>
304
- <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; </div>
305
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <span class="keywordflow">return</span> bugDescription;</div>
306
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160;}</div>
292
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00065">65</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
293
+ <div class="fragment"><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160;{</div>
294
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *bugDescription = cJSON_CreateObject();</div>
295
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *allocLB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2">allocLowerBound</a>);</div>
296
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *allocUB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">allocUpperBound</a>);</div>
297
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *accessLB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">accessLowerBound</a>);</div>
298
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <a class="code" href="structcJSON.html">cJSON</a> *accessUB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">accessUpperBound</a>);</div>
299
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; </div>
300
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AllocLowerBound&quot;</span>, allocLB);</div>
301
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AllocUpperBound&quot;</span>, allocUB);</div>
302
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AccessLowerBound&quot;</span>, accessLB);</div>
303
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AccessUpperBound&quot;</span>, accessUB);</div>
304
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; </div>
305
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <span class="keywordflow">return</span> bugDescription;</div>
306
+ <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160;}</div>
307
307
  </div><!-- fragment -->
308
308
  </div>
309
309
  </div>
@@ -332,42 +332,42 @@ Additional Inherited Members</h2></td></tr>
332
332
 
333
333
  <p>Implements <a class="el" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">SVF::GenericBug</a>.</p>
334
334
 
335
- <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00079">79</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
336
- <div class="fragment"><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160;{</div>
337
- <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; stringstream bugInfo;</div>
338
- <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1FullBufferOverflowBug.html#a87e463d4e7af1a3421da2ad73e01eb7d">FullBufferOverflowBug::classof</a>(<span class="keyword">this</span>))</div>
339
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; {</div>
340
- <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVFUtil::bugMsg1</a>(<span class="stringliteral">&quot;\t Full Overflow :&quot;</span>) &lt;&lt; <span class="stringliteral">&quot; accessing at : (&quot;</span></div>
341
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; &lt;&lt; <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div>
342
- <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; </div>
343
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div>
344
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <span class="keywordflow">else</span></div>
345
- <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; {</div>
346
- <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVFUtil::bugMsg1</a>(<span class="stringliteral">&quot;\t Partial Overflow :&quot;</span>) &lt;&lt; <span class="stringliteral">&quot; accessing at : (&quot;</span></div>
347
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; &lt;&lt; <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div>
348
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; }</div>
349
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; bugInfo &lt;&lt; <span class="stringliteral">&quot;\t\t allocate size : [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2">allocLowerBound</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">allocUpperBound</a> &lt;&lt; <span class="stringliteral">&quot;], &quot;</span>;</div>
350
- <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; bugInfo &lt;&lt; <span class="stringliteral">&quot;access size : [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">accessLowerBound</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">accessUpperBound</a> &lt;&lt; <span class="stringliteral">&quot;]\n&quot;</span>;</div>
351
- <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t Info : \n&quot;</span> &lt;&lt; bugInfo.str();</div>
352
- <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t Events : \n&quot;</span>;</div>
353
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; </div>
354
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">auto</span> event : <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>)</div>
355
- <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div>
356
- <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">switch</span>(event.getEventType())</div>
357
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; {</div>
358
- <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629">SVFBugEvent::CallSite</a>:</div>
335
+ <p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00081">81</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
336
+ <div class="fragment"><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160;{</div>
337
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; stringstream bugInfo;</div>
338
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1FullBufferOverflowBug.html#a87e463d4e7af1a3421da2ad73e01eb7d">FullBufferOverflowBug::classof</a>(<span class="keyword">this</span>))</div>
339
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div>
340
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVFUtil::bugMsg1</a>(<span class="stringliteral">&quot;\t Full Overflow :&quot;</span>) &lt;&lt; <span class="stringliteral">&quot; accessing at : (&quot;</span></div>
341
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; &lt;&lt; <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div>
342
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; </div>
343
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; }</div>
344
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <span class="keywordflow">else</span></div>
345
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; {</div>
346
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVFUtil::bugMsg1</a>(<span class="stringliteral">&quot;\t Partial Overflow :&quot;</span>) &lt;&lt; <span class="stringliteral">&quot; accessing at : (&quot;</span></div>
347
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; &lt;&lt; <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div>
348
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; }</div>
349
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; bugInfo &lt;&lt; <span class="stringliteral">&quot;\t\t allocate size : [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2">allocLowerBound</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">allocUpperBound</a> &lt;&lt; <span class="stringliteral">&quot;], &quot;</span>;</div>
350
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; bugInfo &lt;&lt; <span class="stringliteral">&quot;access size : [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">accessLowerBound</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">accessUpperBound</a> &lt;&lt; <span class="stringliteral">&quot;]\n&quot;</span>;</div>
351
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t Info : \n&quot;</span> &lt;&lt; bugInfo.str();</div>
352
+ <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t Events : \n&quot;</span>;</div>
353
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; </div>
354
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">auto</span> event : <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>)</div>
355
+ <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; {</div>
356
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">switch</span>(event.getEventType())</div>
359
357
  <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; {</div>
360
- <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t callsite at : ( &quot;</span> &lt;&lt; <span class="keyword">event</span>.getEventLoc() &lt;&lt; <span class="stringliteral">&quot; )\n&quot;</span>;</div>
361
- <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; <span class="keywordflow">break</span>;</div>
362
- <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; }</div>
363
- <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; <span class="keywordflow">default</span>:</div>
364
- <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; {</div>
365
- <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; <span class="comment">// TODO: implement more events when needed</span></div>
366
- <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keywordflow">break</span>;</div>
367
- <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; }</div>
368
- <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; }</div>
369
- <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; }</div>
370
- <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160;}</div>
358
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629">SVFBugEvent::CallSite</a>:</div>
359
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; {</div>
360
+ <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t callsite at : ( &quot;</span> &lt;&lt; <span class="keyword">event</span>.getEventLoc() &lt;&lt; <span class="stringliteral">&quot; )\n&quot;</span>;</div>
361
+ <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; <span class="keywordflow">break</span>;</div>
362
+ <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; }</div>
363
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; <span class="keywordflow">default</span>:</div>
364
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; {</div>
365
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; <span class="comment">// TODO: implement more events when needed</span></div>
366
+ <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <span class="keywordflow">break</span>;</div>
367
+ <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; }</div>
368
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; }</div>
369
+ <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div>
370
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160;}</div>
371
371
  </div><!-- fragment -->
372
372
  </div>
373
373
  </div>
@@ -483,7 +483,7 @@ Additional Inherited Members</h2></td></tr>
483
483
  <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>
484
484
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_ac0b91adaf9df0d57dc2e179d962ca490"><div class="ttname"><a href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug::bugEventStack</a></div><div class="ttdeci">const EventStack bugEventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00091">SVFBugReport.h:91</a></div></div>
485
485
  <div class="ttc" id="aclassSVF_1_1GenericBug_html_a143c39c6a120e0ea1371bc309bf05d51"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51">SVF::GenericBug::bugType</a></div><div class="ttdeci">BugType bugType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00090">SVFBugReport.h:90</a></div></div>
486
- <div class="ttc" id="aclassSVF_1_1GenericBug_html_abbc86875488c27e53e5c36e95c472b20"><div class="ttname"><a href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">SVF::GenericBug::getLoc</a></div><div class="ttdeci">const std::string getLoc() const</div><div class="ttdoc">returns bug location as json format string</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00049">SVFBugReport.cpp:49</a></div></div>
486
+ <div class="ttc" id="aclassSVF_1_1GenericBug_html_abbc86875488c27e53e5c36e95c472b20"><div class="ttname"><a href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">SVF::GenericBug::getLoc</a></div><div class="ttdeci">const std::string getLoc() const</div><div class="ttdoc">returns bug location as json format string</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00051">SVFBugReport.cpp:51</a></div></div>
487
487
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a04cb8d2b008019cf48e2d70ba20c3098"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">SVF::BufferOverflowBug::accessUpperBound</a></div><div class="ttdeci">s64_t accessUpperBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>
488
488
  <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>
489
489
  <div class="ttc" id="aclassSVF_1_1BufferOverflowBug_html_a608644b6a751669f7e0130a00c28d7ca"><div class="ttname"><a href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">SVF::BufferOverflowBug::allocUpperBound</a></div><div class="ttdeci">s64_t allocUpperBound</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00124">SVFBugReport.h:124</a></div></div>