Listing errors from Smatch 1.59

Number of listed errors: 193
# Error Type (Subtype) File [Line] Marking
1 Double Lock fs/jbd/checkpoint.c [416] False positive
2 Double Lock fs/jbd/commit.c [238] False positive
3 Double Lock fs/jbd2/checkpoint.c [426] False positive
4 Double Lock fs/mbcache.c [585] False positive
5 Double Lock fs/jbd/commit.c [463] False positive
6 Double Lock fs/dcache.c [442] False positive
7 Double Lock fs/jfs/jfs_txnmgr.c [383] False positive
8 Double Lock fs/jfs/jfs_txnmgr.c [395] False positive
9 Double Lock fs/jfs/jfs_txnmgr.c [406] False positive
10 Double Lock fs/jfs/jfs_txnmgr.c [416] False positive
11 Double Lock fs/jfs/jfs_txnmgr.c [477] False positive
12 Double Lock fs/jfs/jfs_txnmgr.c [486] False positive
13 Double Lock block/blk-core.c [1241] False positive
14 Leaving function in locked state net/ipx/ipx_proc.c [240] False positive
15 Double Lock drivers/usb/serial/digi_acceleport.c [1371] False positive
16 Double Lock drivers/usb/serial/digi_acceleport.c [645] False positive
17 Double Lock drivers/usb/serial/digi_acceleport.c [790] False positive
18 Double Lock drivers/usb/serial/digi_acceleport.c [863] False positive
19 Double Lock fs/inotify.c [646] False positive
20 Double Lock fs/inotify.c [875] False positive
21 Double Lock fs/xfs/xfs_log.c [2566] False positive
22 Double Lock fs/xfs/xfs_log.c [2588] False positive
23 Double Lock fs/xfs/xfs_log.c [2595] False positive
24 Double Lock fs/xfs/xfs_log.c [2701] False positive
25 Double Lock fs/xfs/xfs_log.c [2708] False positive
26 Double Lock fs/xfs/xfs_log.c [2728] False positive
27 Double Lock fs/xfs/xfs_log.c [2735] False positive
28 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/infiniband/hw/nes/nes_verbs.c [2511] False positive
29 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/media/common/tuners/mxl5007t.c [984] False positive
30 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/media/common/tuners/tda18271-fe.c [1160] False positive
31 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/media/common/tuners/tda9887.c [691] False positive
32 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/media/common/tuners/tuner-simple.c [1048] False positive
33 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/media/common/tuners/tuner-xc2028.c [1206] False positive
34 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/media/common/tuners/xc5000.c [976] False positive
35 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/pci/hotplug/pci_hotplug_core.c [584] False positive
36 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/serial/8250_pci.c [676] False positive
37 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/linux-2.6/xfs_super.c [962] False positive
38 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/quota/xfs_qm.c [1582] False positive
39 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_bmap.c [5928] False positive
40 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_da_btree.c [1624] False positive
41 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_da_btree.c [2267] False positive
42 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_da_btree.c [2431] False positive
43 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_da_btree.c [2457] False positive
44 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_dir2.c [585] False positive
45 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_dir2_leaf.c [838] False positive
46 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_dir2_sf.c [209] False positive
47 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_inode.c [2128] False positive
48 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_inode.c [4352] False positive
49 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_itable.c [874] False positive
50 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_log_recover.c [1623] False positive
51 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_log_recover.c [2276] False positive
52 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_rtalloc.c [1945] False positive
53 Invalid Pointer Dereference (NULL Pointer Dereference) net/sunrpc/svcsock.c [1210] False positive
54 Double Lock drivers/ide/ide-io.c [1262] False positive
55 Double Lock drivers/md/dm-region-hash.c [606] False positive
56 Double Lock drivers/net/ns83820.c [774] False positive
57 Double Lock drivers/usb/serial/digi_acceleport.c [710] False positive
58 Double Lock init/main.c [601] False positive
59 Double Unlock arch/x86/mm/fault.c [777] False positive
60 Double Unlock drivers/input/joystick/analog.c [257] False positive
61 Double Unlock drivers/net/hamradio/baycom_par.c [292] False positive
62 Double Unlock drivers/net/hamradio/baycom_ser_hdx.c [422] False positive
63 Double Unlock drivers/scsi/aacraid/commsup.c [1490] False positive
64 Double Unlock drivers/spi/spi.c [696] False positive
65 Double Unlock fs/xfs/xfs_vfsops.c [570] False positive
66 Double Unlock fs/xfs/xfs_vfsops.c [590] False positive
67 Double Unlock kernel/sched.c [2831] False positive
68 Double Unlock mm/memory.c [1961] False positive
69 Leaving function in locked state fs/jbd/checkpoint.c [247] False positive
70 Leaving function in locked state fs/jbd2/checkpoint.c [249] False positive
71 Leaving function in locked state fs/jffs2/nodemgmt.c [726] False positive
72 Leaving function in locked state mm/filemap_xip.c [210] False positive
73 Leaving function in locked state net/ipv4/tcp_ipv4.c [1944] False positive
74 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm75.c [101] False positive
75 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [177] False positive
76 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [178] False positive
77 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [179] False positive
78 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [207] False positive
79 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [208] False positive
80 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [215] False positive
81 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [278] False positive
82 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [287] False positive
83 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [288] False positive
84 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [289] False positive
85 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [290] False positive
86 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [315] False positive
87 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/hwmon/lm80.c [323] False positive
88 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/misc/sgi-gru/grufault.c [632] False positive
89 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/misc/sgi-gru/grumain.c [387] False positive
90 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/net/tun.c [473] False positive
91 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/net/tun.c [478] False positive
92 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/net/tun.c [493] False positive
93 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/net/tun.c [497] False positive
94 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/scsi/sg.c [240] False positive
95 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/scsi/sg.c [2471] False positive
96 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/scsi/sg.c [2496] False positive
97 Invalid Pointer Dereference (ERR_PTR() Dereference) drivers/scsi/sg.c [2580] False positive
98 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/dcache.c [1271] False positive
99 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/dcache.c [2240] False positive
100 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/ext4/namei.c [1190] False positive
101 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/ext4/namei.c [1385] False positive
102 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/ext4/namei.c [1478] False positive
103 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/ext4/namei.c [1541] False positive
104 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/inotify_user.c [625] False positive
105 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/locks.c [1248] False positive
106 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/namespace.c [1200] False positive
107 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/namespace.c [1223] False positive
108 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/namespace.c [1996] False positive
109 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/nfs/inode.c [642] False positive
110 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/pipe.c [979] False positive
111 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/pnode.c [255] False positive
112 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/pnode.c [261] False positive
113 Invalid Pointer Dereference (ERR_PTR() Dereference) fs/xfs/xfs_log.c [603] False positive
114 Invalid Pointer Dereference (ERR_PTR() Dereference) kernel/trace/trace.c [2001] False positive
115 Invalid Pointer Dereference (ERR_PTR() Dereference) net/bluetooth/l2cap.c [827] False positive
116 Invalid Pointer Dereference (ERR_PTR() Dereference) net/bluetooth/sco.c [220] False positive
117 Invalid Pointer Dereference (ERR_PTR() Dereference) net/ipv6/ip6_fib.c [701] False positive
118 Invalid Pointer Dereference (ERR_PTR() Dereference) net/sctp/socket.c [1772] False positive
119 Invalid Pointer Dereference (ERR_PTR() Dereference) net/sunrpc/auth_gss/auth_gss.c [362] False positive
120 Invalid Pointer Dereference (ERR_PTR() Dereference) net/sunrpc/clnt.c [530] False positive
121 Invalid Pointer Dereference (ERR_PTR() Dereference) net/sunrpc/svcsock.c [1195] False positive
122 Invalid Pointer Dereference (ERR_PTR() Dereference) net/sunrpc/svcsock.c [1265] False positive
123 Invalid Pointer Dereference (ERR_PTR() Dereference) net/sunrpc/svcsock.c [769] False positive
124 Invalid Pointer Dereference (ERR_PTR() Dereference) net/xfrm/xfrm_policy.c [1420] False positive
125 Invalid Pointer Dereference (NULL Pointer Dereference) arch/x86/kernel/dumpstack_64.c [187] False positive
126 Invalid Pointer Dereference (NULL Pointer Dereference) arch/x86/kernel/smpboot.c [865] False positive
127 Invalid Pointer Dereference (NULL Pointer Dereference) arch/x86/kvm/lapic.c [491] False positive
128 Invalid Pointer Dereference (NULL Pointer Dereference) block/genhd.c [934] False positive
129 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/ata/libata-core.c [5790] False positive
130 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/ata/sata_mv.c [2059] False positive
131 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/atm/eni.c [485] False positive
132 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/char/ppdev.c [709] False positive
133 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/char/rio/rioroute.c [930] False positive
134 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/char/tty_io.c [1661] False positive
135 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/ide/ide-iops.c [791] False positive
136 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/infiniband/hw/mthca/mthca_cmd.c [335] False positive
137 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/infiniband/hw/mthca/mthca_cmd.c [413] False positive
138 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/isdn/hardware/eicon/debug.c [704] False positive
139 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/media/video/pvrusb2/pvrusb2-hdw.c [3354] False positive
140 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/media/video/pvrusb2/pvrusb2-hdw.c [3509] False positive
141 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/media/video/s2255drv.c [862] False positive
142 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/message/fusion/mptbase.c [2350] False positive
143 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/mtd/devices/m25p80.c [349] False positive
144 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/mtd/devices/m25p80.c [418] False positive
145 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/net/bnx2x_main.c [9644] False positive
146 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/net/mlx4/cmd.c [233] False positive
147 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/net/mlx4/cmd.c [295] False positive
148 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/net/wireless/rt2x00/rt2x00firmware.c [101] False positive
149 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/net/wireless/wavelan_cs.c [776] False positive
150 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/pcmcia/pcmcia_ioctl.c [572] False positive
151 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/scsi/aic7xxx/aic7xxx_core.c [2594] False positive
152 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/scsi/lpfc/lpfc_els.c [2461] False positive
153 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/scsi/sg.c [413] False positive
154 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/scsi/3w-9xxx.c [2029] False positive
155 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/usb/core/driver.c [1181] False positive
156 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/uwb/wlp/sysfs.c [418] False positive
157 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/uwb/wlp/sysfs.c [439] False positive
158 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/uwb/wlp/sysfs.c [458] False positive
159 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/uwb/wlp/sysfs.c [483] False positive
160 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/uwb/wlp/sysfs.c [501] False positive
161 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/uwb/wlp/sysfs.c [522] False positive
162 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/uwb/wlp/sysfs.c [541] False positive
163 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/uwb/wlp/sysfs.c [562] False positive
164 Invalid Pointer Dereference (NULL Pointer Dereference) drivers/video/sis/sis_main.c [4481] False positive
165 Invalid Pointer Dereference (NULL Pointer Dereference) fs/ecryptfs/keystore.c [1275] False positive
166 Invalid Pointer Dereference (NULL Pointer Dereference) fs/ext3/inode.c [865] False positive
167 Invalid Pointer Dereference (NULL Pointer Dereference) fs/hpfs/dnode.c [44] False positive
168 Invalid Pointer Dereference (NULL Pointer Dereference) fs/jbd2/transaction.c [2067] False positive
169 Invalid Pointer Dereference (NULL Pointer Dereference) fs/jffs2/nodelist.c [240] False positive
170 Invalid Pointer Dereference (NULL Pointer Dereference) fs/ocfs2/cluster/tcp.c [489] False positive
171 Invalid Pointer Dereference (NULL Pointer Dereference) fs/proc/root.c [76] False positive
172 Invalid Pointer Dereference (NULL Pointer Dereference) fs/reiserfs/super.c [999] False positive
173 Invalid Pointer Dereference (NULL Pointer Dereference) fs/reiserfs/xattr.c [1200] False positive
174 Invalid Pointer Dereference (NULL Pointer Dereference) fs/xfs/xfs_log.c [3433] False positive
175 Invalid Pointer Dereference (NULL Pointer Dereference) mm/shmem.c [960] False positive
176 Invalid Pointer Dereference (NULL Pointer Dereference) net/ipv4/igmp.c [2118] False positive
177 Invalid Pointer Dereference (NULL Pointer Dereference) net/ipv4/igmp.c [2170] False positive
178 Invalid Pointer Dereference (NULL Pointer Dereference) net/ipv4/ip_input.c [349] False positive
179 Invalid Pointer Dereference (NULL Pointer Dereference) net/ipv6/addrconf.c [817] False positive
180 Invalid Pointer Dereference (NULL Pointer Dereference) net/ipv6/ip6_output.c [272] False positive
181 Invalid Pointer Dereference (NULL Pointer Dereference) net/ipv6/mcast.c [646] False positive
182 Invalid Pointer Dereference (NULL Pointer Dereference) net/irda/af_irda.c [1049] False positive
183 Invalid Pointer Dereference (NULL Pointer Dereference) net/key/af_key.c [980] False positive
184 Invalid Pointer Dereference (NULL Pointer Dereference) net/mac80211/key.c [240] False positive
185 Invalid Pointer Dereference (NULL Pointer Dereference) net/sctp/socket.c [1613] False positive
186 Invalid Pointer Dereference (NULL Pointer Dereference) net/sched/cls_route.c [483] False positive
187 Invalid Pointer Dereference (NULL Pointer Dereference) net/sunrpc/auth_unix.c [130] False positive
188 Invalid Pointer Dereference (NULL Pointer Dereference) net/sunrpc/auth_unix.c [82] False positive
189 Invalid Pointer Dereference (NULL Pointer Dereference) net/sunrpc/xprtrdma/rpc_rdma.c [226] False positive
190 Invalid Pointer Dereference (NULL Pointer Dereference) net/802/garp.c [291] False positive
191 Invalid Pointer Dereference (NULL Pointer Dereference) sound/pci/ac97/ac97_codec.c [2264] False positive
192 Invalid Pointer Dereference (NULL Pointer Dereference) sound/pci/hda/patch_realtek.c [2752] False positive
193 Invalid Pointer Dereference (NULL Pointer Dereference) sound/usb/usbmidi.c [1766] False positive