svf-tools 1.0.751 → 1.0.752
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- 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/classSVF_1_1BufferOverflowBug.html +51 -51
- 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_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/package.json +1 -1
- package/svf/include/Util/SVFBugReport.h +12 -0
- package/svf/lib/Util/SVFBugReport.cpp +3 -1
|
@@ -239,29 +239,29 @@ Additional Inherited Members</h2></td></tr>
|
|
|
239
239
|
|
|
240
240
|
<p>Implements <a class="el" href="classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c">SVF::GenericBug</a>.</p>
|
|
241
241
|
|
|
242
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
243
|
-
<div class="fragment"><div class="line"><a name="
|
|
244
|
-
<div class="line"><a name="
|
|
245
|
-
<div class="line"><a name="
|
|
246
|
-
<div class="line"><a name="
|
|
247
|
-
<div class="line"><a name="
|
|
248
|
-
<div class="line"><a name="
|
|
249
|
-
<div class="line"><a name="
|
|
250
|
-
<div class="line"><a name="
|
|
251
|
-
<div class="line"><a name="
|
|
252
|
-
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  </div>
|
|
253
|
-
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  <a class="code" href="structcJSON.html">cJSON</a> *branchCondition = cJSON_CreateString((*eventIt).getEventDescription().c_str());</div>
|
|
242
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00130">130</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
243
|
+
<div class="fragment"><div class="line"><a name="l00131"></a><span class="lineno"> 131</span> {</div>
|
|
244
|
+
<div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <a class="code" href="structcJSON.html">cJSON</a> *bugDescription = cJSON_CreateObject();</div>
|
|
245
|
+
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  <a class="code" href="structcJSON.html">cJSON</a> *pathInfo = cJSON_CreateArray();</div>
|
|
246
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <span class="keyword">auto</span> lastBranchEventIt = <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>.end() - 1;</div>
|
|
247
|
+
<div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> eventIt = <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>.begin(); eventIt != lastBranchEventIt; eventIt++)</div>
|
|
248
|
+
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  {</div>
|
|
249
|
+
<div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  <a class="code" href="structcJSON.html">cJSON</a> *newBranch = cJSON_CreateObject();</div>
|
|
250
|
+
<div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <a class="code" href="structcJSON.html">cJSON</a> *branchLoc = cJSON_Parse((*eventIt).getEventLoc().c_str());</div>
|
|
251
|
+
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  <span class="keywordflow">if</span>(branchLoc == <span class="keyword">nullptr</span>) branchLoc = cJSON_CreateObject();</div>
|
|
254
252
|
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  </div>
|
|
255
|
-
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span> 
|
|
256
|
-
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span> 
|
|
257
|
-
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span> 
|
|
258
|
-
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span> 
|
|
259
|
-
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span> 
|
|
260
|
-
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span> 
|
|
261
|
-
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span> 
|
|
253
|
+
<div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <a class="code" href="structcJSON.html">cJSON</a> *branchCondition = cJSON_CreateString((*eventIt).getEventDescription().c_str());</div>
|
|
254
|
+
<div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  </div>
|
|
255
|
+
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  cJSON_AddItemToObject(newBranch, <span class="stringliteral">"BranchLoc"</span>, branchLoc);</div>
|
|
256
|
+
<div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  cJSON_AddItemToObject(newBranch, <span class="stringliteral">"BranchCond"</span>, branchCondition);</div>
|
|
257
|
+
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  </div>
|
|
258
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  cJSON_AddItemToArray(pathInfo, newBranch);</div>
|
|
259
|
+
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  }</div>
|
|
262
260
|
<div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  </div>
|
|
263
|
-
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  <span class="
|
|
264
|
-
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span> 
|
|
261
|
+
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  cJSON_AddItemToObject(bugDescription, <span class="stringliteral">"ConditionalFreePath"</span>, pathInfo);</div>
|
|
262
|
+
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  </div>
|
|
263
|
+
<div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <span class="keywordflow">return</span> bugDescription;</div>
|
|
264
|
+
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span> }</div>
|
|
265
265
|
</div><!-- fragment -->
|
|
266
266
|
</div>
|
|
267
267
|
</div>
|
|
@@ -290,19 +290,19 @@ Additional Inherited Members</h2></td></tr>
|
|
|
290
290
|
|
|
291
291
|
<p>Implements <a class="el" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">SVF::GenericBug</a>.</p>
|
|
292
292
|
|
|
293
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
294
|
-
<div class="fragment"><div class="line"><a name="
|
|
295
|
-
<div class="line"><a name="
|
|
296
|
-
<div class="line"><a name="
|
|
297
|
-
<div class="line"><a name="
|
|
298
|
-
<div class="line"><a name="
|
|
299
|
-
<div class="line"><a name="
|
|
300
|
-
<div class="line"><a name="
|
|
301
|
-
<div class="line"><a name="
|
|
302
|
-
<div class="line"><a name="
|
|
303
|
-
<div class="line"><a name="
|
|
304
|
-
<div class="line"><a name="
|
|
305
|
-
<div class="line"><a name="
|
|
293
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00154">154</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
294
|
+
<div class="fragment"><div class="line"><a name="l00155"></a><span class="lineno"> 155</span> {</div>
|
|
295
|
+
<div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() << <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535">SVFUtil::bugMsg2</a>(<span class="stringliteral">"\t PartialLeak :"</span>) << <span class="stringliteral">" memory allocation at : ("</span></div>
|
|
296
|
+
<div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  << <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() << <span class="stringliteral">")\n"</span>;</div>
|
|
297
|
+
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  </div>
|
|
298
|
+
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() << <span class="stringliteral">"\t\t conditional free path: \n"</span>;</div>
|
|
299
|
+
<div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keyword">auto</span> lastBranchEventIt = <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>.end() - 1;</div>
|
|
300
|
+
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  <span class="keywordflow">for</span>(<span class="keyword">auto</span> eventIt = <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>.begin(); eventIt != lastBranchEventIt; eventIt++)</div>
|
|
301
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  {</div>
|
|
302
|
+
<div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() << <span class="stringliteral">"\t\t --> ("</span> << (*eventIt).getEventLoc() << <span class="stringliteral">"|"</span> << (*eventIt).getEventDescription() << <span class="stringliteral">") \n"</span>;</div>
|
|
303
|
+
<div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  }</div>
|
|
304
|
+
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() << <span class="stringliteral">"\n"</span>;</div>
|
|
305
|
+
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span> }</div>
|
|
306
306
|
</div><!-- fragment -->
|
|
307
307
|
</div>
|
|
308
308
|
</div>
|
|
@@ -316,7 +316,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
316
316
|
<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>
|
|
317
317
|
<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>
|
|
318
318
|
<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>
|
|
319
|
-
<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#
|
|
319
|
+
<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>
|
|
320
320
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream & errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>
|
|
321
321
|
<!-- start footer part -->
|
|
322
322
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -239,11 +239,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
239
239
|
|
|
240
240
|
<p>Implements <a class="el" href="classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c">SVF::GenericBug</a>.</p>
|
|
241
241
|
|
|
242
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
243
|
-
<div class="fragment"><div class="line"><a name="
|
|
244
|
-
<div class="line"><a name="
|
|
245
|
-
<div class="line"><a name="
|
|
246
|
-
<div class="line"><a name="
|
|
242
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00267">267</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
243
|
+
<div class="fragment"><div class="line"><a name="l00268"></a><span class="lineno"> 268</span> {</div>
|
|
244
|
+
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  <a class="code" href="structcJSON.html">cJSON</a> *bugDescription = cJSON_CreateObject();</div>
|
|
245
|
+
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  <span class="keywordflow">return</span> bugDescription;</div>
|
|
246
|
+
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span> }</div>
|
|
247
247
|
</div><!-- fragment -->
|
|
248
248
|
</div>
|
|
249
249
|
</div>
|
|
@@ -272,11 +272,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
272
272
|
|
|
273
273
|
<p>Implements <a class="el" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">SVF::GenericBug</a>.</p>
|
|
274
274
|
|
|
275
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
276
|
-
<div class="fragment"><div class="line"><a name="
|
|
277
|
-
<div class="line"><a name="
|
|
278
|
-
<div class="line"><a name="
|
|
279
|
-
<div class="line"><a name="
|
|
275
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00273">273</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
276
|
+
<div class="fragment"><div class="line"><a name="l00274"></a><span class="lineno"> 274</span> {</div>
|
|
277
|
+
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() << <a class="code" href="namespaceSVF_1_1SVFUtil.html#ac25f6dfcc9118ffd80244a771bdee535">SVFUtil::bugMsg2</a>(<span class="stringliteral">"\t PartialNullPtrDereference :"</span>) << <span class="stringliteral">" dereference at : ("</span></div>
|
|
278
|
+
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  << <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() << <span class="stringliteral">")\n"</span>;</div>
|
|
279
|
+
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span> }</div>
|
|
280
280
|
</div><!-- fragment -->
|
|
281
281
|
</div>
|
|
282
282
|
</div>
|
|
@@ -289,7 +289,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
289
289
|
<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>
|
|
290
290
|
<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>
|
|
291
291
|
<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>
|
|
292
|
-
<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#
|
|
292
|
+
<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>
|
|
293
293
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream & errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>
|
|
294
294
|
<div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">SVF::GenericBug::PARTIALNULLPTRDEREFERENCE</a></div><div class="ttdeci">@ PARTIALNULLPTRDEREFERENCE</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
|
|
295
295
|
<!-- start footer part -->
|
|
@@ -236,48 +236,48 @@ Protected Attributes</h2></td></tr>
|
|
|
236
236
|
</table>
|
|
237
237
|
</div><div class="memdoc">
|
|
238
238
|
|
|
239
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
240
|
-
<div class="fragment"><div class="line"><a name="
|
|
241
|
-
<div class="line"><a name="
|
|
242
|
-
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  {</div>
|
|
243
|
-
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVFBugEvent::Branch</a>:</div>
|
|
239
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00289">289</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
240
|
+
<div class="fragment"><div class="line"><a name="l00290"></a><span class="lineno"> 290</span> {</div>
|
|
241
|
+
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="keywordflow">switch</span>(<a class="code" href="classSVF_1_1SVFBugEvent.html#a7ded0022f3852a08a05c67aeae77162f">getEventType</a>())</div>
|
|
244
242
|
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  {</div>
|
|
245
|
-
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span> 
|
|
246
|
-
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span> 
|
|
247
|
-
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span> 
|
|
248
|
-
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span> 
|
|
249
|
-
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span> 
|
|
250
|
-
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span> 
|
|
251
|
-
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span> 
|
|
252
|
-
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span> 
|
|
253
|
-
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span> 
|
|
254
|
-
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span> 
|
|
255
|
-
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span> 
|
|
256
|
-
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span> 
|
|
257
|
-
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span> 
|
|
258
|
-
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span> 
|
|
259
|
-
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <
|
|
260
|
-
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span> 
|
|
261
|
-
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span> 
|
|
262
|
-
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span> 
|
|
263
|
-
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span> 
|
|
264
|
-
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span> 
|
|
265
|
-
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span> 
|
|
266
|
-
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span> 
|
|
267
|
-
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span> 
|
|
268
|
-
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span> 
|
|
269
|
-
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span> 
|
|
270
|
-
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span> 
|
|
271
|
-
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span> 
|
|
272
|
-
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span> 
|
|
273
|
-
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span> 
|
|
274
|
-
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span> 
|
|
275
|
-
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span> 
|
|
276
|
-
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span> 
|
|
277
|
-
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span> 
|
|
278
|
-
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span> 
|
|
279
|
-
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span> 
|
|
280
|
-
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span> }</div>
|
|
243
|
+
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVFBugEvent::Branch</a>:</div>
|
|
244
|
+
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  {</div>
|
|
245
|
+
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567">typeAndInfoFlag</a> & <a class="code" href="SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec">BRANCHFLAGMASK</a>)</div>
|
|
246
|
+
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  {</div>
|
|
247
|
+
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <span class="keywordflow">return</span> <span class="stringliteral">"True"</span>;</div>
|
|
248
|
+
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  }</div>
|
|
249
|
+
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">else</span></div>
|
|
250
|
+
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  {</div>
|
|
251
|
+
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  <span class="keywordflow">return</span> <span class="stringliteral">"False"</span>;</div>
|
|
252
|
+
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  }</div>
|
|
253
|
+
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  <span class="keywordflow">break</span>;</div>
|
|
254
|
+
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  }</div>
|
|
255
|
+
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629">SVFBugEvent::CallSite</a>:</div>
|
|
256
|
+
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  {</div>
|
|
257
|
+
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> description(<span class="stringliteral">"calls "</span>);</div>
|
|
258
|
+
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *callee = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVFUtil::getCallee</a>(<a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>);</div>
|
|
259
|
+
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  <span class="keywordflow">if</span>(callee == <span class="keyword">nullptr</span>)</div>
|
|
260
|
+
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  {</div>
|
|
261
|
+
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  description += <span class="stringliteral">"<unknown>"</span>;</div>
|
|
262
|
+
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  }</div>
|
|
263
|
+
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <span class="keywordflow">else</span></div>
|
|
264
|
+
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  {</div>
|
|
265
|
+
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  description += callee-><a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
|
|
266
|
+
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  }</div>
|
|
267
|
+
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <span class="keywordflow">return</span> description;</div>
|
|
268
|
+
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  <span class="keywordflow">break</span>;</div>
|
|
269
|
+
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  }</div>
|
|
270
|
+
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVFBugEvent::SourceInst</a>:</div>
|
|
271
|
+
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  {</div>
|
|
272
|
+
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  <span class="keywordflow">return</span> <span class="stringliteral">"None"</span>;</div>
|
|
273
|
+
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  }</div>
|
|
274
|
+
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  <span class="keywordflow">default</span>:</div>
|
|
275
|
+
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  {</div>
|
|
276
|
+
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"No such type of event!"</span>);</div>
|
|
277
|
+
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  abort();</div>
|
|
278
|
+
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  }</div>
|
|
279
|
+
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  }</div>
|
|
280
|
+
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span> }</div>
|
|
281
281
|
</div><!-- fragment -->
|
|
282
282
|
</div>
|
|
283
283
|
</div>
|
|
@@ -304,10 +304,10 @@ Protected Attributes</h2></td></tr>
|
|
|
304
304
|
</table>
|
|
305
305
|
</div><div class="memdoc">
|
|
306
306
|
|
|
307
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
308
|
-
<div class="fragment"><div class="line"><a name="
|
|
309
|
-
<div class="line"><a name="
|
|
310
|
-
<div class="line"><a name="
|
|
307
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00284">284</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
308
|
+
<div class="fragment"><div class="line"><a name="l00285"></a><span class="lineno"> 285</span> {</div>
|
|
309
|
+
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>-><a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>();</div>
|
|
310
|
+
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span> }</div>
|
|
311
311
|
</div><!-- fragment -->
|
|
312
312
|
</div>
|
|
313
313
|
</div>
|
|
@@ -364,10 +364,10 @@ Protected Attributes</h2></td></tr>
|
|
|
364
364
|
</table>
|
|
365
365
|
</div><div class="memdoc">
|
|
366
366
|
|
|
367
|
-
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#
|
|
368
|
-
<div class="fragment"><div class="line"><a name="
|
|
369
|
-
<div class="line"><a name="
|
|
370
|
-
<div class="line"><a name="
|
|
367
|
+
<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00279">279</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
|
|
368
|
+
<div class="fragment"><div class="line"><a name="l00280"></a><span class="lineno"> 280</span> {</div>
|
|
369
|
+
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d">eventInst</a>-><a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>()-><a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
|
|
370
|
+
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span> }</div>
|
|
371
371
|
</div><!-- fragment -->
|
|
372
372
|
</div>
|
|
373
373
|
</div>
|