This repository has been archived by the owner on Oct 29, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathresults_summary.txt
155 lines (155 loc) · 4.25 KB
/
results_summary.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
CWE121_Stack_Based_Buffer_Overflow/s01: 876 tests
876 ok
CWE121_Stack_Based_Buffer_Overflow/s02: 1020 tests
1020 ok
CWE121_Stack_Based_Buffer_Overflow/s03: 1020 tests
34 imprecise
986 ok
CWE121_Stack_Based_Buffer_Overflow/s04: 1020 tests
34 imprecise
986 ok
CWE121_Stack_Based_Buffer_Overflow/s05: 1020 tests
34 imprecise
986 ok
CWE121_Stack_Based_Buffer_Overflow/s06: 904 tests
34 imprecise
870 ok
CWE121_Stack_Based_Buffer_Overflow/s07: 912 tests
912 ok
CWE121_Stack_Based_Buffer_Overflow/s08: 848 tests
848 ok
CWE121_Stack_Based_Buffer_Overflow/s09: 452 tests
452 ok
CWE122_Heap_Based_Buffer_Overflow/s01: 72 tests
72 ok
CWE122_Heap_Based_Buffer_Overflow/s02: 0 tests
CWE122_Heap_Based_Buffer_Overflow/s03: 0 tests
CWE122_Heap_Based_Buffer_Overflow/s04: 0 tests
CWE122_Heap_Based_Buffer_Overflow/s05: 152 tests
152 ok
CWE122_Heap_Based_Buffer_Overflow/s06: 836 tests
836 ok
CWE122_Heap_Based_Buffer_Overflow/s07: 912 tests
912 ok
CWE122_Heap_Based_Buffer_Overflow/s08: 912 tests
38 imprecise
874 ok
CWE122_Heap_Based_Buffer_Overflow/s09: 912 tests
38 imprecise
874 ok
CWE122_Heap_Based_Buffer_Overflow/s10: 912 tests
912 ok
CWE122_Heap_Based_Buffer_Overflow/s11: 300 tests
300 ok
CWE123_Write_What_Where_Condition: 228 tests
228 ok
CWE124_Buffer_Underwrite/s01: 984 tests
984 ok
CWE124_Buffer_Underwrite/s02: 912 tests
912 ok
CWE124_Buffer_Underwrite/s03: 136 tests
136 ok
CWE124_Buffer_Underwrite/s04: 544 tests
544 ok
CWE126_Buffer_Overread/s01: 1044 tests
1044 ok
CWE126_Buffer_Overread/s02: 492 tests
492 ok
CWE126_Buffer_Overread/s03: 408 tests
408 ok
CWE127_Buffer_Underread/s01: 984 tests
984 ok
CWE127_Buffer_Underread/s02: 912 tests
912 ok
CWE127_Buffer_Underread/s03: 136 tests
136 ok
CWE127_Buffer_Underread/s04: 544 tests
544 ok
CWE190_Integer_Overflow/s01: 836 tests
40 imprecise
796 ok
CWE190_Integer_Overflow/s02: 836 tests
152 imprecise
684 ok
CWE190_Integer_Overflow/s03: 836 tests
114 imprecise
722 ok
CWE190_Integer_Overflow/s04: 836 tests
40 imprecise
796 ok
CWE190_Integer_Overflow/s05: 760 tests
2 imprecise
758 ok
CWE190_Integer_Overflow/s06: 1368 tests
1368 ok
CWE190_Integer_Overflow/s07: 1368 tests
1368 ok
CWE191_Integer_Underflow/s01: 836 tests
836 ok
CWE191_Integer_Underflow/s02: 836 tests
836 ok
CWE191_Integer_Underflow/s03: 836 tests
836 ok
CWE191_Integer_Underflow/s04: 1368 tests
1368 ok
CWE191_Integer_Underflow/s05: 1368 tests
1368 ok
CWE194_Unexpected_Sign_Extension/s01: 912 tests
912 ok
CWE194_Unexpected_Sign_Extension/s02: 912 tests
912 ok
CWE195_Signed_to_Unsigned_Conversion_Error/s01: 912 tests
912 ok
CWE195_Signed_to_Unsigned_Conversion_Error/s02: 912 tests
912 ok
CWE196_Unsigned_to_Signed_Conversion_Error: 36 tests
36 ok
CWE197_Numeric_Truncation_Error/s01: 912 tests
912 ok
CWE197_Numeric_Truncation_Error/s02: 456 tests
456 ok
CWE369_Divide_by_Zero/s01: 836 tests
190 imprecise
646 ok
CWE369_Divide_by_Zero/s02: 532 tests
532 ok
CWE415_Double_Free/s01: 456 tests
456 ok
CWE416_Use_After_Free: 276 tests
276 ok
CWE457_Use_of_Uninitialized_Variable/s01: 1080 tests
1080 ok
CWE457_Use_of_Uninitialized_Variable/s02: 40 tests
40 ok
CWE469_Use_of_Pointer_Subtraction_to_Determine_Size: 72 tests
72 ok
CWE475_Undefined_Behavior_for_Input_to_API: 72 tests
72 ok
CWE476_NULL_Pointer_Dereference: 540 tests
36 imprecise
504 ok
CWE562_Return_of_Stack_Variable_Address: 4 tests
4 ok
CWE587_Assignment_of_Fixed_Address_to_Pointer: 36 tests
36 ok
CWE588_Attempt_to_Access_Child_of_Non_Structure_Pointer: 68 tests
68 ok
CWE590_Free_Memory_Not_on_Heap/s04: 748 tests
748 ok
CWE590_Free_Memory_Not_on_Heap/s05: 476 tests
476 ok
CWE617_Reachable_Assertion: 492 tests
492 ok
CWE665_Improper_Initialization: 304 tests
304 ok
CWE680_Integer_Overflow_to_Buffer_Overflow: 456 tests
456 ok
CWE690_NULL_Deref_From_Return/s01: 912 tests
912 ok
CWE690_NULL_Deref_From_Return/s02: 532 tests
532 ok
CWE758_Undefined_Behavior: 722 tests
1 imprecise
721 ok
CWE843_Type_Confusion: 136 tests
136 ok