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/gcd_1_safe.i [4] False positive
4 Reachable Error Location bitvector/gcd_2_safe.i [4] False positive
5 Reachable Error Location bitvector/gcd_3_safe.i [4] False positive
6 Reachable Error Location bitvector/gcd_4_safe.i [4] False positive
7 Reachable Error Location bitvector/interleave_bits_safe.i [4] False positive
8 Reachable Error Location bitvector/jain_1_safe.i [4] False positive
9 Reachable Error Location bitvector/jain_2_safe.i [4] False positive
10 Reachable Error Location bitvector/jain_4_safe.i [4] False positive
11 Reachable Error Location bitvector/jain_5_safe.i [4] False positive
12 Reachable Error Location bitvector/jain_6_safe.i [4] False positive
13 Reachable Error Location bitvector/jain_7_safe.i [4] False positive
14 Reachable Error Location bitvector/modulus_safe.i [4] False positive
15 Reachable Error Location bitvector/num_conversion_1_safe.i [4] False positive
16 Reachable Error Location bitvector/num_conversion_2_safe.i [4] False positive
17 Reachable Error Location bitvector/parity_safe.i [4] False positive
18 Reachable Error Location bitvector/soft_float_1_safe.c.cil.c [4] False positive
19 Reachable Error Location bitvector/soft_float_2_safe.c.cil.c [4] False positive
20 Reachable Error Location bitvector/soft_float_3_safe.c.cil.c [4] False positive
21 Reachable Error Location bitvector/soft_float_4_safe.c.cil.c [4] False positive
22 Reachable Error Location bitvector/soft_float_5_safe.c.cil.c [4] False positive
23 Reachable Error Location bitvector/s3_clnt_1_safe.BV.c.cil.c [617] False positive
24 Reachable Error Location bitvector/s3_clnt_2_safe.BV.c.cil.c [605] False positive
25 Reachable Error Location bitvector/s3_clnt_3_safe.BV.c.cil.c [611] False positive
26 Reachable Error Location bitvector/s3_srvr_1_safe.BV.c.cil.c [666] False positive
27 Reachable Error Location bitvector/s3_srvr_2_safe.BV.c.cil.c [666] False positive
28 Reachable Error Location bitvector/s3_srvr_3_safe.BV.c.cil.c [663] False positive
29 Reachable Error Location ddv-machzwd/ddv_machzwd_inb_p_safe.cil.c [5992] False positive
30 Reachable Error Location ddv-machzwd/ddv_machzwd_inb_safe.cil.c [5992] False positive
31 Reachable Error Location ddv-machzwd/ddv_machzwd_inl_p_safe.cil.c [5992] False positive
32 Reachable Error Location ddv-machzwd/ddv_machzwd_inl_safe.cil.c [5992] False positive
33 Reachable Error Location ddv-machzwd/ddv_machzwd_inw_p_safe.cil.c [5992] False positive
34 Reachable Error Location ddv-machzwd/ddv_machzwd_outb_p_safe.cil.c [5993] False positive
35 Reachable Error Location ddv-machzwd/ddv_machzwd_outl_p_safe.cil.c [5993] False positive
36 Reachable Error Location ddv-machzwd/ddv_machzwd_outl_safe.cil.c [5993] False positive
37 Reachable Error Location ddv-machzwd/ddv_machzwd_outw_p_safe.cil.c [5993] False positive
38 Reachable Error Location ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_safe.cil.c [5971] False positive
39 Reachable Error Location heap-manipulation/bubble_sort_linux_safe.cil.c [30] False positive
40 Reachable Error Location heap-manipulation/bubble_sort_linux_safe.i [898] False positive
41 Reachable Error Location heap-manipulation/dll_of_dll_safe.cil.c [30] False positive
42 Reachable Error Location heap-manipulation/dll_of_dll_safe.i [619] False positive
43 Reachable Error Location heap-manipulation/merge_sort_safe.cil.c [29] False positive
44 Reachable Error Location heap-manipulation/merge_sort_safe.i [619] False positive
45 Reachable Error Location heap-manipulation/sll_to_dll_rev_safe.cil.c [24] False positive
46 Reachable Error Location heap-manipulation/sll_to_dll_rev_safe.i [619] False positive
47 Reachable Error Location ldv-drivers/module_get_put-drivers-atm-eni.ko_safe.cil.out.i.pp.cil.c [21665] False positive
48 Reachable Error Location ldv-drivers/module_get_put-drivers-atm-eni.ko_safe.cil.out.i.pp.i [14429] False positive
49 Reachable Error Location ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.cil.c [16839] False positive
50 Reachable Error Location ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.cil.c [59764] False positive