Showing Jiri Slaby's recent errors


# Error Type (Subtype) File [Line] Marking
1 Reachable Error Location pthread/fib_bench.cil.c [144] ▼ False positive
2 Reachable Error Location pthread/fib_bench_longer.cil.c [144] ▼ False positive
3 Reachable Error Location pthread/queue_ok.cil.c [479] ▼ False positive
4 Reachable Error Location pthread/queue_ok.cil.c [553] ▼ False positive
5 Reachable Error Location locks/test_locks_10.c [164] ▼ False positive
6 Reachable Error Location locks/test_locks_11.c [178] ▼ False positive
7 Reachable Error Location locks/test_locks_12.c [192] ▼ False positive
8 Reachable Error Location locks/test_locks_13.c [206] ▼ False positive
9 Reachable Error Location locks/test_locks_14.c [220] ▼ False positive
10 Reachable Error Location locks/test_locks_15.c [234] ▼ False positive
11 Reachable Error Location locks/test_locks_5.c [94] ▼ False positive
12 Reachable Error Location locks/test_locks_6.c [108] ▼ False positive
13 Reachable Error Location locks/test_locks_7.c [122] ▼ False positive
14 Reachable Error Location locks/test_locks_8.c [136] ▼ False positive
15 Reachable Error Location locks/test_locks_9.c [150] ▼ False positive
16 Reachable Error Location ntdrivers/cdaudio.i.cil.c [2835] ▼ False positive
17 Reachable Error Location ntdrivers/diskperf.i.cil.c [1982] ▼ False positive
18 Reachable Error Location ntdrivers/floppy.i.cil.c [2094] ▼ False positive
19 Reachable Error Location ntdrivers/parport.i.cil.c [2243] ▼ False positive
20 Reachable Error Location ntdrivers-simplified/cdaudio_simpl1.cil.c [30] ▼ False positive
21 Reachable Error Location ntdrivers-simplified/diskperf_simpl1.cil.c [28] ▼ False positive
22 Reachable Error Location ntdrivers-simplified/floppy_simpl3.cil.c [31] ▼ False positive
23 Reachable Error Location ntdrivers-simplified/floppy_simpl4.cil.c [2156] ▼ False positive
24 Reachable Error Location ntdrivers-simplified/kbfiltr_simpl1.cil.c [759] ▼ False positive
25 Reachable Error Location ntdrivers-simplified/kbfiltr_simpl2.cil.c [1320] ▼ False positive
26 Reachable Error Location ssh-simplified/s3_clnt_1.cil.c [744] ▼ False positive
27 Reachable Error Location ssh-simplified/s3_clnt_2.cil.c [751] ▼ False positive
28 Reachable Error Location ssh-simplified/s3_clnt_3.cil.c [784] ▼ False positive
29 Reachable Error Location ssh-simplified/s3_clnt_4.cil.c [751] ▼ False positive
30 Reachable Error Location ssh-simplified/s3_srvr_1a.cil.c [209] ▼ False positive
31 Reachable Error Location ssh-simplified/s3_srvr_1b.cil.c [132] ▼ False positive
32 Reachable Error Location ssh-simplified/s3_srvr_1.cil.c [843] ▼ False positive
33 Reachable Error Location ssh-simplified/s3_srvr_1.cil.c [850] ▼ False positive
34 Reachable Error Location ssh-simplified/s3_srvr_2.cil.c [834] ▼ False positive
35 Reachable Error Location ssh-simplified/s3_srvr_3.cil.c [833] ▼ False positive
36 Reachable Error Location ssh-simplified/s3_srvr_4.cil.c [834] ▼ False positive
37 Reachable Error Location ssh-simplified/s3_srvr_6.cil.c [928] ▼ False positive
38 Reachable Error Location ssh-simplified/s3_srvr_7.cil.c [859] ▼ False positive
39 Reachable Error Location ssh-simplified/s3_srvr_8.cil.c [869] ▼ False positive
40 Reachable Error Location ssh/s3_clnt.blast.01.i.cil.c [1635] ▼ False positive
41 Reachable Error Location ssh/s3_clnt.blast.02.i.cil.c [1633] ▼ False positive
42 Reachable Error Location ssh/s3_clnt.blast.03.i.cil.c [1632] ▼ False positive
43 Reachable Error Location ssh/s3_clnt.blast.04.i.cil.c [1632] ▼ False positive
44 Reachable Error Location ssh/s3_srvr.blast.01.i.cil.c [1701] ▼ False positive
45 Reachable Error Location ssh/s3_srvr.blast.02.i.cil.c [1697] ▼ False positive
46 Reachable Error Location ssh/s3_srvr.blast.06.i.cil.c [1773] ▼ False positive
47 Reachable Error Location ssh/s3_srvr.blast.07.i.cil.c [1721] ▼ False positive
48 Reachable Error Location ssh/s3_srvr.blast.08.i.cil.c [1722] ▼ False positive
49 Reachable Error Location ssh/s3_srvr.blast.09.i.cil.c [1721] ▼ False positive
50 Reachable Error Location ssh/s3_srvr.blast.10.i.cil.c [1710] ▼ False positive
↑