svf-tools 1.0.748 → 1.0.749
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 +168 -144
- package/SVF-doxygen/html/html/SVFBugReport_8h.html +4 -0
- package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +167 -125
- package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/annotated.html +292 -290
- package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1FullBufferOverflowBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1FullBufferOverflowBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug-members.html +107 -0
- package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.html +302 -0
- package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GenericBug-members.html +11 -9
- package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html +21 -14
- package/SVF-doxygen/html/html/classSVF_1_1GenericBug.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug-members.html +12 -10
- package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1PartialBufferOverflowBug-members.html +12 -10
- package/SVF-doxygen/html/html/classSVF_1_1PartialBufferOverflowBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug-members.html +12 -10
- package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug-members.html +107 -0
- package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.html +302 -0
- package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +49 -49
- package/SVF-doxygen/html/html/classSVF_1_1SVFBugReport.html +169 -169
- package/SVF-doxygen/html/html/classes.html +334 -332
- package/SVF-doxygen/html/html/functions_c.html +21 -17
- package/SVF-doxygen/html/html/functions_eval_f.html +3 -0
- package/SVF-doxygen/html/html/functions_eval_p.html +3 -0
- package/SVF-doxygen/html/html/functions_f.html +21 -15
- package/SVF-doxygen/html/html/functions_func_c.html +23 -21
- package/SVF-doxygen/html/html/functions_func_f.html +3 -0
- package/SVF-doxygen/html/html/functions_func_g.html +19 -17
- package/SVF-doxygen/html/html/functions_func_p.html +8 -3
- package/SVF-doxygen/html/html/functions_g.html +20 -18
- package/SVF-doxygen/html/html/functions_i.html +1 -1
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_o.html +17 -17
- package/SVF-doxygen/html/html/functions_p.html +34 -28
- package/SVF-doxygen/html/html/functions_r.html +2 -2
- package/SVF-doxygen/html/html/functions_s.html +11 -11
- package/SVF-doxygen/html/html/functions_t.html +4 -4
- package/SVF-doxygen/html/html/functions_w.html +9 -9
- package/SVF-doxygen/html/html/hierarchy.html +4 -2
- package/SVF-doxygen/html/html/namespaceSVF.html +4 -0
- package/SVF-doxygen/html/html/search/all_10.js +325 -323
- package/SVF-doxygen/html/html/search/all_11.js +208 -208
- package/SVF-doxygen/html/html/search/all_12.js +546 -546
- package/SVF-doxygen/html/html/search/all_13.js +189 -189
- package/SVF-doxygen/html/html/search/all_14.js +66 -66
- package/SVF-doxygen/html/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/html/search/all_16.js +60 -60
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/html/search/all_19.js +10 -10
- package/SVF-doxygen/html/html/search/all_1a.js +169 -169
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +70 -68
- package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
- package/SVF-doxygen/html/html/search/all_8.js +192 -192
- package/SVF-doxygen/html/html/search/all_9.js +597 -597
- package/SVF-doxygen/html/html/search/all_a.js +47 -47
- package/SVF-doxygen/html/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/html/search/all_c.js +113 -113
- package/SVF-doxygen/html/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/html/search/all_e.js +206 -206
- package/SVF-doxygen/html/html/search/all_f.js +122 -122
- package/SVF-doxygen/html/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/html/search/classes_2.js +76 -76
- package/SVF-doxygen/html/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/html/search/classes_4.js +10 -10
- package/SVF-doxygen/html/html/search/classes_5.js +28 -27
- package/SVF-doxygen/html/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/html/search/classes_e.js +36 -35
- package/SVF-doxygen/html/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/html/search/defines_8.js +13 -13
- package/SVF-doxygen/html/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/html/search/defines_b.js +2 -2
- package/SVF-doxygen/html/html/search/defines_c.js +2 -2
- package/SVF-doxygen/html/html/search/defines_d.js +6 -6
- package/SVF-doxygen/html/html/search/defines_e.js +3 -3
- package/SVF-doxygen/html/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/html/search/enums_1.js +1 -1
- package/SVF-doxygen/html/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/html/search/enums_4.js +4 -4
- package/SVF-doxygen/html/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/html/search/enums_a.js +2 -2
- package/SVF-doxygen/html/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_1.js +13 -13
- package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
- package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
- package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -47
- package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_d.js +17 -16
- package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/html/search/files_2.js +50 -50
- package/SVF-doxygen/html/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/html/search/files_4.js +4 -4
- package/SVF-doxygen/html/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/html/search/files_c.js +19 -19
- package/SVF-doxygen/html/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/html/search/functions_0.js +351 -351
- package/SVF-doxygen/html/html/search/functions_1.js +80 -80
- package/SVF-doxygen/html/html/search/functions_10.js +121 -121
- package/SVF-doxygen/html/html/search/functions_11.js +282 -282
- package/SVF-doxygen/html/html/search/functions_12.js +55 -55
- package/SVF-doxygen/html/html/search/functions_13.js +38 -38
- package/SVF-doxygen/html/html/search/functions_14.js +71 -71
- package/SVF-doxygen/html/html/search/functions_15.js +29 -29
- package/SVF-doxygen/html/html/search/functions_16.js +2 -2
- package/SVF-doxygen/html/html/search/functions_17.js +169 -169
- package/SVF-doxygen/html/html/search/functions_2.js +251 -251
- package/SVF-doxygen/html/html/search/functions_3.js +72 -72
- package/SVF-doxygen/html/html/search/functions_4.js +55 -55
- package/SVF-doxygen/html/html/search/functions_5.js +55 -54
- package/SVF-doxygen/html/html/search/functions_6.js +832 -832
- package/SVF-doxygen/html/html/search/functions_7.js +144 -144
- package/SVF-doxygen/html/html/search/functions_8.js +417 -417
- package/SVF-doxygen/html/html/search/functions_9.js +29 -29
- package/SVF-doxygen/html/html/search/functions_a.js +2 -2
- package/SVF-doxygen/html/html/search/functions_b.js +23 -23
- package/SVF-doxygen/html/html/search/functions_c.js +75 -75
- package/SVF-doxygen/html/html/search/functions_d.js +35 -35
- package/SVF-doxygen/html/html/search/functions_e.js +56 -56
- package/SVF-doxygen/html/html/search/functions_f.js +143 -142
- package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/html/search/related_1.js +1 -1
- package/SVF-doxygen/html/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
- package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
- package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
- package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
- package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
- package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/html/search/variables_0.js +146 -146
- package/SVF-doxygen/html/html/search/variables_1.js +74 -74
- package/SVF-doxygen/html/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/html/search/variables_13.js +77 -77
- package/SVF-doxygen/html/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/html/search/variables_2.js +35 -35
- package/SVF-doxygen/html/html/search/variables_3.js +148 -148
- package/SVF-doxygen/html/html/search/variables_4.js +56 -56
- package/SVF-doxygen/html/html/search/variables_5.js +40 -40
- package/SVF-doxygen/html/html/search/variables_6.js +67 -67
- package/SVF-doxygen/html/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/html/search/variables_f.js +33 -33
- package/package.json +1 -1
- package/svf/include/Util/SVFBugReport.h +33 -1
- package/svf/lib/Util/SVFBugReport.cpp +24 -0
|
@@ -87,15 +87,17 @@ $(function() {
|
|
|
87
87
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
88
88
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
89
89
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
92
|
-
<tr><td class="entry"><a class="el" href="
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
95
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
96
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
97
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
98
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(BugType bugType, const EventStack &bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BufferOverflowBug.html#a192bb246ed947f33cf7b02493c8fded8">getBugDescription</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BufferOverflowBug.html">SVF::BufferOverflowBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
97
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
98
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
99
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
100
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
99
101
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212">printBugToTerminal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BufferOverflowBug.html">SVF::BufferOverflowBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
100
102
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">~GenericBug</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
101
103
|
</table></div><!-- contents -->
|
|
@@ -147,7 +147,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
147
147
|
<br />
|
|
148
148
|
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">DOUBLEFREE</a>,
|
|
149
149
|
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a>,
|
|
150
|
-
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a
|
|
150
|
+
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a>,
|
|
151
|
+
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a>,
|
|
152
|
+
<br />
|
|
153
|
+
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a>
|
|
151
154
|
<br />
|
|
152
155
|
}</td></tr>
|
|
153
156
|
<tr class="separator:a7aeeb33097bca5f7fe6747f90f5cecac inherit pub_types_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -83,15 +83,17 @@ $(function() {
|
|
|
83
83
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
84
84
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
85
85
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
88
|
-
<tr><td class="entry"><a class="el" href="
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(BugType bugType, const EventStack &bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DoubleFreeBug.html#acf0d2ffb52d0b322421a5556d41a1d63">getBugDescription</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1DoubleFreeBug.html">SVF::DoubleFreeBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
95
97
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DoubleFreeBug.html#af67320d8ebd56aec6ecddc3f44ec09b9">printBugToTerminal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1DoubleFreeBug.html">SVF::DoubleFreeBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
96
98
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">~GenericBug</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
97
99
|
</table></div><!-- contents -->
|
|
@@ -128,7 +128,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
128
128
|
<br />
|
|
129
129
|
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">DOUBLEFREE</a>,
|
|
130
130
|
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a>,
|
|
131
|
-
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a
|
|
131
|
+
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a>,
|
|
132
|
+
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a>,
|
|
133
|
+
<br />
|
|
134
|
+
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a>
|
|
132
135
|
<br />
|
|
133
136
|
}</td></tr>
|
|
134
137
|
<tr class="separator:a7aeeb33097bca5f7fe6747f90f5cecac inherit pub_types_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -709,7 +709,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
709
709
|
<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>
|
|
710
710
|
<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>
|
|
711
711
|
<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 &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>
|
|
712
|
-
<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aca243a30fa7f65f3d21cddd18a8fbf45"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">SVF::SVFBugReport::addSaberBug</a></div><div class="ttdeci">void addSaberBug(GenericBug::BugType bugType, const GenericBug::EventStack &eventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#
|
|
712
|
+
<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aca243a30fa7f65f3d21cddd18a8fbf45"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">SVF::SVFBugReport::addSaberBug</a></div><div class="ttdeci">void addSaberBug(GenericBug::BugType bugType, const GenericBug::EventStack &eventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00305">SVFBugReport.h:305</a></div></div>
|
|
713
713
|
<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>
|
|
714
714
|
<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>
|
|
715
715
|
<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>
|
|
@@ -593,7 +593,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
593
593
|
<div class="ttc" id="aclassSVF_1_1GenericBug_html_acc65b033bfd61257d5b6fdbf932dfafe"><div class="ttname"><a href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">SVF::GenericBug::EventStack</a></div><div class="ttdeci">std::vector< SVFBugEvent > EventStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00083">SVFBugReport.h:83</a></div></div>
|
|
594
594
|
<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>
|
|
595
595
|
<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 &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>
|
|
596
|
-
<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aca243a30fa7f65f3d21cddd18a8fbf45"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">SVF::SVFBugReport::addSaberBug</a></div><div class="ttdeci">void addSaberBug(GenericBug::BugType bugType, const GenericBug::EventStack &eventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#
|
|
596
|
+
<div class="ttc" id="aclassSVF_1_1SVFBugReport_html_aca243a30fa7f65f3d21cddd18a8fbf45"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45">SVF::SVFBugReport::addSaberBug</a></div><div class="ttdeci">void addSaberBug(GenericBug::BugType bugType, const GenericBug::EventStack &eventStack)</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00305">SVFBugReport.h:305</a></div></div>
|
|
597
597
|
<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>
|
|
598
598
|
<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>
|
|
599
599
|
<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>
|
|
@@ -83,15 +83,17 @@ $(function() {
|
|
|
83
83
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FileNeverCloseBug.html#ad4fb019d5add0b9436b24b22a3cdf9a4">FileNeverCloseBug</a>(const EventStack &bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1FileNeverCloseBug.html">SVF::FileNeverCloseBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
84
84
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
85
85
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
88
|
-
<tr><td class="entry"><a class="el" href="
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(BugType bugType, const EventStack &bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FileNeverCloseBug.html#a80257bc6a9cf4eecfa402def59993e6e">getBugDescription</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1FileNeverCloseBug.html">SVF::FileNeverCloseBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
95
97
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FileNeverCloseBug.html#ae3d9bb5952fa858780ec50148e474388">printBugToTerminal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1FileNeverCloseBug.html">SVF::FileNeverCloseBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
96
98
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">~GenericBug</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
97
99
|
</table></div><!-- contents -->
|
|
@@ -128,7 +128,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
128
128
|
<br />
|
|
129
129
|
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">DOUBLEFREE</a>,
|
|
130
130
|
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a>,
|
|
131
|
-
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a
|
|
131
|
+
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a>,
|
|
132
|
+
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a>,
|
|
133
|
+
<br />
|
|
134
|
+
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a>
|
|
132
135
|
<br />
|
|
133
136
|
}</td></tr>
|
|
134
137
|
<tr class="separator:a7aeeb33097bca5f7fe6747f90f5cecac inherit pub_types_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -83,15 +83,17 @@ $(function() {
|
|
|
83
83
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
84
84
|
<tr><td class="entry"><a class="el" href="classSVF_1_1FilePartialCloseBug.html#a2eb864f62fa684a42973c15be52ba7d3">FilePartialCloseBug</a>(const EventStack &bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1FilePartialCloseBug.html">SVF::FilePartialCloseBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
85
85
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
88
|
-
<tr><td class="entry"><a class="el" href="
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(BugType bugType, const EventStack &bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FilePartialCloseBug.html#a16b96f3c79cf5edae0f0f02e52344283">getBugDescription</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1FilePartialCloseBug.html">SVF::FilePartialCloseBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
95
97
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FilePartialCloseBug.html#a32576eee4de3b4c094c3f8a5501c7b99">printBugToTerminal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1FilePartialCloseBug.html">SVF::FilePartialCloseBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
96
98
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">~GenericBug</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
97
99
|
</table></div><!-- contents -->
|
|
@@ -128,7 +128,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
128
128
|
<br />
|
|
129
129
|
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">DOUBLEFREE</a>,
|
|
130
130
|
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a>,
|
|
131
|
-
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a
|
|
131
|
+
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a>,
|
|
132
|
+
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a>,
|
|
133
|
+
<br />
|
|
134
|
+
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a>
|
|
132
135
|
<br />
|
|
133
136
|
}</td></tr>
|
|
134
137
|
<tr class="separator:a7aeeb33097bca5f7fe6747f90f5cecac inherit pub_types_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -88,15 +88,17 @@ $(function() {
|
|
|
88
88
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
89
89
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FullBufferOverflowBug.html#a88e4cda1be82ab32e25eff74eec39a54">FullBufferOverflowBug</a>(const EventStack &eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)</td><td class="entry"><a class="el" href="classSVF_1_1FullBufferOverflowBug.html">SVF::FullBufferOverflowBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
90
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
95
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
96
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
97
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
98
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
99
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(BugType bugType, const EventStack &bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BufferOverflowBug.html#a192bb246ed947f33cf7b02493c8fded8">getBugDescription</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BufferOverflowBug.html">SVF::BufferOverflowBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
97
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
98
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
99
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
100
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
101
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
100
102
|
<tr><td class="entry"><a class="el" href="classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212">printBugToTerminal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BufferOverflowBug.html">SVF::BufferOverflowBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
101
103
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">~GenericBug</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
102
104
|
</table></div><!-- contents -->
|
|
@@ -136,7 +136,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
136
136
|
<br />
|
|
137
137
|
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">DOUBLEFREE</a>,
|
|
138
138
|
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a>,
|
|
139
|
-
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a
|
|
139
|
+
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a>,
|
|
140
|
+
<a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a>,
|
|
141
|
+
<br />
|
|
142
|
+
  <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a>
|
|
140
143
|
<br />
|
|
141
144
|
}</td></tr>
|
|
142
145
|
<tr class="separator:a7aeeb33097bca5f7fe6747f90f5cecac inherit pub_types_classSVF_1_1GenericBug"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -0,0 +1,107 @@
|
|
|
1
|
+
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
2
|
+
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
3
|
+
<head>
|
|
4
|
+
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
|
|
5
|
+
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
|
|
6
|
+
<meta name="generator" content="Doxygen 1.8.17"/>
|
|
7
|
+
<meta name="viewport" content="width=device-width, initial-scale=1"/>
|
|
8
|
+
<title>Static Value-Flow Analysis: Member List</title>
|
|
9
|
+
<link href="tabs.css" rel="stylesheet" type="text/css"/>
|
|
10
|
+
<script type="text/javascript" src="jquery.js"></script>
|
|
11
|
+
<script type="text/javascript" src="dynsections.js"></script>
|
|
12
|
+
<link href="search/search.css" rel="stylesheet" type="text/css"/>
|
|
13
|
+
<script type="text/javascript" src="search/searchdata.js"></script>
|
|
14
|
+
<script type="text/javascript" src="search/search.js"></script>
|
|
15
|
+
<link href="doxygen.css" rel="stylesheet" type="text/css" />
|
|
16
|
+
</head>
|
|
17
|
+
<body>
|
|
18
|
+
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
|
|
19
|
+
<div id="titlearea">
|
|
20
|
+
<table cellspacing="0" cellpadding="0">
|
|
21
|
+
<tbody>
|
|
22
|
+
<tr style="height: 56px;">
|
|
23
|
+
<td id="projectalign" style="padding-left: 0.5em;">
|
|
24
|
+
<div id="projectname">Static Value-Flow Analysis
|
|
25
|
+
</div>
|
|
26
|
+
</td>
|
|
27
|
+
</tr>
|
|
28
|
+
</tbody>
|
|
29
|
+
</table>
|
|
30
|
+
</div>
|
|
31
|
+
<!-- end header part -->
|
|
32
|
+
<!-- Generated by Doxygen 1.8.17 -->
|
|
33
|
+
<script type="text/javascript">
|
|
34
|
+
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
|
|
35
|
+
var searchBox = new SearchBox("searchBox", "search",false,'Search');
|
|
36
|
+
/* @license-end */
|
|
37
|
+
</script>
|
|
38
|
+
<script type="text/javascript" src="menudata.js"></script>
|
|
39
|
+
<script type="text/javascript" src="menu.js"></script>
|
|
40
|
+
<script type="text/javascript">
|
|
41
|
+
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
|
|
42
|
+
$(function() {
|
|
43
|
+
initMenu('',true,false,'search.php','Search');
|
|
44
|
+
$(document).ready(function() { init_search(); });
|
|
45
|
+
});
|
|
46
|
+
/* @license-end */</script>
|
|
47
|
+
<div id="main-nav"></div>
|
|
48
|
+
<!-- window showing the filter options -->
|
|
49
|
+
<div id="MSearchSelectWindow"
|
|
50
|
+
onmouseover="return searchBox.OnSearchSelectShow()"
|
|
51
|
+
onmouseout="return searchBox.OnSearchSelectHide()"
|
|
52
|
+
onkeydown="return searchBox.OnSearchSelectKey(event)">
|
|
53
|
+
</div>
|
|
54
|
+
|
|
55
|
+
<!-- iframe showing the search results (closed by default) -->
|
|
56
|
+
<div id="MSearchResultsWindow">
|
|
57
|
+
<iframe src="javascript:void(0)" frameborder="0"
|
|
58
|
+
name="MSearchResults" id="MSearchResults">
|
|
59
|
+
</iframe>
|
|
60
|
+
</div>
|
|
61
|
+
|
|
62
|
+
<div id="nav-path" class="navpath">
|
|
63
|
+
<ul>
|
|
64
|
+
<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html">FullNullPtrDereferenceBug</a></li> </ul>
|
|
65
|
+
</div>
|
|
66
|
+
</div><!-- top -->
|
|
67
|
+
<div class="header">
|
|
68
|
+
<div class="headertitle">
|
|
69
|
+
<div class="title">SVF::FullNullPtrDereferenceBug Member List</div> </div>
|
|
70
|
+
</div><!--header-->
|
|
71
|
+
<div class="contents">
|
|
72
|
+
|
|
73
|
+
<p>This is the complete list of members for <a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html">SVF::FullNullPtrDereferenceBug</a>, including all inherited members.</p>
|
|
74
|
+
<table class="directory">
|
|
75
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
76
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">BugType</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
77
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51">bugType</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
78
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3">BugType2Str</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
79
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html#a07bdac10dd87c669358220ac36acbf20">classof</a>(const GenericBug *bug)</td><td class="entry"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html">SVF::FullNullPtrDereferenceBug</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
80
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4">DOUBLEFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
81
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe">EventStack</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
82
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc">FILENEVERCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
83
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4">FILEPARTIALCLOSE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
84
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">FULLBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
85
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7">FULLNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html#ab0b8fccb4d800443de3399084f379d9a">FullNullPtrDereferenceBug</a>(const EventStack &bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html">SVF::FullNullPtrDereferenceBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a3f62d1f1307b9e6771d7449d0855d7e4">GenericBug</a>(BugType bugType, const EventStack &bugEventStack)</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html#a8f057178ee7182d691dbb3103d0d0d43">getBugDescription</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html">SVF::FullNullPtrDereferenceBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a693839b33e167cd0688be2e1738198f2">getBugType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#aa63e1b3fb32d0383a57ab5c503673d18">getEventStack</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">getFuncName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">getLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacae560c578e7f159ed8e1020fb33a7e5a1">NEVERFREE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">PARTIALBUFOVERFLOW</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402">PARTIALLEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64">PARTIALNULLPTRDEREFERENCE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"></td></tr>
|
|
97
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723">printBugToTerminal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html">SVF::FullNullPtrDereferenceBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
98
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html#a7a468e626e081190e4f0e5a4bda0a579">~GenericBug</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1GenericBug.html">SVF::GenericBug</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
99
|
+
</table></div><!-- contents -->
|
|
100
|
+
<!-- start footer part -->
|
|
101
|
+
<hr class="footer"/><address class="footer"><small>
|
|
102
|
+
Generated by  <a href="http://www.doxygen.org/index.html">
|
|
103
|
+
<img class="footer" src="doxygen.png" alt="doxygen"/>
|
|
104
|
+
</a> 1.8.17
|
|
105
|
+
</small></address>
|
|
106
|
+
</body>
|
|
107
|
+
</html>
|