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
|
@@ -423,44 +423,56 @@ $(function() {
|
|
|
423
423
|
<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>
|
|
424
424
|
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  <span class="keywordflow">break</span>;</div>
|
|
425
425
|
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  }</div>
|
|
426
|
-
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <span class="keywordflow">
|
|
426
|
+
<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>
|
|
427
427
|
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  {</div>
|
|
428
|
-
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span> 
|
|
429
|
-
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  <
|
|
430
|
-
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span> 
|
|
428
|
+
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  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>  <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>  <span class="keywordflow">break</span>;</div>
|
|
431
431
|
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  }</div>
|
|
432
|
-
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  </div>
|
|
433
|
-
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span> 
|
|
434
|
-
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span> 
|
|
435
|
-
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span> 
|
|
436
|
-
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  </div>
|
|
437
|
-
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span> 
|
|
438
|
-
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span> 
|
|
439
|
-
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span> 
|
|
440
|
-
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span> 
|
|
441
|
-
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span> 
|
|
442
|
-
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span> 
|
|
443
|
-
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span> 
|
|
444
|
-
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span> 
|
|
445
|
-
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span> 
|
|
446
|
-
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span> <
|
|
447
|
-
<div class="line"><a name="l00397"></a><span class="lineno"
|
|
448
|
-
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span> 
|
|
449
|
-
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span> 
|
|
450
|
-
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span> 
|
|
451
|
-
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span> 
|
|
452
|
-
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span> 
|
|
453
|
-
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span> 
|
|
432
|
+
<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>
|
|
433
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  {</div>
|
|
434
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  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>  <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>  <span class="keywordflow">break</span>;</div>
|
|
437
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  }</div>
|
|
438
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <span class="keywordflow">default</span>:</div>
|
|
439
|
+
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  {</div>
|
|
440
|
+
<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>
|
|
441
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <span class="keywordflow">break</span>;</div>
|
|
442
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  }</div>
|
|
443
|
+
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  }</div>
|
|
444
|
+
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  </div>
|
|
445
|
+
<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>
|
|
446
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  newBug-><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>  }</div>
|
|
448
|
+
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  </div>
|
|
449
|
+
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  <span class="comment">/*</span></div>
|
|
450
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span> <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> <span class="comment"> * usage: dumpToFile("/path/to/file")</span></div>
|
|
452
|
+
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span> <span class="comment"> */</span></div>
|
|
453
|
+
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  <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>& filePath) <span class="keyword">const</span>;</div>
|
|
454
454
|
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  </div>
|
|
455
|
-
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span> 
|
|
455
|
+
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  <span class="comment">/*</span></div>
|
|
456
|
+
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span> <span class="comment"> * function: get underlying bugset</span></div>
|
|
457
|
+
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span> <span class="comment"> * usage: getBugSet()</span></div>
|
|
458
|
+
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span> <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>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a> &<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> <span class="keyword"> </span>{</div>
|
|
461
|
+
<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>
|
|
462
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  }</div>
|
|
463
|
+
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  </div>
|
|
464
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span> };</div>
|
|
465
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span> }</div>
|
|
466
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  </div>
|
|
467
|
+
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span> <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 &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#
|
|
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#
|
|
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#
|
|
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#
|
|
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 &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 & 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 &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#
|
|
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#
|
|
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< SVFBugEvent > 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#
|
|
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 &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#
|
|
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 &filePath) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#
|
|
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 &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 &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#
|
|
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#
|
|
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#
|
|
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#
|
|
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#
|
|
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 &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#
|
|
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 &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 &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< 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>
|
|
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#
|
|
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#
|
|
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 & getBugSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#
|
|
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 & 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#
|
|
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 &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#
|
|
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 &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#
|
|
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#
|
|
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#
|
|
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#
|
|
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>
|
|
@@ -558,10 +558,10 @@ $(function() {
|
|
|
558
558
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a817749cc657573d527c177d42b2f4950"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a817749cc657573d527c177d42b2f4950">SVF::SingleAbsValue::operator<<</a></div><div class="ttdeci">friend std::ostream & operator<<(std::ostream &out, const SingleAbsValue &expr)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00447">SingleAbsValue.h:447</a></div></div>
|
|
559
559
|
<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>
|
|
560
560
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a99f9503d4daab12b3c4817b237c0a0fb"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a99f9503d4daab12b3c4817b237c0a0fb">SVF::SingleAbsValue::operator&</a></div><div class="ttdeci">friend SingleAbsValue operator&(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00293">SingleAbsValue.h:293</a></div></div>
|
|
561
|
-
<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#
|
|
561
|
+
<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>
|
|
562
562
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a7fa4b919dfe1ae877298aea3b25f2b45"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a7fa4b919dfe1ae877298aea3b25f2b45">SVF::SingleAbsValue::operator!=</a></div><div class="ttdeci">friend SingleAbsValue operator!=(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00157">SingleAbsValue.h:157</a></div></div>
|
|
563
|
-
<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#
|
|
564
|
-
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
563
|
+
<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>
|
|
564
|
+
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00042">BoundedZ3Expr.h:42</a></div></div>
|
|
565
565
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_ad13d4fe654afd7ab08d27111b0b732bb"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#ad13d4fe654afd7ab08d27111b0b732bb">SVF::SingleAbsValue::operator/</a></div><div class="ttdeci">friend SingleAbsValue operator/(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00255">SingleAbsValue.h:255</a></div></div>
|
|
566
566
|
<div class="ttc" id="aBoundedZ3Expr_8h_html"><div class="ttname"><a href="BoundedZ3Expr_8h.html">BoundedZ3Expr.h</a></div></div>
|
|
567
567
|
<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>
|
|
@@ -596,7 +596,7 @@ $(function() {
|
|
|
596
596
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_affc856ad42b2ebd5ee0adc28542d25e4"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4">SVF::SingleAbsValue::operator></a></div><div class="ttdeci">friend SingleAbsValue operator>(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00169">SingleAbsValue.h:169</a></div></div>
|
|
597
597
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_ab5e10abb06e9ead59de170d0128b3531"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#ab5e10abb06e9ead59de170d0128b3531">SVF::SingleAbsValue::SingleAbsValue</a></div><div class="ttdeci">SingleAbsValue()=default</div></div>
|
|
598
598
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_ac1943aa4e51a3a748df209785eb42e22"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#ac1943aa4e51a3a748df209785eb42e22">SVF::SingleAbsValue::operator!</a></div><div class="ttdeci">friend SingleAbsValue operator!(const SingleAbsValue &lhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00418">SingleAbsValue.h:418</a></div></div>
|
|
599
|
-
<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#
|
|
599
|
+
<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>
|
|
600
600
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a0f0a092868104d0f8e0c4c16ec07009b"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a0f0a092868104d0f8e0c4c16ec07009b">SVF::SingleAbsValue::SingleAbsValue</a></div><div class="ttdeci">SingleAbsValue(const BoundedZ3Expr &z3Bound)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00024">SingleAbsValue.h:24</a></div></div>
|
|
601
601
|
<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>
|
|
602
602
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html">SVF::SingleAbsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00016">SingleAbsValue.h:16</a></div></div>
|