svf-tools 1.0.819 → 1.0.820

package/SVF-doxygen/html/SVFBugReport_8h_source.html

@@ -346,127 +346,137 @@ $(function() {
 <div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160; </div>
 <div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;<span class="keyword">protected</span>:</div>
 <div class="line"><a name="l00296"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">  296</a></span>&#160;    <a class="code" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>;    <span class="comment">// maintain bugs</span></div>
-<div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160; </div>
-<div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;<span class="keyword">public</span>:</div>
-<div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160; </div>
-<div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;    <span class="comment">/*</span></div>
-<div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;<span class="comment">     * function: pass bug type (i.e., GenericBug::NEVERFREE) and eventStack as parameter,</span></div>
-<div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;<span class="comment">     *      it will add the bug into bugQueue.</span></div>
-<div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;<span class="comment">     * usage: addSaberBug(GenericBug::NEVERFREE, eventStack)</span></div>
-<div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;<span class="comment">     */</span></div>
-<div class="line"><a name="l00305"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">  305</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">addSaberBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a> bugType, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;eventStack)</div>
-<div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;    {</div>
-<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a> *newBug = <span class="keyword">nullptr</span>;</div>
-<div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;        <span class="keywordflow">switch</span>(bugType)</div>
-<div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;        {</div>
-<div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">GenericBug::NEVERFREE</a>:</div>
-<div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;        {</div>
-<div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1NeverFreeBug.html">NeverFreeBug</a>(eventStack);</div>
-<div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
-<div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;        }</div>
-<div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">GenericBug::PARTIALLEAK</a>:</div>
-<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        {</div>
-<div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PartialLeakBug.html">PartialLeakBug</a>(eventStack);</div>
-<div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
-<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;        }</div>
-<div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">GenericBug::DOUBLEFREE</a>:</div>
-<div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;        {</div>
-<div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1DoubleFreeBug.html">DoubleFreeBug</a>(eventStack);</div>
-<div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
-<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;        }</div>
-<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">GenericBug::FILENEVERCLOSE</a>:</div>
-<div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;        {</div>
-<div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FileNeverCloseBug.html">FileNeverCloseBug</a>(eventStack);</div>
-<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
-<div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;        }</div>
-<div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">GenericBug::FILEPARTIALCLOSE</a>:</div>
-<div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;        {</div>
-<div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FilePartialCloseBug.html">FilePartialCloseBug</a>(eventStack);</div>
-<div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
-<div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        }</div>
-<div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;        <span class="keywordflow">default</span>:</div>
-<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;        {</div>
-<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;saber does NOT have this bug type!&quot;</span>);</div>
-<div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;        }</div>
-<div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        }</div>
-<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160; </div>
-<div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;        <span class="comment">// when add a bug, also print it to terminal</span></div>
-<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;        newBug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">printBugToTerminal</a>();</div>
-<div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;    }</div>
-<div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160; </div>
-<div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    <span class="comment">/*</span></div>
-<div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;<span class="comment">     * function: pass bug type (i.e., GenericBug::FULLBUFOVERFLOW) and eventStack as parameter,</span></div>
-<div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;<span class="comment">     *      it will add the bug into bugQueue.</span></div>
-<div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;<span class="comment">     * usage: addAbsExecBug(GenericBug::FULLBUFOVERFLOW, eventStack, 0, 10, 11, 11)</span></div>
-<div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;<span class="comment">     */</span></div>
-<div class="line"><a name="l00357"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">  357</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">addAbsExecBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a> bugType, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;eventStack,</div>
-<div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;                       <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> allocLowerBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> allocUpperBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> accessLowerBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> accessUpperBound)</div>
-<div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;    {</div>
-<div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;        <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a> *newBug = <span class="keyword">nullptr</span>;</div>
-<div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;        <span class="keywordflow">switch</span>(bugType)</div>
-<div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;        {</div>
-<div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">GenericBug::FULLBUFOVERFLOW</a>:</div>
-<div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;        {</div>
-<div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FullBufferOverflowBug.html">FullBufferOverflowBug</a>(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
-<div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
-<div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        }</div>
-<div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">GenericBug::PARTIALBUFOVERFLOW</a>:</div>
-<div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        {</div>
-<div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PartialBufferOverflowBug.html">PartialBufferOverflowBug</a>(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
-<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>
-<div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;        }</div>
-<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>
-<div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;        {</div>
-<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>
-<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>
-<div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        }</div>
-<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>
-<div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;        {</div>
-<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>
-<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>
-<div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        }</div>
-<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;        <span class="keywordflow">default</span>:</div>
-<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;        {</div>
-<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 have this bug type!&quot;</span>);</div>
-<div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;        }</div>
-<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;        }</div>
-<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160; </div>
-<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>
-<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>
-<div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    }</div>
-<div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160; </div>
-<div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;    <span class="comment">/*</span></div>
-<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>
-<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>
-<div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;<span class="comment">     */</span></div>
-<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>
+<div class="line"><a name="l00297"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">  297</a></span>&#160;    <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">time</a>;     <span class="comment">// time (sec)</span></div>
+<div class="line"><a name="l00298"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">  298</a></span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">mem</a>;       <span class="comment">// string memory (KB)</span></div>
+<div class="line"><a name="l00299"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">  299</a></span>&#160;    <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">coverage</a>;  <span class="comment">// coverage (%)</span></div>
+<div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160; </div>
+<div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;<span class="keyword">public</span>:</div>
+<div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;    <span class="comment">// set time, mem and coverage</span></div>
+<div class="line"><a name="l00303"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a817f61a73d84f9054a2f80375f51f747">  303</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a817f61a73d84f9054a2f80375f51f747">setStat</a>(<span class="keywordtype">double</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">time</a>, <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">mem</a>, <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">coverage</a>)</div>
+<div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;    {</div>
+<div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;        this-&gt;time = <a class="code" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">time</a>;</div>
+<div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;        this-&gt;mem = <a class="code" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">mem</a>;</div>
+<div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        this-&gt;coverage = <a class="code" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">coverage</a>;</div>
+<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    }</div>
+<div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160; </div>
+<div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    <span class="comment">/*</span></div>
+<div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;<span class="comment">     * function: pass bug type (i.e., GenericBug::NEVERFREE) and eventStack as parameter,</span></div>
+<div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;<span class="comment">     *      it will add the bug into bugQueue.</span></div>
+<div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;<span class="comment">     * usage: addSaberBug(GenericBug::NEVERFREE, eventStack)</span></div>
+<div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;<span class="comment">     */</span></div>
+<div class="line"><a name="l00315"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">  315</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">addSaberBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a> bugType, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;eventStack)</div>
+<div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;    {</div>
+<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a> *newBug = <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        <span class="keywordflow">switch</span>(bugType)</div>
+<div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;        {</div>
+<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">GenericBug::NEVERFREE</a>:</div>
+<div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;        {</div>
+<div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1NeverFreeBug.html">NeverFreeBug</a>(eventStack);</div>
+<div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
+<div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;        }</div>
+<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">GenericBug::PARTIALLEAK</a>:</div>
+<div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;        {</div>
+<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PartialLeakBug.html">PartialLeakBug</a>(eventStack);</div>
+<div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
+<div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;        }</div>
+<div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">GenericBug::DOUBLEFREE</a>:</div>
+<div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;        {</div>
+<div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1DoubleFreeBug.html">DoubleFreeBug</a>(eventStack);</div>
+<div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
+<div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;        }</div>
+<div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">GenericBug::FILENEVERCLOSE</a>:</div>
+<div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        {</div>
+<div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FileNeverCloseBug.html">FileNeverCloseBug</a>(eventStack);</div>
+<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
+<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        }</div>
+<div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">GenericBug::FILEPARTIALCLOSE</a>:</div>
+<div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        {</div>
+<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FilePartialCloseBug.html">FilePartialCloseBug</a>(eventStack);</div>
+<div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
+<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;        }</div>
+<div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;        <span class="keywordflow">default</span>:</div>
+<div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;        {</div>
+<div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;saber does NOT have this bug type!&quot;</span>);</div>
+<div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;        }</div>
+<div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;        }</div>
+<div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160; </div>
+<div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        <span class="comment">// when add a bug, also print it to terminal</span></div>
+<div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;        newBug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">printBugToTerminal</a>();</div>
+<div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;    }</div>
+<div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160; </div>
+<div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;    <span class="comment">/*</span></div>
+<div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;<span class="comment">     * function: pass bug type (i.e., GenericBug::FULLBUFOVERFLOW) and eventStack as parameter,</span></div>
+<div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;<span class="comment">     *      it will add the bug into bugQueue.</span></div>
+<div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;<span class="comment">     * usage: addAbsExecBug(GenericBug::FULLBUFOVERFLOW, eventStack, 0, 10, 11, 11)</span></div>
+<div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;<span class="comment">     */</span></div>
+<div class="line"><a name="l00367"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">  367</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">addAbsExecBug</a>(<a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">GenericBug::BugType</a> bugType, <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &amp;eventStack,</div>
+<div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;                       <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> allocLowerBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> allocUpperBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> accessLowerBound, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> accessUpperBound)</div>
+<div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;    {</div>
+<div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        <a class="code" href="classSVF_1_1GenericBug.html">GenericBug</a> *newBug = <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        <span class="keywordflow">switch</span>(bugType)</div>
+<div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;        {</div>
+<div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">GenericBug::FULLBUFOVERFLOW</a>:</div>
+<div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;        {</div>
+<div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FullBufferOverflowBug.html">FullBufferOverflowBug</a>(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
+<div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
+<div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;        }</div>
+<div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">GenericBug::PARTIALBUFOVERFLOW</a>:</div>
+<div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        {</div>
+<div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PartialBufferOverflowBug.html">PartialBufferOverflowBug</a>(eventStack, allocLowerBound, allocUpperBound, accessLowerBound, accessUpperBound);</div>
+<div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
+<div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;        }</div>
+<div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">GenericBug::FULLNULLPTRDEREFERENCE</a>:</div>
+<div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        {</div>
+<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FullNullPtrDereferenceBug.html">FullNullPtrDereferenceBug</a>(eventStack);</div>
+<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
+<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;        }</div>
+<div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">GenericBug::PARTIALNULLPTRDEREFERENCE</a>:</div>
+<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;        {</div>
+<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;            newBug = <span class="keyword">new</span> <a class="code" href="classSVF_1_1PartialNullPtrDereferenceBug.html">PartialNullPtrDereferenceBug</a>(eventStack);</div>
+<div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;            <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>.insert(newBug);</div>
+<div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;        }</div>
+<div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;        <span class="keywordflow">default</span>:</div>
+<div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;        {</div>
+<div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Abstract Execution does NOT have this bug type!&quot;</span>);</div>
+<div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;        }</div>
+<div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;        }</div>
 <div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160; </div>
