Showing Jiri Slaby's recent errors


# Error Type (Subtype) File [Line] Marking
1 Reachable Error Location bitvector/byte_add_1_safe.i [4] ▼ False positive
2 Reachable Error Location bitvector/byte_add_2_safe.i [4] ▼ False positive
3 Reachable Error Location bitvector/byte_add_unsafe.i [4] ▼ Real error
4 Reachable Error Location bitvector/gcd_1_safe.i [4] ▼ False positive
5 Reachable Error Location bitvector/gcd_2_safe.i [4] ▼ False positive
6 Reachable Error Location bitvector/gcd_3_safe.i [4] ▼ False positive
7 Reachable Error Location bitvector/gcd_4_safe.i [4] ▼ False positive
8 Reachable Error Location bitvector/interleave_bits_safe.i [4] ▼ False positive
9 Reachable Error Location bitvector/jain_1_safe.i [4] ▼ False positive
10 Reachable Error Location bitvector/jain_2_safe.i [4] ▼ False positive
11 Reachable Error Location bitvector/jain_4_safe.i [4] ▼ False positive
12 Reachable Error Location bitvector/jain_5_safe.i [4] ▼ False positive
13 Reachable Error Location bitvector/jain_6_safe.i [4] ▼ False positive
14 Reachable Error Location bitvector/jain_7_safe.i [4] ▼ False positive
15 Reachable Error Location bitvector/modulus_safe.i [4] ▼ False positive
16 Reachable Error Location bitvector/num_conversion_1_safe.i [4] ▼ False positive
17 Reachable Error Location bitvector/num_conversion_2_safe.i [4] ▼ False positive
18 Reachable Error Location bitvector/parity_safe.i [4] ▼ False positive
19 Reachable Error Location bitvector/s3_clnt_1_safe.BV.c.cil.c [617] ▼ False positive
20 Reachable Error Location bitvector/s3_clnt_1_unsafe.BV.c.cil.c [616] ▼ Real error
21 Reachable Error Location bitvector/s3_clnt_2_safe.BV.c.cil.c [605] ▼ False positive
22 Reachable Error Location bitvector/s3_clnt_2_unsafe.BV.c.cil.c [604] ▼ Real error
23 Reachable Error Location bitvector/s3_clnt_3_safe.BV.c.cil.c [611] ▼ False positive
24 Reachable Error Location bitvector/s3_clnt_3_unsafe.BV.c.cil.c [611] ▼ Real error
25 Reachable Error Location bitvector/s3_srvr_1_safe.BV.c.cil.c [666] ▼ False positive
26 Reachable Error Location bitvector/s3_srvr_1_unsafe.BV.c.cil.c [671] ▼ Real error
27 Reachable Error Location bitvector/s3_srvr_2_safe.BV.c.cil.c [666] ▼ False positive
28 Reachable Error Location bitvector/s3_srvr_2_unsafe.BV.c.cil.c [665] ▼ Real error
29 Reachable Error Location bitvector/s3_srvr_3_safe.BV.c.cil.c [663] ▼ False positive
30 Reachable Error Location bitvector/s3_srvr_3_unsafe.BV.c.cil.c [664] ▼ Real error
31 Reachable Error Location bitvector/soft_float_1_safe.c.cil.c [4] ▼ False positive
32 Reachable Error Location bitvector/soft_float_2_safe.c.cil.c [4] ▼ False positive
33 Reachable Error Location bitvector/soft_float_3_safe.c.cil.c [4] ▼ False positive
34 Reachable Error Location bitvector/soft_float_4_safe.c.cil.c [4] ▼ False positive
35 Reachable Error Location bitvector/soft_float_5_safe.c.cil.c [4] ▼ False positive
36 Reachable Error Location ddv-machzwd/ddv_machzwd_all_unsafe.cil.c [6371] ▼ Real error
37 Reachable Error Location ddv-machzwd/ddv_machzwd_inb_p_safe.cil.c [5992] ▼ False positive
38 Reachable Error Location ddv-machzwd/ddv_machzwd_inb_safe.cil.c [5992] ▼ False positive
39 Reachable Error Location ddv-machzwd/ddv_machzwd_inl_p_safe.cil.c [5992] ▼ False positive
40 Reachable Error Location ddv-machzwd/ddv_machzwd_inl_safe.cil.c [5992] ▼ False positive
41 Reachable Error Location ddv-machzwd/ddv_machzwd_inw_p_safe.cil.c [5992] ▼ False positive
42 Reachable Error Location ddv-machzwd/ddv_machzwd_inw_unsafe.cil.c [5992] ▼ Real error
43 Reachable Error Location ddv-machzwd/ddv_machzwd_outb_p_safe.cil.c [5993] ▼ False positive
44 Reachable Error Location ddv-machzwd/ddv_machzwd_outb_unsafe.cil.c [5993] ▼ Real error
45 Reachable Error Location ddv-machzwd/ddv_machzwd_outl_p_safe.cil.c [5993] ▼ False positive
46 Reachable Error Location ddv-machzwd/ddv_machzwd_outl_safe.cil.c [5993] ▼ False positive
47 Reachable Error Location ddv-machzwd/ddv_machzwd_outw_p_safe.cil.c [5993] ▼ False positive
48 Reachable Error Location ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_safe.cil.c [5971] ▼ False positive
49 Reachable Error Location heap-manipulation/bubble_sort_linux_safe.cil.c [30] ▼ False positive
50 Reachable Error Location heap-manipulation/bubble_sort_linux_safe.i [898] ▼ False positive
↑