svf-tools 1.0.819 → 1.0.820
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/SVFBugReport_8cpp_source.html +81 -69
- package/SVF-doxygen/html/SVFBugReport_8h_source.html +135 -121
- package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FileChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFBugReport-members.html +9 -5
- package/SVF-doxygen/html/classSVF_1_1SVFBugReport.html +307 -161
- package/SVF-doxygen/html/functions_c.html +24 -19
- package/SVF-doxygen/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/functions_func_s.html +25 -22
- package/SVF-doxygen/html/functions_i.html +1 -1
- package/SVF-doxygen/html/functions_l.html +3 -3
- package/SVF-doxygen/html/functions_m.html +4 -3
- package/SVF-doxygen/html/functions_n.html +4 -4
- package/SVF-doxygen/html/functions_o.html +4 -4
- package/SVF-doxygen/html/functions_p.html +11 -11
- package/SVF-doxygen/html/functions_r.html +4 -6
- package/SVF-doxygen/html/functions_s.html +26 -21
- package/SVF-doxygen/html/functions_t.html +8 -5
- package/SVF-doxygen/html/functions_v.html +6 -6
- package/SVF-doxygen/html/functions_vars_c.html +3 -0
- package/SVF-doxygen/html/functions_vars_m.html +1 -0
- package/SVF-doxygen/html/functions_vars_t.html +3 -0
- package/SVF-doxygen/html/functions_w.html +1 -1
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +222 -222
- package/SVF-doxygen/html/search/all_12.js +545 -544
- package/SVF-doxygen/html/search/all_13.js +192 -191
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +167 -167
- package/SVF-doxygen/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/search/all_1a.js +172 -172
- package/SVF-doxygen/html/search/all_3.js +138 -137
- package/SVF-doxygen/html/search/all_4.js +233 -233
- package/SVF-doxygen/html/search/all_5.js +119 -119
- package/SVF-doxygen/html/search/all_6.js +225 -225
- package/SVF-doxygen/html/search/all_7.js +1044 -1044
- package/SVF-doxygen/html/search/all_8.js +197 -197
- package/SVF-doxygen/html/search/all_9.js +607 -607
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +116 -116
- package/SVF-doxygen/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +115 -115
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +21 -21
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +55 -55
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +12 -12
- package/SVF-doxygen/html/search/functions_1.js +360 -360
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/search/functions_12.js +280 -279
- package/SVF-doxygen/html/search/functions_13.js +59 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +172 -172
- package/SVF-doxygen/html/search/functions_2.js +87 -87
- package/SVF-doxygen/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/search/functions_7.js +854 -854
- package/SVF-doxygen/html/search/functions_8.js +149 -149
- package/SVF-doxygen/html/search/functions_9.js +423 -423
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +26 -26
- package/SVF-doxygen/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +61 -61
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +33 -33
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +55 -55
- package/SVF-doxygen/html/search/typedefs_7.js +44 -44
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +14 -14
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +44 -44
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +76 -75
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +143 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +37 -37
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +78 -78
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +29 -29
- package/package.json +1 -1
- package/svf/include/Util/SVFBugReport.h +10 -0
- package/svf/lib/Util/SVFBugReport.cpp +46 -32
|
@@ -418,77 +418,89 @@ $(function() {
|
|
|
418
418
|
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  </div>
|
|
419
419
|
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  ofstream jsonFile(filePath, ios::out);</div>
|
|
420
420
|
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  </div>
|
|
421
|
-
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  jsonFile << <span class="stringliteral">"
|
|
421
|
+
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  jsonFile << <span class="stringliteral">"{\n"</span>;</div>
|
|
422
422
|
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  </div>
|
|
423
|
-
<div class="line"><a name="
|
|
424
|
-
<div class="line"><a name="
|
|
425
|
-
<div class="line"><a name="
|
|
426
|
-
<div class="line"><a name="
|
|
427
|
-
<div class="line"><a name="
|
|
428
|
-
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span> 
|
|
429
|
-
<div class="line"><a name="
|
|
430
|
-
<div class="line"><a name="
|
|
431
|
-
<div class="line"><a name="
|
|
432
|
-
<div class="line"><a name="
|
|
433
|
-
<div class="line"><a name="
|
|
434
|
-
<div class="line"><a name="
|
|
435
|
-
<div class="line"><a name="
|
|
436
|
-
<div class="line"><a name="
|
|
437
|
-
<div class="line"><a name="
|
|
438
|
-
<div class="line"><a name="
|
|
439
|
-
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  cJSON_AddItemToObject(singleBug, <span class="stringliteral">"Function"</span>, bugFunction);</div>
|
|
423
|
+
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  jsonFile << <span class="stringliteral">"\"Defects\": [\n"</span>;</div>
|
|
424
|
+
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  <span class="keywordtype">size_t</span> commaCounter = bugSet.size() - 1;</div>
|
|
425
|
+
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> bugPtr : bugSet)</div>
|
|
426
|
+
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  {</div>
|
|
427
|
+
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <a class="code" href="structcJSON.html">cJSON</a> *singleDefect = cJSON_CreateObject();</div>
|
|
428
|
+
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  </div>
|
|
429
|
+
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  <a class="code" href="structcJSON.html">cJSON</a> *bugType = cJSON_CreateString(</div>
|
|
430
|
+
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  GenericBug::BugType2Str.at(bugPtr->getBugType()).c_str());</div>
|
|
431
|
+
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  cJSON_AddItemToObject(singleDefect, <span class="stringliteral">"DefectType"</span>, bugType);</div>
|
|
432
|
+
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  </div>
|
|
433
|
+
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  <a class="code" href="structcJSON.html">cJSON</a> *bugLoc = cJSON_Parse(bugPtr->getLoc().c_str());</div>
|
|
434
|
+
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  <span class="keywordflow">if</span> (bugLoc == <span class="keyword">nullptr</span>)</div>
|
|
435
|
+
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  {</div>
|
|
436
|
+
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  bugLoc = cJSON_CreateObject();</div>
|
|
437
|
+
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  }</div>
|
|
438
|
+
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  cJSON_AddItemToObject(singleDefect, <span class="stringliteral">"Location"</span>, bugLoc);</div>
|
|
440
439
|
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  </div>
|
|
441
|
-
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span> 
|
|
442
|
-
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span> 
|
|
443
|
-
<div class="line"><a name="
|
|
444
|
-
<div class="line"><a name="
|
|
445
|
-
<div class="line"><a name="
|
|
446
|
-
<div class="line"><a name="
|
|
447
|
-
<div class="line"><a name="
|
|
448
|
-
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span> 
|
|
449
|
-
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span> 
|
|
450
|
-
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span> 
|
|
451
|
-
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span> 
|
|
452
|
-
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span> 
|
|
453
|
-
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span> 
|
|
454
|
-
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span> 
|
|
455
|
-
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  <
|
|
456
|
-
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span> 
|
|
457
|
-
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span> 
|
|
458
|
-
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span> 
|
|
459
|
-
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span> 
|
|
460
|
-
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <a class="code" href="structcJSON.html">cJSON</a> *
|
|
461
|
-
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span> 
|
|
462
|
-
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  <
|
|
463
|
-
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span> 
|
|
464
|
-
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span> 
|
|
465
|
-
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span> 
|
|
466
|
-
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span> 
|
|
467
|
-
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span> 
|
|
468
|
-
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  cJSON_AddItemToObject(singleEvent, <span class="stringliteral">"
|
|
469
|
-
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  <span class="comment">//
|
|
470
|
-
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  <a class="code" href="structcJSON.html">cJSON</a> *
|
|
471
|
-
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span> 
|
|
472
|
-
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span> 
|
|
473
|
-
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span> 
|
|
474
|
-
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span> 
|
|
475
|
-
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span> 
|
|
476
|
-
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span> 
|
|
477
|
-
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  </div>
|
|
478
|
-
<div class="line"><a name="
|
|
479
|
-
<div class="line"><a name="
|
|
480
|
-
<div class="line"><a name="
|
|
481
|
-
<div class="line"><a name="
|
|
482
|
-
<div class="line"><a name="
|
|
483
|
-
<div class="line"><a name="
|
|
484
|
-
<div class="line"><a name="
|
|
485
|
-
<div class="line"><a name="
|
|
486
|
-
<div class="line"><a name="
|
|
487
|
-
<div class="line"><a name="
|
|
488
|
-
<div class="line"><a name="
|
|
489
|
-
<div class="line"><a name="
|
|
490
|
-
<div class="line"><a name="
|
|
491
|
-
<div class="line"><a name="
|
|
440
|
+
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  <a class="code" href="structcJSON.html">cJSON</a> *bugFunction = cJSON_CreateString(</div>
|
|
441
|
+
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  bugPtr->getFuncName().c_str());</div>
|
|
442
|
+
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  cJSON_AddItemToObject(singleDefect, <span class="stringliteral">"Function"</span>, bugFunction);</div>
|
|
443
|
+
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  </div>
|
|
444
|
+
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  cJSON_AddItemToObject(singleDefect, <span class="stringliteral">"Description"</span>,</div>
|
|
445
|
+
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  bugPtr->getBugDescription());</div>
|
|
446
|
+
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  </div>
|
|
447
|
+
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  <a class="code" href="structcJSON.html">cJSON</a> *eventList = cJSON_CreateArray();</div>
|
|
448
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">GenericBug::EventStack</a> &bugEventStack = bugPtr->getEventStack();</div>
|
|
449
|
+
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  <span class="keywordflow">if</span> (BufferOverflowBug::classof(bugPtr))</div>
|
|
450
|
+
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  {</div>
|
|
451
|
+
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  <span class="comment">// Add only when bug is context sensitive</span></div>
|
|
452
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBugEvent.html">SVFBugEvent</a> &event : bugEventStack)</div>
|
|
453
|
+
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  {</div>
|
|
454
|
+
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  <span class="keywordflow">if</span> (event.getEventType() == SVFBugEvent::SourceInst)</div>
|
|
455
|
+
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  {</div>
|
|
456
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <span class="keywordflow">continue</span>;</div>
|
|
457
|
+
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  }</div>
|
|
458
|
+
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  </div>
|
|
459
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <a class="code" href="structcJSON.html">cJSON</a> *singleEvent = cJSON_CreateObject();</div>
|
|
460
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  <span class="comment">// Event type</span></div>
|
|
461
|
+
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  <a class="code" href="structcJSON.html">cJSON</a> *eventType = cJSON_CreateString(</div>
|
|
462
|
+
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  eventType2Str[event.getEventType()].c_str());</div>
|
|
463
|
+
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  cJSON_AddItemToObject(singleEvent, <span class="stringliteral">"EventType"</span>, eventType);</div>
|
|
464
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  <span class="comment">// Function name</span></div>
|
|
465
|
+
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  <a class="code" href="structcJSON.html">cJSON</a> *eventFunc = cJSON_CreateString(</div>
|
|
466
|
+
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  event.getFuncName().c_str());</div>
|
|
467
|
+
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  cJSON_AddItemToObject(singleEvent, <span class="stringliteral">"Function"</span>, eventFunc);</div>
|
|
468
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  <span class="comment">// Event loc</span></div>
|
|
469
|
+
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  <a class="code" href="structcJSON.html">cJSON</a> *eventLoc = cJSON_Parse(event.getEventLoc().c_str());</div>
|
|
470
|
+
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  <span class="keywordflow">if</span> (eventLoc == <span class="keyword">nullptr</span>)</div>
|
|
471
|
+
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  {</div>
|
|
472
|
+
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  eventLoc = cJSON_CreateObject();</div>
|
|
473
|
+
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  }</div>
|
|
474
|
+
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  cJSON_AddItemToObject(singleEvent, <span class="stringliteral">"Location"</span>, eventLoc);</div>
|
|
475
|
+
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  <span class="comment">// Event description</span></div>
|
|
476
|
+
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  <a class="code" href="structcJSON.html">cJSON</a> *eventDescription = cJSON_CreateString(</div>
|
|
477
|
+
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  event.getEventDescription().c_str());</div>
|
|
478
|
+
<div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  cJSON_AddItemToObject(singleEvent, <span class="stringliteral">"Description"</span>, eventDescription);</div>
|
|
479
|
+
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  </div>
|
|
480
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  cJSON_AddItemToArray(eventList, singleEvent);</div>
|
|
481
|
+
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  }</div>
|
|
482
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  }</div>
|
|
483
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  cJSON_AddItemToObject(singleDefect, <span class="stringliteral">"Events"</span>, eventList);</div>
|
|
484
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  </div>
|
|
485
|
+
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  <span class="keywordtype">char</span> *singleDefectStr = cJSON_Print(singleDefect);</div>
|
|
486
|
+
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  jsonFile << singleDefectStr;</div>
|
|
487
|
+
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  <span class="keywordflow">if</span> (commaCounter != 0)</div>
|
|
488
|
+
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  {</div>
|
|
489
|
+
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  jsonFile << <span class="stringliteral">",\n"</span>;</div>
|
|
490
|
+
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  }</div>
|
|
491
|
+
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  commaCounter--;</div>
|
|
492
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  </div>
|
|
493
|
+
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span>  <a class="code" href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON_Delete</a>(singleDefect);</div>
|
|
494
|
+
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  }</div>
|
|
495
|
+
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  jsonFile << <span class="stringliteral">"\n],\n"</span>;</div>
|
|
496
|
+
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  </div>
|
|
497
|
+
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  jsonFile << <span class="stringliteral">"\"Time\": "</span> << time << <span class="stringliteral">",\n"</span>;</div>
|
|
498
|
+
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  jsonFile << <span class="stringliteral">"\"Memory\": \""</span> << mem << <span class="stringliteral">"\",\n"</span>;</div>
|
|
499
|
+
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  jsonFile << <span class="stringliteral">"\"Coverage\": "</span> << coverage << <span class="stringliteral">"\n"</span>;</div>
|
|
500
|
+
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  </div>
|
|
501
|
+
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  jsonFile << <span class="stringliteral">"}"</span>;</div>
|
|
502
|
+
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  jsonFile.close();</div>
|
|
503
|
+
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span> }</div>
|
|
492
504
|
</div><!-- fragment --></div><!-- contents -->
|
|
493
505
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string & getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00243">SVFValue.h:243</a></div></div>
|
|
494
506
|
<div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ad56c48be3ba6ebb95416623256524097"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ad56c48be3ba6ebb95416623256524097">SVF::LLVMUtil::getCallee</a></div><div class="ttdeci">const Function * getCallee(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00074">LLVMUtil.h:74</a></div></div>
|