# | Error Type (Subtype) | File [Line] | Marking |
---|---|---|---|

1 | Double Lock | kernel/signal.c [1741] ▼ | False positive |

2 | Double Lock | kernel/sched.c [4463] ▼ | False positive |

3 | Double Lock | fs/namespace.c [279] ▼ | False positive |

4 | Double Lock | fs/dcache.c [223] ▼ | False positive |

5 | Double Lock | fs/dcache.c [442] ▼ | False positive |

6 | Double Lock | fs/ext4/mballoc.c [4189] ▼ | Real error |

7 | Double Lock | mm/mmap.c [553] ▼ | False positive |

8 | Double Lock | sound/core/pcm_native.c [708] ▼ | False positive |

9 | Double Lock | kernel/futex.c [908] ▼ | False positive |

10 | Double Lock | fs/jfs/jfs_txnmgr.c [204] ▼ | False positive |

11 | Double Lock | mm/memory.c [567] ▼ | False positive |

12 | Double Lock | fs/jfs/jfs_txnmgr.c [383] ▼ | False positive |

13 | Double Lock | fs/jfs/jfs_txnmgr.c [395] ▼ | False positive |

14 | Double Lock | fs/jfs/jfs_txnmgr.c [406] ▼ | False positive |

15 | Double Lock | fs/jfs/jfs_txnmgr.c [416] ▼ | False positive |

16 | Double Lock | mm/mmap.c [2405] ▼ | False positive |

17 | Double Lock | mm/mmap.c [2398] ▼ | False positive |

18 | Double Lock | net/mac80211/scan.c [44] ▼ | False positive |

19 | Double Lock | fs/super.c [343] ▼ | False positive |

20 | Double Lock | fs/jfs/jfs_txnmgr.c [477] ▼ | False positive |

21 | Double Lock | fs/jfs/jfs_txnmgr.c [486] ▼ | False positive |

22 | Double Lock | ipc/namespace.c [80] ▼ | False positive |

23 | Double Lock | block/blk-core.c [1241] ▼ | False positive |

24 | Double Lock | kernel/sched.c [9342] ▼ | False positive |

25 | Double Lock | net/core/dev.c [2403] ▼ | False positive |

26 | Double Lock | kernel/sched.c [9319] ▼ | False positive |

27 | Leaving function in locked state | drivers/isdn/hisax/icc.c [566] ▼ | Real error |

28 | Leaving function in locked state | drivers/net/qlge/qlge_main.c [3541] ▼ | Real error |

29 | Leaving function in locked state | drivers/isdn/hisax/amd7930_fn.c [667] ▼ | Real error |

30 | Leaving function in locked state | mm/mremap.c [127] ▼ | False positive |

31 | Leaving function in locked state | fs/mbcache.c [541] ▼ | False positive |

32 | Leaving function in locked state | drivers/mtd/chips/cfi_cmdset_0001.c [924] ▼ | False positive |

33 | Leaving function in locked state | net/ipv4/inet_connection_sock.c [179] ▼ | False positive |

34 | Leaving function in locked state | lib/dec_and_lock.c [30] ▼ | False positive |

35 | Leaving function in locked state | fs/xfs/xfs_mru_cache.c [563] ▼ | False positive |

36 | Leaving function in locked state | fs/xfs/xfs_mru_cache.c [592] ▼ | False positive |

37 | Leaving function in locked state | kernel/sched.c [4509] ▼ | False positive |

38 | Leaving function in locked state | fs/dcache.c [259] ▼ | False positive |

39 | Leaving function in locked state | fs/dcache.c [444] ▼ | False positive |

40 | Leaving function in locked state | kernel/semaphore.c [233] ▼ | False positive |

41 | Leaving function in locked state | arch/x86/mm/pageattr.c [471] ▼ | False positive |

42 | Leaving function in locked state | arch/x86/mm/pageattr.c [534] ▼ | False positive |

43 | Leaving function in locked state | net/xfrm/xfrm_state.c [1960] ▼ | False positive |