-<div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;    <span class="comment">/*</span></div>
-<div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;<span class="comment">     * function: get underlying bugset</span></div>
-<div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;<span class="comment">     * usage: getBugSet()</span></div>
-<div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;<span class="comment">     */</span></div>
-<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>
-<div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;<span class="keyword">    </span>{</div>
-<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>
-<div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;    }</div>
-<div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160; </div>
-<div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;};</div>
-<div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;}</div>
-<div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160; </div>
-<div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;<span class="preprocessor">#endif</span></div>
+<div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;        <span class="comment">// when add a bug, also print it to terminal</span></div>
+<div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;        newBug-&gt;<a class="code" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">printBugToTerminal</a>();</div>
+<div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;    }</div>
+<div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160; </div>
+<div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    <span class="comment">/*</span></div>
+<div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;<span class="comment">     * function: pass file path, open the file and dump bug report as JSON format</span></div>
+<div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;<span class="comment">     * usage: dumpToFile(&quot;/path/to/file&quot;)</span></div>
+<div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;<span class="comment">     */</span></div>
+<div class="line"><a name="l00413"></a><span class="lineno">  413</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>
+<div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160; </div>
+<div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    <span class="comment">/*</span></div>
+<div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;<span class="comment">     * function: get underlying bugset</span></div>
+<div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;<span class="comment">     * usage: getBugSet()</span></div>
+<div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;<span class="comment">     */</span></div>
+<div class="line"><a name="l00419"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">  419</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>
+<div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;<span class="keyword">    </span>{</div>
+<div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a>;</div>
+<div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;    }</div>
+<div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160; </div>
+<div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;};</div>
+<div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;}</div>
+<div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160; </div>
+<div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;<span class="preprocessor">#endif</span></div>
 </div><!-- fragment --></div><!-- contents -->
