1 |
Reachable Error Location |
pthread/fib_bench_BUG.cil.c [144] ▼ |
Real error |
2 |
Reachable Error Location |
pthread/fib_bench.cil.c [144] ▼ |
False positive |
3 |
Reachable Error Location |
pthread/fib_bench_longer_BUG.cil.c [144] ▼ |
Real error |
4 |
Reachable Error Location |
pthread/fib_bench_longer.cil.c [144] ▼ |
False positive |
5 |
Reachable Error Location |
pthread/queue_BUG.cil.c [461] ▼ |
Real error |
6 |
Reachable Error Location |
pthread/queue_BUG.cil.c [516] ▼ |
Real error |
7 |
Reachable Error Location |
pthread/queue_BUG.cil.c [587] ▼ |
Real error |
8 |
Reachable Error Location |
pthread/queue_ok.cil.c [479] ▼ |
False positive |
9 |
Reachable Error Location |
pthread/queue_ok.cil.c [553] ▼ |
False positive |
10 |
Reachable Error Location |
pthread/reorder_5_BUG.cil.c [606] ▼ |
Real error |
11 |
Reachable Error Location |
pthread/twostage_3_BUG.cil.c [218] ▼ |
Real error |
12 |
Reachable Error Location |
locks/test_locks_10.c [164] ▼ |
False positive |
13 |
Reachable Error Location |
locks/test_locks_11.c [178] ▼ |
False positive |
14 |
Reachable Error Location |
locks/test_locks_12.c [192] ▼ |
False positive |
15 |
Reachable Error Location |
locks/test_locks_13.c [206] ▼ |
False positive |
16 |
Reachable Error Location |
locks/test_locks_14.BUG.c [220] ▼ |
Real error |
17 |
Reachable Error Location |
locks/test_locks_14.c [220] ▼ |
False positive |
18 |
Reachable Error Location |
locks/test_locks_15.BUG.c [234] ▼ |
Real error |
19 |
Reachable Error Location |
locks/test_locks_15.c [234] ▼ |
False positive |
20 |
Reachable Error Location |
locks/test_locks_5.c [94] ▼ |
False positive |
21 |
Reachable Error Location |
locks/test_locks_6.c [108] ▼ |
False positive |
22 |
Reachable Error Location |
locks/test_locks_7.c [122] ▼ |
False positive |
23 |
Reachable Error Location |
locks/test_locks_8.c [136] ▼ |
False positive |
24 |
Reachable Error Location |
locks/test_locks_9.c [150] ▼ |
False positive |
25 |
Reachable Error Location |
ntdrivers/cdaudio.BUG.i.cil.c [2835] ▼ |
Real error |
26 |
Reachable Error Location |
ntdrivers/cdaudio.i.cil.c [2835] ▼ |
False positive |
27 |
Reachable Error Location |
ntdrivers/diskperf.BUG.i.cil.c [1982] ▼ |
Real error |
28 |
Reachable Error Location |
ntdrivers/diskperf.i.cil.c [1982] ▼ |
False positive |
29 |
Reachable Error Location |
ntdrivers/floppy.BUG.i.cil.c [2094] ▼ |
Real error |
30 |
Reachable Error Location |
ntdrivers/floppy.i.cil.c [2094] ▼ |
False positive |
31 |
Reachable Error Location |
ntdrivers/kbfiltr.BUG.i.cil.c [1637] ▼ |
Real error |
32 |
Reachable Error Location |
ntdrivers/parport.BUG.i.cil.c [2243] ▼ |
Real error |
33 |
Reachable Error Location |
ntdrivers/parport.i.cil.c [2243] ▼ |
False positive |
34 |
Reachable Error Location |
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c [30] ▼ |
Real error |
35 |
Reachable Error Location |
ntdrivers-simplified/cdaudio_simpl1.cil.c [30] ▼ |
False positive |
36 |
Reachable Error Location |
ntdrivers-simplified/diskperf_simpl1.cil.c [28] ▼ |
False positive |
37 |
Reachable Error Location |
ntdrivers-simplified/floppy_simpl3_BUG.cil.c [31] ▼ |
Real error |
38 |
Reachable Error Location |
ntdrivers-simplified/floppy_simpl3.cil.c [31] ▼ |
False positive |
39 |
Reachable Error Location |
ntdrivers-simplified/floppy_simpl4_BUG.cil.c [2156] ▼ |
Real error |
40 |
Reachable Error Location |
ntdrivers-simplified/floppy_simpl4.cil.c [2156] ▼ |
False positive |
41 |
Reachable Error Location |
ntdrivers-simplified/kbfiltr_simpl1.cil.c [759] ▼ |
False positive |
42 |
Reachable Error Location |
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c [1320] ▼ |
Real error |
43 |
Reachable Error Location |
ntdrivers-simplified/kbfiltr_simpl2.cil.c [1320] ▼ |
False positive |
44 |
Reachable Error Location |
ssh-simplified/s3_clnt_1_BUG.cil.c [745] ▼ |
Real error |
45 |
Reachable Error Location |
ssh-simplified/s3_clnt_1.cil.c [744] ▼ |
False positive |
46 |
Reachable Error Location |
ssh-simplified/s3_clnt_2_BUG.cil.c [751] ▼ |
Real error |
47 |
Reachable Error Location |
ssh-simplified/s3_clnt_2.cil.c [751] ▼ |
False positive |
48 |
Reachable Error Location |
ssh-simplified/s3_clnt_3_BUG.cil.c [784] ▼ |
Real error |
49 |
Reachable Error Location |
ssh-simplified/s3_clnt_3.cil.c [784] ▼ |
False positive |
50 |
Reachable Error Location |
ssh-simplified/s3_clnt_4_BUG.cil.c [751] ▼ |
Real error |