-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathadjusted_securibench_micro_classifications.txt
executable file
·50 lines (39 loc) · 1.57 KB
/
adjusted_securibench_micro_classifications.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
---------------------
SecuriBench-Aliasing3
---------------------
The call to the sink Writer.println() is changed from insecure to secure.
The program is secure because strings in Java do not alias.
---------------------
SecuriBench-Basic8
---------------------
The call to the sink Writer.println() is changed from insecure to secure.
The program is secure because the sink is unreachable code.
---------------------
SecuriBench-Basic28
---------------------
The call to the sink Writer.println() is changed from insecure to secure.
The program is secure because the sink is unreachable code.
------------------------
SecuriBench-Collections2
------------------------
The lists accessed are changed such that the intuition of the sample to be
insecure is matched.
The program in its original version was flagged insecure but was actually
secure. This appeared to be caused by a simple typo in the program that is now
fixed.
------------------------
SecuriBench-Collections3
------------------------
The lists accessed are changed such that the intuition of the sample to be
insecure is matched.
The program in its original version was flagged insecure but was actually
secure. This appeared to be caused by a simple typo in the program that is now
fixed.
------------------------
SecuriBench-Collections8
------------------------
The index of the list accessed is changed such that the intuition of the sample
to be insecure is matched.
The program in its original version was flagged insecure but was actually
secure. This appeared to be caused by a simple typo in the program that is now
fixed.