44 | Leaving function in locked state | fs/dcache.c [1534] ▼ | False positive |

45 | Leaving function in locked state | fs/fs-writeback.c [411] ▼ | False positive |

46 | Leaving function in locked state | fs/ext4/mballoc.c [4218] ▼ | Real error |

47 | Leaving function in locked state | net/xfrm/xfrm_policy.c [2362] ▼ | False positive |

48 | Leaving function in locked state | fs/mbcache.c [586] ▼ | False positive |

49 | Leaving function in locked state | fs/jbd/checkpoint.c [173] ▼ | False positive |

50 | Leaving function in locked state | block/blk-core.c [872] ▼ | False positive |

51 | Leaving function in locked state | mm/mmap.c [660] ▼ | False positive |

52 | Leaving function in locked state | fs/xfs/xfs_filestream.c [316] ▼ | False positive |

53 | Leaving function in locked state | fs/xfs/xfs_filestream.c [325] ▼ | False positive |

54 | Leaving function in locked state | fs/xfs/xfs_filestream.c [347] ▼ | False positive |

55 | Leaving function in locked state | include/linux/netdevice.h [1570] ▼ | False positive |

56 | Leaving function in locked state | fs/xfs/xfs_filestream.c [683] ▼ | False positive |

57 | Leaving function in locked state | fs/xfs/xfs_filestream.c [498] ▼ | False positive |

58 | Leaving function in locked state | fs/inotify.c [444] ▼ | False positive |

59 | Leaving function in locked state | fs/jfs/jfs_logmgr.c [2101] ▼ | False positive |

60 | Leaving function in locked state | sound/core/pcm_native.c [784] ▼ | False positive |

61 | Leaving function in locked state | kernel/futex.c [978] ▼ | False positive |

62 | Leaving function in locked state | kernel/futex.c [878] ▼ | False positive |

63 | Leaving function in locked state | kernel/signal.c [1589] ▼ | False positive |

64 | Leaving function in locked state | drivers/scsi/qla2xxx/qla_iocb.c [540] ▼ | False positive |

65 | Leaving function in locked state | fs/jbd2/checkpoint.c [175] ▼ | False positive |

66 | Leaving function in locked state | fs/jfs/jfs_txnmgr.c [861] ▼ | False positive |

67 | Leaving function in locked state | mm/memory.c [569] ▼ | False positive |

68 | Leaving function in locked state | mm/memory.c [602] ▼ | False positive |

69 | Leaving function in locked state | net/netlink/af_netlink.c [194] ▼ | False positive |

70 | Leaving function in locked state | drivers/block/cciss.c [2981] ▼ | Real error |

71 | Leaving function in locked state | drivers/net/wireless/ath9k/xmit.c [1846] ▼ | False positive |

72 | Leaving function in locked state | kernel/audit_tree.c [319] ▼ | False positive |

73 | Leaving function in locked state | fs/ocfs2/dlm/dlmthread.c [80] ▼ | False positive |

74 | Leaving function in locked state | drivers/scsi/dpt_i2o.c [1362] ▼ | False positive |

75 | Leaving function in locked state | net/sctp/socket.c [5689] ▼ | False positive |

76 | Leaving function in locked state | drivers/ide/ide.c [148] ▼ | False positive |

77 | Leaving function in locked state | drivers/infiniband/hw/cxgb3/iwch_qp.c [836] ▼ | False positive |

78 | Leaving function in locked state | drivers/char/ip2/i2lib.c [770] ▼ | False positive |

79 | Leaving function in locked state | fs/ocfs2/dlm/dlmmaster.c [2720] ▼ | False positive |

80 | Leaving function in locked state | drivers/mtd/chips/cfi_cmdset_0001.c [947] ▼ | False positive |

81 | Leaving function in locked state | drivers/mtd/chips/cfi_cmdset_0002.c [579] ▼ | False positive |

82 | Leaving function in locked state | drivers/mtd/chips/cfi_cmdset_0002.c [618] ▼ | False positive |