-<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>
+<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#l00367">SVFBugReport.h:367</a></div></div>
 <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>
 <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>
 <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>
@@ -496,6 +506,7 @@ $(function() {
 <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>
 <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>
 <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>
+<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_abdb02bf4b61c6cbccd4b9c3c01590ddc"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">SVF::SVFBugReport::coverage</a></div><div class="ttdeci">double coverage</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00299">SVFBugReport.h:299</a></div></div>
 <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>
 <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>
 <div class="ttc" id="acJSON_8h_html"><div class="ttname"><a href="cJSON_8h.html">cJSON.h</a></div></div>
@@ -505,7 +516,7 @@ $(function() {
 <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>
 <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>
 <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>
-<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>
+<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#l00315">SVFBugReport.h:315</a></div></div>
 <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>
 <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>
 <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>
@@ -521,6 +532,7 @@ $(function() {
 <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>
 <div class="ttc" id="aclassSVF_1_1PartialNullPtrDereferenceBug_html_a3813a8bb6b6ba48bb7f76634045c364a"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#a3813a8bb6b6ba48bb7f76634045c364a">SVF::PartialNullPtrDereferenceBug::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#l00282">SVFBugReport.h:282</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">SVF::GenericBug::NEVERFREE</a></div><div class="ttdeci">@ NEVERFREE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a817f61a73d84f9054a2f80375f51f747"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a817f61a73d84f9054a2f80375f51f747">SVF::SVFBugReport::setStat</a></div><div class="ttdeci">void setStat(double time, std::string mem, double coverage)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00303">SVFBugReport.h:303</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FullBufferOverflowBug_html"><div class="ttname"><a href="classSVF_1_1FullBufferOverflowBug.html">SVF::FullBufferOverflowBug</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00144">SVFBugReport.h:144</a></div></div>
 <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>
 <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>
@@ -543,7 +555,8 @@ $(function() {
 <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>
 <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>
 <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>
-<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>
+<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#l00419">SVFBugReport.h:419</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aed1046e4c7559ebdaf57775726645085"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">SVF::SVFBugReport::mem</a></div><div class="ttdeci">std::string mem</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00298">SVFBugReport.h:298</a></div></div>
 <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#l01108">SVFValue.h:1108</a></div></div>
 <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>
 <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#l00057">SVFBugReport.cpp:57</a></div></div>
@@ -561,6 +574,7 @@ $(function() {
 <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>
 <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>
 <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>
+<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a529dfbc5ea68061897e84af9cf248bcf"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">SVF::SVFBugReport::time</a></div><div class="ttdeci">double time</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00297">SVFBugReport.h:297</a></div></div>
 <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>
 <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>
 <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>

package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html

@@ -708,7 +708,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DoubleFreeChecker_html_a06cf937c92c88627796f09b0a87a5263"><div class="ttname"><a href="classSVF_1_1DoubleFreeChecker.html#a06cf937c92c88627796f09b0a87a5263">SVF::DoubleFreeChecker::testsValidation</a></div><div class="ttdeci">void testsValidation(ProgSlice *slice)</div><div class="ttdoc">Validate test cases for regression test purpose.</div><div class="ttdef"><b>Definition:</b> <a href="DoubleFreeChecker_8cpp_source.html#l00054">DoubleFreeChecker.cpp:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ProgSlice_html_a215c9142830814ae838d15d9b7b40af9"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9">SVF::ProgSlice::evalFinalCond2Event</a></div><div class="ttdeci">void evalFinalCond2Event(GenericBug::EventStack &amp;eventStack) const</div><div class="ttdoc">Add final condition to eventStack.</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00149">ProgSlice.cpp:149</a></div></div>
-<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>
+<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#l00315">SVFBugReport.h:315</a></div></div>
 <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>
 <div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_aa7d6999b99412cdc101152867778cd0a"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a">SVF::SrcSnkDDA::report</a></div><div class="ttdeci">SVFBugReport report</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00080">SrcSnkDDA.h:80</a></div></div>

package/SVF-doxygen/html/classSVF_1_1FileChecker.html

@@ -593,7 +593,7 @@ Additional Inherited Members</h2></td></tr>
 <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>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_a6ae0d47bac09163e90b8b2e773ad69f0"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0">SVF::SrcSnkDDA::isAllPathReachable</a></div><div class="ttdeci">virtual bool isAllPathReachable()</div><div class="ttdoc">Whether it is all path reachable from a source.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00307">SrcSnkDDA.h:307</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ProgSlice_html_a215c9142830814ae838d15d9b7b40af9"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9">SVF::ProgSlice::evalFinalCond2Event</a></div><div class="ttdeci">void evalFinalCond2Event(GenericBug::EventStack &amp;eventStack) const</div><div class="ttdoc">Add final condition to eventStack.</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00149">ProgSlice.cpp:149</a></div></div>
-<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>
+<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#l00315">SVFBugReport.h:315</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_aa7d6999b99412cdc101152867778cd0a"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a">SVF::SrcSnkDDA::report</a></div><div class="ttdeci">SVFBugReport report</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00080">SrcSnkDDA.h:80</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ProgSlice_html_ac1dc48ea64a89ce37394a22e609a0cd0"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#ac1dc48ea64a89ce37394a22e609a0cd0">SVF::ProgSlice::getSource</a></div><div class="ttdeci">const SVFGNode * getSource() const</div><div class="ttdoc">root and sink operations</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00120">ProgSlice.h:120</a></div></div>
 <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>

package/SVF-doxygen/html/classSVF_1_1LeakChecker.html

@@ -1212,7 +1212,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1LeakChecker_html_a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1"><div class="ttname"><a href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1">SVF::LeakChecker::GLOBAL_LEAK</a></div><div class="ttdeci">@ GLOBAL_LEAK</div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8h_source.html#l00055">LeakChecker.h:55</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LeakChecker_html_aaf5d098e0d08929a108fb59bff46e424"><div class="ttname"><a href="classSVF_1_1LeakChecker.html#aaf5d098e0d08929a108fb59bff46e424">SVF::LeakChecker::testsValidation</a></div><div class="ttdeci">void testsValidation(const ProgSlice *slice)</div><div class="ttdoc">Validate test cases for regression test purpose.</div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8cpp_source.html#l00179">LeakChecker.cpp:179</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ProgSlice_html_a215c9142830814ae838d15d9b7b40af9"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9">SVF::ProgSlice::evalFinalCond2Event</a></div><div class="ttdeci">void evalFinalCond2Event(GenericBug::EventStack &amp;eventStack) const</div><div class="ttdoc">Add final condition to eventStack.</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00149">ProgSlice.cpp:149</a></div></div>
-<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>
+<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#l00315">SVFBugReport.h:315</a></div></div>
 <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>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a5f5a5ec7e707a21994d301cc07d32a5a"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a">SVF::PTACallGraph::FunctionSet</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00228">PTACallGraph.h:228</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_ad445032e9b2027b3c990ce2a250257f8"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#ad445032e9b2027b3c990ce2a250257f8">SVF::SrcSnkDDA::getCallgraph</a></div><div class="ttdeci">PTACallGraph * getCallgraph() const</div><div class="ttdoc">Get Callgraph.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8h_source.html#l00132">SrcSnkDDA.h:132</a></div></div>

package/SVF-doxygen/html/classSVF_1_1SVFBugReport-members.html

@@ -74,11 +74,15 @@ $(function() {
 <table class="directory">
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">addAbsExecBug</a>(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">addSaberBug</a>(GenericBug::BugType bugType, const GenericBug::EventStack &amp;eventStack)</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">dumpToJsonFile</a>(const std::string &amp;filePath) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">getBugSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20">SVFBugReport</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">bugSet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">BugSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#abdb02bf4b61c6cbccd4b9c3c01590ddc">coverage</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">dumpToJsonFile</a>(const std::string &amp;filePath) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">getBugSet</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085">mem</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#a817f61a73d84f9054a2f80375f51f747">setStat</a>(double time, std::string mem, double coverage)</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20">SVFBugReport</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf">time</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html#a4e243c7297791b306d970c19abc87ca9">~SVFBugReport</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFBugReport.html">SVF::SVFBugReport</a></td><td class="entry"></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->