1 |
Double Unlock |
sound/oss/mpu401.c [1018] ▼ |
Real error |
2 |
Double Unlock |
sound/oss/sequencer.c [1487] ▼ |
Real error |
3 |
Double Unlock |
drivers/char/generic_serial.c [583] ▼ |
Real error |
4 |
Double Unlock |
drivers/char/riscom8.c [1076] ▼ |
Real error |
5 |
Double Unlock |
drivers/regulator/core.c [1172] ▼ |
Real error |
6 |
Double Unlock |
sound/oss/sscape.c [948] ▼ |
Real error |
7 |
Double Unlock |
drivers/net/e1000/e1000_hw.c [5255] ▼ |
Real error |
8 |
Double Unlock |
kernel/kprobes.c [905] ▼ |
Real error |
9 |
Double Unlock |
drivers/mtd/chips/cfi_cmdset_0002.c [1595] ▼ |
Real error |
10 |
Double Unlock |
sound/oss/sscape.c [426] ▼ |
Real error |
11 |
Double Unlock |
fs/afs/flock.c [392] ▼ |
Real error |
12 |
Double Unlock |
drivers/char/ipmi/ipmi_si_intf.c [392] ▼ |
False positive |
13 |
Double Unlock |
fs/jbd2/checkpoint.c [411] ▼ |
False positive |
14 |
Double Unlock |
drivers/net/wireless/iwlwifi/iwl-sta.c [770] ▼ |
False positive |
15 |
Double Unlock |
kernel/user.c [326] ▼ |
False positive |
16 |
Double Unlock |
net/ipv4/inet_connection_sock.c [176] ▼ |
False positive |
17 |
Double Unlock |
mm/swapfile.c [305] ▼ |
False positive |
18 |
Double Unlock |
fs/jbd/checkpoint.c [401] ▼ |
False positive |
19 |
Double Unlock |
fs/xfs/xfs_log.c [2894] ▼ |
False positive |
20 |
Double Unlock |
fs/jbd/checkpoint.c [225] ▼ |
False positive |
21 |
Double Unlock |
drivers/infiniband/core/cma.c [1156] ▼ |
False positive |
22 |
Double Unlock |
fs/jbd2/checkpoint.c [227] ▼ |
False positive |
23 |
Double Unlock |
fs/autofs4/waitq.c [371] ▼ |
False positive |
24 |
Double Unlock |
drivers/scsi/gdth.c [2271] ▼ |
False positive |
25 |
Double Unlock |
fs/jbd2/checkpoint.c [419] ▼ |
False positive |
26 |
Double Unlock |
fs/jbd/checkpoint.c [184] ▼ |
False positive |
27 |
Double Unlock |
fs/jffs2/nodemgmt.c [83] ▼ |
False positive |
28 |
Double Unlock |
fs/nfs/client.c [219] ▼ |
False positive |
29 |
Double Unlock |
drivers/net/e1000e/ich8lan.c [454] ▼ |
False positive |
30 |
Double Unlock |
fs/dcache.c [112] ▼ |
False positive |
31 |
Double Unlock |
fs/dcache.c [229] ▼ |
False positive |
32 |
Double Unlock |
mm/shmem.c [992] ▼ |
False positive |
33 |
Double Unlock |
fs/namespace.c [653] ▼ |
False positive |
34 |
Double Unlock |
block/blk-core.c [854] ▼ |
False positive |
35 |
Double Unlock |
fs/ocfs2/dlm/dlmmaster.c [3395] ▼ |
False positive |
36 |
Double Unlock |
mm/filemap_xip.c [206] ▼ |
False positive |
37 |
Double Unlock |
sound/core/timer.c [350] ▼ |
False positive |
38 |
Double Unlock |
fs/dcache.c [121] ▼ |
False positive |
39 |
Double Unlock |
fs/jbd/checkpoint.c [428] ▼ |
False positive |
40 |
Double Unlock |
fs/inotify_user.c [516] ▼ |
Real error |
41 |
Double Unlock |
fs/jffs2/xattr.c [411] ▼ |
False positive |
42 |
Double Unlock |
drivers/infiniband/hw/ipath/ipath_driver.c [229] ▼ |
False positive |
43 |
Double Unlock |
drivers/thermal/thermal_sys.c [87] ▼ |
False positive |
44 |
Double Unlock |
drivers/block/nbd.c [595] ▼ |
False positive |
45 |
Double Unlock |
fs/xfs/xfs_log.c [2879] ▼ |
False positive |
46 |
Double Unlock |
fs/dcache.c [248] ▼ |
False positive |
47 |
Double Unlock |
fs/jbd2/checkpoint.c [186] ▼ |
False positive |
48 |
Double Unlock |
drivers/usb/class/usblp.c [849] ▼ |
False positive |
49 |
Double Unlock |
drivers/scsi/gdth.c [2069] ▼ |
False positive |
50 |
Double Unlock |
lib/locking-selftest.c [484] ▼ |
Real error |
51 |
Double Unlock |
lib/locking-selftest.c [490] ▼ |
Real error |
52 |
Double Unlock |
lib/locking-selftest.c [486] ▼ |
Real error |
53 |
Double Unlock |
arch/x86/mm/pageattr.c [724] ▼ |
False positive |
54 |
Double Unlock |
kernel/sched.c [2809] ▼ |
False positive |
55 |
Double Unlock |
kernel/sched.c [3919] ▼ |
False positive |
56 |
Double Unlock |
mm/swap.c [341] ▼ |
False positive |
57 |
Double Unlock |
mm/swap.c [356] ▼ |
False positive |
58 |
Double Unlock |
mm/swap.c [376] ▼ |
False positive |
59 |
Double Unlock |
mm/swap.c [368] ▼ |
False positive |
60 |
Double Unlock |
mm/vmscan.c [2456] ▼ |
False positive |
61 |
Double Unlock |
mm/vmscan.c [2447] ▼ |
False positive |
62 |
Double Unlock |
fs/dcache.c [120] ▼ |
False positive |
63 |
Double Unlock |
fs/dcache.c [111] ▼ |
False positive |
64 |
Double Unlock |
kernel/signal.c [1833] ▼ |
False positive |
65 |
Double Unlock |
kernel/signal.c [1551] ▼ |
False positive |
66 |
Double Unlock |
kernel/signal.c [1882] ▼ |
False positive |
67 |
Double Unlock |
kernel/signal.c [1855] ▼ |
False positive |
68 |
Double Unlock |
kernel/signal.c [1681] ▼ |
False positive |
69 |
Double Unlock |
fs/namespace.c [647] ▼ |
False positive |
70 |
Double Unlock |
mm/mmap.c [637] ▼ |
False positive |
71 |
Double Unlock |
fs/direct-io.c [1217] ▼ |
False positive |
72 |
Double Unlock |
fs/inotify_user.c [494] ▼ |
Real error |
73 |
Double Unlock |
kernel/futex.c [970] ▼ |
False positive |
74 |
Double Unlock |
kernel/futex.c [874] ▼ |
False positive |
75 |
Double Unlock |
kernel/futex.c [918] ▼ |
False positive |
76 |
Double Unlock |
kernel/futex.c [804] ▼ |
False positive |
77 |
Double Unlock |
drivers/block/nbd.c [134] ▼ |
False positive |
78 |
Double Unlock |
fs/ext4/mballoc.c [4191] ▼ |
Real error |
79 |
Double Unlock |
drivers/char/ipmi/ipmi_msghandler.c [3659] ▼ |
False positive |
80 |
Double Unlock |
drivers/char/epca.c [2313] ▼ |
Real error |
81 |
Double Unlock |
drivers/char/specialix.c [866] ▼ |
Real error |
82 |
Double Unlock |
fs/jffs2/readinode.c [1391] ▼ |
False positive |
83 |
Double Unlock |
fs/jffs2/gc.c [256] ▼ |
False positive |
84 |
Double Unlock |
fs/jffs2/gc.c [286] ▼ |
False positive |
85 |
Double Unlock |
fs/jffs2/gc.c [275] ▼ |
False positive |
86 |
Double Unlock |
fs/jffs2/gc.c [354] ▼ |
False positive |
87 |
Double Unlock |
fs/jffs2/gc.c [343] ▼ |
False positive |
88 |
Double Unlock |
fs/jffs2/gc.c [425] ▼ |
False positive |
89 |
Double Unlock |
fs/jffs2/gc.c [302] ▼ |
False positive |
90 |
Double Unlock |
fs/jffs2/gc.c [257] ▼ |
False positive |
91 |
Double Unlock |
fs/jffs2/gc.c [267] ▼ |
False positive |
92 |
Double Unlock |
fs/jffs2/wbuf.c [747] ▼ |
Unclassified |
93 |
Double Unlock |
fs/nfs/write.c [258] ▼ |
False positive |
94 |
Double Unlock |
fs/nfs/write.c [255] ▼ |
False positive |
95 |
Double Unlock |
fs/ntfs/aops.c [1291] ▼ |
False positive |
96 |
Double Unlock |
fs/ocfs2/alloc.c [6936] ▼ |
False positive |
97 |
Double Unlock |
fs/ocfs2/dlm/dlmmaster.c [3388] ▼ |
False positive |
98 |
Double Unlock |
drivers/infiniband/core/cma.c [2839] ▼ |
Real error |
99 |
Double Unlock |
drivers/isdn/hardware/mISDN/hfcmulti.c [5039] ▼ |
Real error |
100 |
Double Unlock |
fs/xfs/linux-2.6/xfs_lrw.c [845] ▼ |
False positive |
101 |
Double Unlock |
fs/xfs/linux-2.6/xfs_lrw.c [737] ▼ |
False positive |
102 |
Double Unlock |
fs/xfs/linux-2.6/xfs_lrw.c [815] ▼ |
False positive |
103 |
Double Unlock |
drivers/media/video/cpia.c [2400] ▼ |
False positive |
104 |
Double Unlock |
drivers/media/video/cpia.c [1728] ▼ |
False positive |
105 |
Double Unlock |
drivers/media/video/cpia.c [1676] ▼ |
False positive |
106 |
Double Unlock |
drivers/media/video/cpia.c [1711] ▼ |
False positive |
107 |
Double Unlock |
drivers/media/video/cpia.c [1717] ▼ |
False positive |
108 |
Double Unlock |
drivers/net/e1000/e1000_hw.c [4914] ▼ |
Real error |
109 |
Double Unlock |
drivers/pci/intel-iommu.c [1422] ▼ |
Real error |
110 |
Double Unlock |
net/tipc/link.c [604] ▼ |
False positive |
111 |
Double Unlock |
drivers/scsi/aacraid/commsup.c [1377] ▼ |
False positive |
112 |
Double Unlock |
drivers/scsi/aacraid/commsup.c [1472] ▼ |
False positive |
113 |
Double Unlock |
drivers/scsi/megaraid/megaraid_mbox.c [2660] ▼ |
Real error |
114 |
Double Unlock |
drivers/thermal/thermal_sys.c [71] ▼ |
False positive |
115 |
Double Unlock |
drivers/usb/host/ohci-hcd.c [825] ▼ |
Real error |
116 |
Double Unlock |
drivers/scsi/ips.c [2733] ▼ |
False positive |
117 |
Double Unlock |
drivers/scsi/ips.c [2656] ▼ |
False positive |
118 |
Double Unlock |
drivers/scsi/ips.c [2829] ▼ |
False positive |
119 |
Double Unlock |
drivers/uwb/uwbd.c [326] ▼ |
False positive |
120 |
Double Unlock |
drivers/net/ns83820.c [606] ▼ |
False positive |
121 |
Double Unlock |
drivers/net/ns83820.c [599] ▼ |
False positive |
122 |
Double Unlock |
arch/x86/mm/fault.c [777] ▼ |
False positive |
123 |
Double Unlock |
drivers/char/specialix.c [1815] ▼ |
Real error |
124 |
Double Unlock |
drivers/char/specialix.c [1840] ▼ |
Real error |
125 |
Double Unlock |
drivers/char/specialix.c [2029] ▼ |
Real error |
126 |
Double Unlock |
drivers/char/specialix.c [2040] ▼ |
Real error |
127 |
Double Unlock |
drivers/char/specialix.c [2067] ▼ |
Real error |
128 |
Double Unlock |
drivers/char/specialix.c [2096] ▼ |
Real error |
129 |
Double Unlock |
drivers/input/joystick/analog.c [257] ▼ |
False positive |
130 |
Double Unlock |
drivers/net/hamradio/baycom_par.c [292] ▼ |
False positive |
131 |
Double Unlock |
drivers/net/hamradio/baycom_ser_hdx.c [422] ▼ |
False positive |
132 |
Double Unlock |
drivers/scsi/aacraid/commsup.c [1490] ▼ |
False positive |
133 |
Double Unlock |
drivers/scsi/aacraid/commsup.c [520] ▼ |
Real error |
134 |
Double Unlock |
drivers/spi/spi.c [696] ▼ |
False positive |
135 |
Double Unlock |
fs/xfs/xfs_vfsops.c [570] ▼ |
False positive |
136 |
Double Unlock |
fs/xfs/xfs_vfsops.c [590] ▼ |
False positive |
137 |
Double Unlock |
kernel/sched.c [2831] ▼ |
False positive |
138 |
Double Unlock |
mm/memory.c [1961] ▼ |
False positive |