83 | Leaving function in locked state | drivers/mtd/chips/cfi_cmdset_0002.c [628] ▼ | False positive |

84 | Leaving function in locked state | drivers/pci/access.c [91] ▼ | False positive |

85 | Leaving function in locked state | drivers/mtd/chips/cfi_cmdset_0001.c [1249] ▼ | False positive |

86 | Leaving function in locked state | drivers/mtd/chips/cfi_cmdset_0001.c [1208] ▼ | False positive |

87 | Leaving function in locked state | net/atm/lec.c [1087] ▼ | False positive |

88 | Leaving function in locked state | drivers/isdn/i4l/isdn_net.h [96] ▼ | False positive |

89 | Leaving function in locked state | drivers/mtd/chips/cfi_cmdset_0001.c [886] ▼ | False positive |

90 | Leaving function in locked state | fs/fuse/dev.c [977] ▼ | False positive |

91 | Leaving function in locked state | fs/ocfs2/dlm/dlmthread.c [217] ▼ | False positive |

92 | Leaving function in locked state | net/ipv4/igmp.c [2304] ▼ | False positive |

93 | Leaving function in locked state | net/ipv4/igmp.c [2459] ▼ | False positive |

94 | Leaving function in locked state | net/dccp/ccid.c [33] ▼ | False positive |

95 | Leaving function in locked state | drivers/scsi/aacraid/commsup.c [1272] ▼ | False positive |

96 | Leaving function in locked state | drivers/net/wireless/orinoco.h [204] ▼ | False positive |

97 | Leaving function in locked state | fs/fuse/dev.c [1013] ▼ | False positive |

98 | Leaving function in locked state | net/ipv4/igmp.c [2327] ▼ | False positive |

99 | Leaving function in locked state | net/ipv4/igmp.c [2492] ▼ | False positive |

100 | Leaving function in locked state | fs/ocfs2/dlm/dlmdomain.c [1748] ▼ | Real error |

101 | Leaving function in locked state | net/irda/irlmp.c [1873] ▼ | False positive |

102 | Leaving function in locked state | drivers/net/pcnet32.c [1143] ▼ | False positive |

103 | Leaving function in locked state | drivers/net/pcnet32.c [1140] ▼ | False positive |

104 | Leaving function in locked state | fs/fuse/dev.c [682] ▼ | False positive |

105 | Leaving function in locked state | kernel/rtmutex.c [581] ▼ | False positive |

106 | Leaving function in locked state | drivers/atm/he.c [1857] ▼ | False positive |

107 | Leaving function in locked state | drivers/scsi/scsi_lib.c [1533] ▼ | False positive |

108 | Leaving function in locked state | kernel/cgroup.c [2517] ▼ | False positive |

109 | Leaving function in locked state | drivers/block/nbd.c [558] ▼ | False positive |

110 | Leaving function in locked state | drivers/ata/libata-scsi.c [3049] ▼ | False positive |

111 | Leaving function in locked state | net/bluetooth/rfcomm/sock.c [122] ▼ | False positive |

112 | Leaving function in locked state | drivers/block/cciss.c [2913] ▼ | False positive |

113 | Leaving function in locked state | fs/cifs/file.c [333] ▼ | False positive |

114 | Leaving function in locked state | drivers/scsi/libiscsi.c [1318] ▼ | False positive |

115 | Leaving function in locked state | drivers/scsi/libiscsi.c [1324] ▼ | False positive |

116 | Leaving function in locked state | drivers/scsi/libiscsi.c [1337] ▼ | False positive |

117 | Leaving function in locked state | ipc/sem.c [270] ▼ | False positive |

118 | Leaving function in locked state | drivers/scsi/scsi_lib.c [1727] ▼ | False positive |

119 | Leaving function in locked state | ipc/shm.c [414] ▼ | False positive |

120 | Leaving function in locked state | drivers/char/generic_serial.c [593] ▼ | Real error |

121 | Leaving function in locked state | ipc/msg.c [208] ▼ | False positive |