Showing Jiri Slaby's recent errors


# Error Type (Subtype) File [Line] Marking
1 Reachable Error Location ddv-machzwd/ddv_machzwd_all_BUG.cil.c [6371] ▼ Real error
2 Reachable Error Location ddv-machzwd/ddv_machzwd_inb.cil.c [5992] ▼ False positive
3 Reachable Error Location ddv-machzwd/ddv_machzwd_inb_p.cil.c [5992] ▼ False positive
4 Reachable Error Location ddv-machzwd/ddv_machzwd_inl.cil.c [5992] ▼ False positive
5 Reachable Error Location ddv-machzwd/ddv_machzwd_inl_p.cil.c [5992] ▼ False positive
6 Reachable Error Location ddv-machzwd/ddv_machzwd_inw_BUG.cil.c [5992] ▼ Real error
7 Reachable Error Location ddv-machzwd/ddv_machzwd_inw_p.cil.c [5992] ▼ False positive
8 Reachable Error Location ddv-machzwd/ddv_machzwd_outb_BUG.cil.c [5993] ▼ Real error
9 Reachable Error Location ddv-machzwd/ddv_machzwd_outb_p.cil.c [5993] ▼ False positive
10 Reachable Error Location ddv-machzwd/ddv_machzwd_outl.cil.c [5993] ▼ False positive
11 Reachable Error Location ddv-machzwd/ddv_machzwd_outl_p.cil.c [5993] ▼ False positive
12 Reachable Error Location ddv-machzwd/ddv_machzwd_outw_p.cil.c [5993] ▼ False positive
13 Reachable Error Location ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c [5971] ▼ False positive
14 Reachable Error Location heap-manipulation/bubble_sort_linux.cil.c [30] ▼ False positive
15 Reachable Error Location heap-manipulation/bubble_sort_linux_BUG.cil.c [30] ▼ Real error
16 Reachable Error Location heap-manipulation/dll_of_dll.cil.c [30] ▼ False positive
17 Reachable Error Location heap-manipulation/dll_of_dll_BUG.cil.c [30] ▼ Real error
18 Reachable Error Location heap-manipulation/merge_sort.cil.c [29] ▼ False positive
19 Reachable Error Location heap-manipulation/merge_sort_BUG.cil.c [29] ▼ Real error
20 Reachable Error Location heap-manipulation/sll_to_dll_rev.cil.c [24] ▼ False positive
21 Reachable Error Location heap-manipulation/sll_to_dll_rev_BUG.cil.c [24] ▼ Real error
22 Reachable Error Location ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c [21665] ▼ False positive
23 Reachable Error Location ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c [59976] ▼ False positive
24 Reachable Error Location ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c [59764] ▼ False positive
25 Reachable Error Location ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c [16839] ▼ False positive
26 Reachable Error Location ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c [60088] ▼ Real error
27 Reachable Error Location ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c [59876] ▼ Real error
28 Reachable Error Location ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c [16839] ▼ Real error
29 Reachable Error Location ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c [13232] ▼ Real error
30 Reachable Error Location ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c [7923] ▼ False positive
31 Reachable Error Location ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c [19129] ▼ Real error
32 Reachable Error Location ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c [9993] ▼ False positive
33 Reachable Error Location ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c [9995] ▼ False positive
34 Reachable Error Location ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c [39933] ▼ False positive
35 Reachable Error Location ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c [11859] ▼ False positive
36 Reachable Error Location ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c [6702] ▼ False positive
37 Reachable Error Location ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c [13133] ▼ False positive
38 Reachable Error Location ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c [11540] ▼ Real error
39 Reachable Error Location ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c [7385] ▼ Real error
40 Reachable Error Location ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c [13837] ▼ False positive
41 Reachable Error Location ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c [20889] ▼ Real error
42 Reachable Error Location ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c [6658] ▼ False positive
43 Reachable Error Location ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c [17069] ▼ False positive
44 Reachable Error Location ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c [16143] ▼ Real error
45 Reachable Error Location ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c [22665] ▼ False positive
46 Reachable Error Location ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c [6555] ▼ False positive
47 Reachable Error Location ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c [31450] ▼ Real error
48 Reachable Error Location ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c [6860] ▼ Real error
49 Reachable Error Location ldv-drivers/module_get_put-drivers-video-aty-aty128fb.ko-safe.cil.out.i.pp.cil.c [12495] ▼ False positive
50 Reachable Error Location ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c [6183] ▼ Real error
↑