Showing Jiri Slaby's recent errors


# Error Type (Subtype) File [Line] Marking
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
↑