Errors found by Stanse

See Stanse homepage for more info.

387 errors (false positives including) found in v2.6.28 kernel:

The number before pipe is importance (the lower the better).
AutomatonChecker of /usr/share/stanse/checkers/AutomatonChecker/kernel_atomic.xml
  0| non-atomic operation in atomic drivers/atm/.tmp_iphase.o.preproc line 2859
  0| non-atomic operation in atomic drivers/block/.tmp_floppy.o.preproc line 5083
  0| non-atomic operation in atomic drivers/bluetooth/.tmp_bluecard_cs.o.preproc line 387
  0| non-atomic operation in atomic drivers/char/.tmp_isicom.o.preproc line 1190
  0| non-atomic operation in atomic drivers/char/.tmp_riscom8.o.preproc line 897
  0| non-atomic operation in atomic drivers/infiniband/hw/amso1100/.tmp_c2_qp.o.preproc line 558
  0| non-atomic operation in atomic drivers/infiniband/hw/mthca/.tmp_mthca_qp.o.preproc line 1387
  0| non-atomic operation in atomic drivers/mtd/chips/.tmp_cfi_cmdset_0001.o.preproc line 1190
  0| non-atomic operation in atomic drivers/mtd/chips/.tmp_cfi_cmdset_0001.o.preproc line 1191
  0| non-atomic operation in atomic drivers/mtd/chips/.tmp_cfi_cmdset_0001.o.preproc line 1348
  0| non-atomic operation in atomic drivers/mtd/chips/.tmp_cfi_cmdset_0001.o.preproc line 2210
  0| non-atomic operation in atomic drivers/net/.tmp_hp100.o.preproc line 1023
  0| non-atomic operation in atomic drivers/net/.tmp_qla3xxx.o.preproc line 1742
  0| non-atomic operation in atomic drivers/net/.tmp_qla3xxx.o.preproc line 3505
  0| non-atomic operation in atomic drivers/net/.tmp_qla3xxx.o.preproc line 3734
  0| non-atomic operation in atomic drivers/net/qlge/.tmp_qlge_main.o.preproc line 3117
  0| non-atomic operation in atomic drivers/net/qlge/.tmp_qlge_main.o.preproc line 3283
  0| non-atomic operation in atomic drivers/pcmcia/.tmp_ds.o.preproc line 890
  0| non-atomic operation in atomic drivers/scsi/.tmp_gdth.o.preproc line 4529
  0| non-atomic operation in atomic drivers/scsi/.tmp_gdth.o.preproc line 4529
  0| non-atomic operation in atomic drivers/scsi/aacraid/.tmp_commsup.o.preproc line 1022
  0| non-atomic operation in atomic drivers/usb/gadget/.tmp_printer.o.preproc line 424
  0| non-atomic operation in atomic drivers/usb/gadget/.tmp_printer.o.preproc line 536
  0| non-atomic operation in atomic drivers/usb/gadget/.tmp_printer.o.preproc line 578
  0| non-atomic operation in atomic drivers/usb/host/.tmp_ohci-hcd.o.preproc line 3541
  0| non-atomic operation in atomic fs/jffs2/.tmp_fs.o.preproc line 565
  0| non-atomic operation in atomic kernel/.tmp_sched.o.preproc line 5150
  0| non-atomic operation in atomic kernel/.tmp_signal.o.preproc line 1221
  0| non-atomic operation in atomic mm/.tmp_hugetlb.o.preproc line 1904
  0| non-atomic operation in atomic mm/.tmp_migrate.o.preproc line 422
  0| non-atomic operation in atomic net/mac80211/.tmp_mesh_hwmp.o.preproc line 720
  0| non-atomic operation in atomic sound/core/.tmp_pcm_native.o.preproc line 1306
  0| non-atomic operation in atomic sound/oss/.tmp_sscape.o.preproc line 362
  0| non-atomic operation in atomic sound/pci/pcxhr/.tmp_pcxhr_core.o.preproc line 574
  0| non-atomic operation in atomic sound/pci/pcxhr/.tmp_pcxhr_core.o.preproc line 767
AutomatonChecker of /usr/share/stanse/checkers/AutomatonChecker/kernel_locking_irq.xml
  0| double lock drivers/char/.tmp_epca.o.preproc line 2059
  0| double lock drivers/char/.tmp_riscom8.o.preproc line 897
  0| double lock drivers/hid/.tmp_hidraw.o.preproc line 39
  0| double lock drivers/infiniband/core/.tmp_cma.o.preproc line 2783
  0| double lock drivers/infiniband/hw/ipath/.tmp_ipath_driver.o.preproc line 327
  0| double lock drivers/isdn/hardware/mISDN/.tmp_hfcmulti.o.preproc line 4631
  0| double lock drivers/net/.tmp_ns83820.o.preproc line 155
  0| double lock drivers/net/e1000/.tmp_e1000_hw.o.preproc line 4647
  0| double lock drivers/pci/.tmp_intel-iommu.o.preproc line 1462
  0| double lock drivers/regulator/.tmp_core.o.preproc line 1056
  0| double lock drivers/scsi/megaraid/.tmp_megaraid_mbox.o.preproc line 2216
  0| double lock drivers/usb/host/.tmp_ohci-hcd.o.preproc line 3541
  0| double lock drivers/uwb/.tmp_uwbd.o.preproc line 186
  0| double lock fs/.tmp_mbcache.o.preproc line 432
  0| double lock fs/jbd/.tmp_checkpoint.o.preproc line 101
  0| double lock fs/jbd/.tmp_commit.o.preproc line 342
  0| double lock fs/jbd/.tmp_commit.o.preproc line 357
  0| double lock fs/jbd2/.tmp_checkpoint.o.preproc line 101
  0| double lock fs/xfs/.tmp_xfs_log.o.preproc line 2871
  0| double lock kernel/.tmp_signal.o.preproc line 1553
  0| double lock net/xfrm/.tmp_xfrm_state.o.preproc line 1547
  0| double lock sound/core/.tmp_timer.o.preproc line 1479
  0| double lock sound/core/oss/.tmp_pcm_oss.o.preproc line 2670
  0| double lock sound/oss/.tmp_mpu401.o.preproc line 991
  0| double lock sound/oss/.tmp_sequencer.o.preproc line 1465
  0| double lock sound/oss/.tmp_sscape.o.preproc line 283
  0| double lock sound/oss/.tmp_sscape.o.preproc line 355
  0| double unlock block/.tmp_blk-core.o.preproc line 995
  0| double unlock drivers/block/.tmp_nbd.o.preproc line 513
  0| double unlock drivers/char/.tmp_generic_serial.o.preproc line 490
  0| double unlock drivers/char/.tmp_riscom8.o.preproc line 950
  0| double unlock drivers/char/ipmi/.tmp_ipmi_si_intf.o.preproc line 759
  0| double unlock drivers/infiniband/core/.tmp_cma.o.preproc line 1048
  0| double unlock drivers/infiniband/hw/ipath/.tmp_ipath_driver.o.preproc line 327
  0| double unlock drivers/mtd/chips/.tmp_cfi_cmdset_0002.o.preproc line 1288
  0| double unlock drivers/net/e1000/.tmp_e1000_hw.o.preproc line 4665
  0| double unlock drivers/net/e1000e/.tmp_ich8lan.o.preproc line 1432
  0| double unlock drivers/net/wireless/iwlwifi/.tmp_iwl-sta.o.preproc line 728
  0| double unlock drivers/regulator/.tmp_core.o.preproc line 1059
  0| double unlock drivers/scsi/.tmp_gdth.o.preproc line 4268
  0| double unlock drivers/scsi/.tmp_gdth.o.preproc line 4711
  0| double unlock drivers/thermal/.tmp_thermal_sys.o.preproc line 485
  0| double unlock drivers/usb/class/.tmp_usblp.o.preproc line 627
  0| double unlock fs/.tmp_dcache.o.preproc line 271
  0| double unlock fs/.tmp_dcache.o.preproc line 915
  0| double unlock fs/.tmp_dcache.o.preproc line 915
  0| double unlock fs/.tmp_dcache.o.preproc line 1353
  0| double unlock fs/.tmp_inotify_user.o.preproc line 370
  0| double unlock fs/.tmp_namespace.o.preproc line 979
  0| double unlock fs/afs/.tmp_flock.o.preproc line 418
  0| double unlock fs/autofs4/.tmp_waitq.o.preproc line 330
  0| double unlock fs/jbd/.tmp_checkpoint.o.preproc line 101
  0| double unlock fs/jbd/.tmp_checkpoint.o.preproc line 101
  0| double unlock fs/jbd/.tmp_checkpoint.o.preproc line 101
  0| double unlock fs/jbd/.tmp_checkpoint.o.preproc line 101
  0| double unlock fs/jbd2/.tmp_checkpoint.o.preproc line 101
  0| double unlock fs/jbd2/.tmp_checkpoint.o.preproc line 101
  0| double unlock fs/jbd2/.tmp_checkpoint.o.preproc line 101
  0| double unlock fs/jbd2/.tmp_checkpoint.o.preproc line 101
  0| double unlock fs/jffs2/.tmp_nodemgmt.o.preproc line 73
  0| double unlock fs/jffs2/.tmp_xattr.o.preproc line 1005
  0| double unlock fs/nfs/.tmp_client.o.preproc line 848
  0| double unlock fs/ocfs2/dlm/.tmp_dlmmaster.o.preproc line 2580
  0| double unlock fs/xfs/.tmp_xfs_log.o.preproc line 542
  0| double unlock fs/xfs/.tmp_xfs_log.o.preproc line 2497
  0| double unlock kernel/.tmp_kprobes.o.preproc line 801
  0| double unlock kernel/.tmp_user.o.preproc line 414
  0| double unlock lib/.tmp_locking-selftest.o.preproc line 177
  0| double unlock lib/.tmp_locking-selftest.o.preproc line 178
  0| double unlock lib/.tmp_locking-selftest.o.preproc line 180
  0| double unlock mm/.tmp_filemap_xip.o.preproc line 373
  0| double unlock mm/.tmp_shmem.o.preproc line 815
  0| double unlock mm/.tmp_swapfile.o.preproc line 325
  0| double unlock net/ipv4/.tmp_inet_connection_sock.o.preproc line 81
  0| double unlock sound/core/.tmp_timer.o.preproc line 1448
  0| double unlock sound/oss/.tmp_mpu401.o.preproc line 992
  0| double unlock sound/oss/.tmp_sequencer.o.preproc line 1466
  0| double unlock sound/oss/.tmp_sscape.o.preproc line 284
  0| double unlock sound/oss/.tmp_sscape.o.preproc line 749
  1| leaving function in locked state drivers/block/.tmp_floppy.o.preproc line 5484
  1| leaving function in locked state drivers/char/.tmp_isicom.o.preproc line 94
  1| leaving function in locked state drivers/char/.tmp_tty_io.o.preproc line 1282
  1| leaving function in locked state drivers/dma/.tmp_ioat_dma.o.preproc line 925
  1| leaving function in locked state drivers/hwmon/.tmp_max6650.o.preproc line 206
  1| leaving function in locked state drivers/infiniband/core/.tmp_cma.o.preproc line 1048
  1| leaving function in locked state drivers/infiniband/hw/cxgb3/.tmp_iwch_cq.o.preproc line 21
  1| leaving function in locked state drivers/isdn/hisax/.tmp_amd7930_fn.o.preproc line 532
  1| leaving function in locked state drivers/isdn/hisax/.tmp_icc.o.preproc line 314
  1| leaving function in locked state drivers/media/dvb/dvb-core/.tmp_dvb_frontend.o.preproc line 1631
  1| leaving function in locked state drivers/mfd/.tmp_sm501.o.preproc line 272
  1| leaving function in locked state drivers/mtd/.tmp_mtdoops.o.preproc line 316
  1| leaving function in locked state drivers/mtd/chips/.tmp_cfi_cmdset_0001.o.preproc line 793
  1| leaving function in locked state drivers/net/.tmp_cassini.o.preproc line 3601
  1| leaving function in locked state drivers/net/.tmp_forcedeth.o.preproc line 4025
  1| leaving function in locked state drivers/net/e1000e/.tmp_ich8lan.o.preproc line 964
  1| leaving function in locked state drivers/net/e1000e/.tmp_ich8lan.o.preproc line 1432
  1| leaving function in locked state drivers/net/phy/.tmp_phy_device.o.preproc line 394
  1| leaving function in locked state drivers/net/qlge/.tmp_qlge_main.o.preproc line 3370
  1| leaving function in locked state drivers/pci/hotplug/.tmp_pciehp_core.o.preproc line 87
  1| leaving function in locked state drivers/rtc/.tmp_rtc-ds1374.o.preproc line 239
  1| leaving function in locked state drivers/spi/.tmp_spi.o.preproc line 461
  1| leaving function in locked state drivers/usb/class/.tmp_usblp.o.preproc line 627
  1| leaving function in locked state drivers/usb/host/whci/.tmp_hw.o.preproc line 20
  1| leaving function in locked state drivers/usb/image/.tmp_mdc800.o.preproc line 337
  1| leaving function in locked state drivers/usb/misc/.tmp_vstusb.o.preproc line 294
  1| leaving function in locked state drivers/usb/misc/sisusbvga/.tmp_sisusb_con.o.preproc line 96
  1| leaving function in locked state drivers/usb/wusbcore/.tmp_wa-xfer.o.preproc line 751
  1| leaving function in locked state fs/.tmp_dcache.o.preproc line 1347
  1| leaving function in locked state fs/.tmp_inotify_user.o.preproc line 365
  1| leaving function in locked state fs/.tmp_mbcache.o.preproc line 360
  1| leaving function in locked state fs/.tmp_namei.o.preproc line 1378
  1| leaving function in locked state fs/.tmp_super.o.preproc line 615
  1| leaving function in locked state fs/configfs/.tmp_dir.o.preproc line 705
  1| leaving function in locked state fs/configfs/.tmp_dir.o.preproc line 1229
  1| leaving function in locked state fs/ext2/.tmp_super.o.preproc line 1259
  1| leaving function in locked state fs/fuse/.tmp_file.o.preproc line 1409
  1| leaving function in locked state fs/hpfs/.tmp_namei.o.preproc line 563
  1| leaving function in locked state fs/jffs2/.tmp_fs.o.preproc line 565
  1| leaving function in locked state fs/jffs2/.tmp_nodemgmt.o.preproc line 69
  1| leaving function in locked state fs/jffs2/.tmp_readinode.o.preproc line 1244
  1| leaving function in locked state fs/jfs/.tmp_super.o.preproc line 625
  1| leaving function in locked state fs/ocfs2/.tmp_localalloc.o.preproc line 545
  1| leaving function in locked state fs/sysfs/.tmp_bin.o.preproc line 145
  1| leaving function in locked state fs/sysfs/.tmp_dir.o.preproc line 273
  1| leaving function in locked state fs/ubifs/.tmp_file.o.preproc line 320
  1| leaving function in locked state fs/ubifs/.tmp_file.o.preproc line 649
  1| leaving function in locked state fs/ubifs/.tmp_journal.o.preproc line 687
  1| leaving function in locked state fs/xfs/.tmp_xfs_extfree_item.o.preproc line 65
  1| leaving function in locked state fs/xfs/.tmp_xfs_extfree_item.o.preproc line 84
  1| leaving function in locked state fs/xfs/.tmp_xfs_extfree_item.o.preproc line 252
  1| leaving function in locked state fs/xfs/.tmp_xfs_inode.o.preproc line 2019
  1| leaving function in locked state fs/xfs/.tmp_xfs_inode_item.o.preproc line 759
  1| leaving function in locked state fs/xfs/.tmp_xfs_inode_item.o.preproc line 797
  1| leaving function in locked state fs/xfs/.tmp_xfs_log.o.preproc line 519
  1| leaving function in locked state fs/xfs/.tmp_xfs_log.o.preproc line 2498
  1| leaving function in locked state fs/xfs/.tmp_xfs_log_recover.o.preproc line 2258
  1| leaving function in locked state fs/xfs/.tmp_xfs_mru_cache.o.preproc line 395
  1| leaving function in locked state fs/xfs/.tmp_xfs_mru_cache.o.preproc line 417
  1| leaving function in locked state fs/xfs/.tmp_xfs_trans.o.preproc line 1126
  1| leaving function in locked state fs/xfs/quota/.tmp_xfs_dquot.o.preproc line 1076
  1| leaving function in locked state fs/xfs/quota/.tmp_xfs_dquot_item.o.preproc line 140
  1| leaving function in locked state ipc/.tmp_util.o.preproc line 132
  1| leaving function in locked state kernel/.tmp_cgroup.o.preproc line 1149
  1| leaving function in locked state kernel/.tmp_relay.o.preproc line 530
  1| leaving function in locked state kernel/.tmp_sched.o.preproc line 9102
  1| leaving function in locked state kernel/trace/.tmp_trace.o.preproc line 864
  1| leaving function in locked state lib/.tmp_dec_and_lock.o.preproc line 9
  1| leaving function in locked state mm/.tmp_mmap.o.preproc line 1839
  1| leaving function in locked state mm/.tmp_mremap.o.preproc line 65
  1| leaving function in locked state mm/.tmp_shmem.o.preproc line 319
  1| leaving function in locked state mm/.tmp_shmem.o.preproc line 812
  1| leaving function in locked state mm/.tmp_swap.o.preproc line 74
  1| leaving function in locked state mm/.tmp_swapfile.o.preproc line 366
  1| leaving function in locked state mm/.tmp_swapfile.o.preproc line 1373
  1| leaving function in locked state net/core/.tmp_net_namespace.o.preproc line 127
  1| leaving function in locked state net/dsa/.tmp_mv88e6xxx.o.preproc line 257
  1| leaving function in locked state net/ipv4/.tmp_igmp.o.preproc line 2327
  1| leaving function in locked state net/ipv4/.tmp_inet_connection_sock.o.preproc line 75
  1| leaving function in locked state net/ipv4/.tmp_ipmr.o.preproc line 1670
  1| leaving function in locked state net/ipv4/.tmp_ipmr.o.preproc line 1719
  1| leaving function in locked state net/ipv6/.tmp_ip6mr.o.preproc line 67
  1| leaving function in locked state net/ipv6/.tmp_ip6mr.o.preproc line 197
  1| leaving function in locked state net/ipv6/.tmp_mcast.o.preproc line 305
  1| leaving function in locked state net/ipv6/.tmp_mcast.o.preproc line 2455
  1| leaving function in locked state net/ipx/.tmp_ipx_proc.o.preproc line 214
  1| leaving function in locked state net/irda/.tmp_irlmp.o.preproc line 1555
  1| leaving function in locked state net/netfilter/ipvs/.tmp_ip_vs_sync.o.preproc line 166
  1| leaving function in locked state net/sunrpc/.tmp_rpc_pipe.o.preproc line 606
  1| leaving function in locked state net/tipc/.tmp_ref.o.preproc line 172
  1| leaving function in locked state net/xfrm/.tmp_xfrm_state.o.preproc line 265
  1| leaving function in locked state sound/pci/mixart/.tmp_mixart.o.preproc line 551
AutomatonChecker of /usr/share/stanse/checkers/AutomatonChecker/kernel_memory.xml
  0| dereferencing NULL pointer arch/x86/kernel/.tmp_genx2apic_uv_x.o.preproc line 373
  0| dereferencing NULL pointer arch/x86/kernel/.tmp_genx2apic_uv_x.o.preproc line 378
  0| dereferencing NULL pointer arch/x86/kernel/.tmp_genx2apic_uv_x.o.preproc line 382
  0| dereferencing NULL pointer drivers/char/.tmp_ppdev.o.preproc line 595
  0| dereferencing NULL pointer drivers/infiniband/hw/ipath/.tmp_ipath_mr.o.preproc line 203
  0| dereferencing NULL pointer drivers/isdn/i4l/.tmp_isdn_common.o.preproc line 1634
  0| dereferencing NULL pointer drivers/media/dvb/frontends/.tmp_l64781.o.preproc line 473
  0| dereferencing NULL pointer drivers/media/video/.tmp_v4l1-compat.o.preproc line 1021
  0| dereferencing NULL pointer drivers/media/video/.tmp_videobuf-dma-sg.o.preproc line 367
  0| dereferencing NULL pointer drivers/media/video/.tmp_videobuf-vmalloc.o.preproc line 94
  0| dereferencing NULL pointer drivers/media/video/cx88/.tmp_cx88-cards.o.preproc line 2896
  0| dereferencing NULL pointer drivers/media/video/gspca/.tmp_mars.o.preproc line 229
  0| dereferencing NULL pointer drivers/media/video/pvrusb2/.tmp_pvrusb2-std.o.preproc line 292
  0| dereferencing NULL pointer drivers/misc/sgi-xp/.tmp_xpc_main.o.preproc line 1102
  0| dereferencing NULL pointer drivers/net/.tmp_sunhme.o.preproc line 2129
  0| dereferencing NULL pointer drivers/scsi/.tmp_iscsi_tcp.o.preproc line 578
  0| dereferencing NULL pointer drivers/scsi/.tmp_scsi_lib.o.preproc line 1682
  0| dereferencing NULL pointer drivers/scsi/.tmp_sd.o.preproc line 662
  0| dereferencing NULL pointer drivers/scsi/.tmp_sr.o.preproc line 131
  0| dereferencing NULL pointer drivers/scsi/lpfc/.tmp_lpfc_hbadisc.o.preproc line 242
  0| dereferencing NULL pointer drivers/uio/.tmp_uio.o.preproc line 645
  0| dereferencing NULL pointer drivers/usb/host/.tmp_ehci-hcd.o.preproc line 4880
  0| dereferencing NULL pointer fs/.tmp_compat_binfmt_elf.o.preproc line 10739
  0| dereferencing NULL pointer fs/cifs/.tmp_cifsacl.o.preproc line 330
  0| dereferencing NULL pointer fs/gfs2/.tmp_dir.o.preproc line 808
  0| dereferencing NULL pointer fs/gfs2/.tmp_log.o.preproc line 528
  0| dereferencing NULL pointer kernel/.tmp_module.o.preproc line 425
  0| dereferencing NULL pointer net/sched/.tmp_cls_route.o.preproc line 472
  0| dereferencing NULL pointer security/smack/.tmp_smackfs.o.preproc line 116
  0| dereferencing NULL pointer sound/pci/riptide/.tmp_riptide.o.preproc line 1359
  0| dereferencing NULL pointer sound/pci/riptide/.tmp_riptide.o.preproc line 1379
  0| dereferencing dangling pointer drivers/scsi/.tmp_scsi_transport_fc.o.preproc line 1819
  0| dereferencing dangling pointer drivers/scsi/.tmp_scsi_transport_fc.o.preproc line 2196
  0| dereferencing dangling pointer drivers/usb/misc/.tmp_ftdi-elan.o.preproc line 3716
  0| releasing already released memory drivers/infiniband/core/.tmp_uverbs_main.o.preproc line 729
  2| memory leak - leaving function without releasing memory arch/x86/mm/.tmp_kmmio.o.preproc line 367
  2| memory leak - leaving function without releasing memory drivers/char/.tmp_vt_ioctl.o.preproc line 1869
  2| memory leak - leaving function without releasing memory drivers/char/ipmi/.tmp_ipmi_msghandler.o.preproc line 440
  2| memory leak - leaving function without releasing memory drivers/infiniband/core/.tmp_mad.o.preproc line 796
  2| memory leak - leaving function without releasing memory drivers/infiniband/hw/ipath/.tmp_ipath_file_ops.o.preproc line 1372
  2| memory leak - leaving function without releasing memory drivers/infiniband/hw/ipath/.tmp_ipath_verbs.o.preproc line 1728
  2| memory leak - leaving function without releasing memory drivers/media/video/.tmp_saa5249.o.preproc line 501
  2| memory leak - leaving function without releasing memory drivers/media/video/.tmp_vivi.o.preproc line 975
  2| memory leak - leaving function without releasing memory drivers/net/atlx/.tmp_atl2.o.preproc line 1818
  2| memory leak - leaving function without releasing memory drivers/pci/hotplug/.tmp_pciehp_ctrl.o.preproc line 302
  2| memory leak - leaving function without releasing memory drivers/pci/hotplug/.tmp_shpchp_ctrl.o.preproc line 394
  2| memory leak - leaving function without releasing memory drivers/pcmcia/.tmp_ds.o.preproc line 172
  2| memory leak - leaving function without releasing memory drivers/scsi/lpfc/.tmp_lpfc_init.o.preproc line 2190
  2| memory leak - leaving function without releasing memory drivers/usb/misc/.tmp_usblcd.o.preproc line 270
  2| memory leak - leaving function without releasing memory drivers/uwb/.tmp_neh.o.preproc line 194
  2| memory leak - leaving function without releasing memory fs/nfs/.tmp_nfs4proc.o.preproc line 1228
  2| memory leak - leaving function without releasing memory fs/ntfs/.tmp_dir.o.preproc line 191
  2| memory leak - leaving function without releasing memory kernel/.tmp_params.o.preproc line 500
  2| memory leak - leaving function without releasing memory net/sched/.tmp_act_police.o.preproc line 144
  2| memory leak - leaving function without releasing memory net/sunrpc/.tmp_xprtsock.o.preproc line 1657
  4| unnecessary check (checking for NULL) drivers/net/wireless/hostap/.tmp_hostap_cs.o.preproc line 7170
  4| unnecessary check (checking for not NULL) arch/x86/kvm/.tmp_i8254.o.preproc line 567
  4| unnecessary check (checking for not NULL) drivers/block/.tmp_DAC960.o.preproc line 4433
  4| unnecessary check (checking for not NULL) drivers/char/.tmp_synclink.o.preproc line 1351
  4| unnecessary check (checking for not NULL) drivers/char/.tmp_synclink.o.preproc line 1421
  4| unnecessary check (checking for not NULL) drivers/gpu/drm/i915/.tmp_i915_drv.o.preproc line 7
  4| unnecessary check (checking for not NULL) drivers/hid/.tmp_hid-core.o.preproc line 966
  4| unnecessary check (checking for not NULL) drivers/media/video/cx18/.tmp_cx18-dvb.o.preproc line 43
  4| unnecessary check (checking for not NULL) drivers/media/video/cx18/.tmp_cx18-dvb.o.preproc line 104
  4| unnecessary check (checking for not NULL) drivers/mtd/chips/.tmp_cfi_cmdset_0001.o.preproc line 463
  4| unnecessary check (checking for not NULL) drivers/mtd/chips/.tmp_cfi_cmdset_0002.o.preproc line 388
  4| unnecessary check (checking for not NULL) drivers/net/.tmp_bnx2x_link.o.preproc line 3269
  4| unnecessary check (checking for not NULL) drivers/net/bonding/.tmp_bond_main.o.preproc line 3120
  4| unnecessary check (checking for not NULL) drivers/net/hamradio/.tmp_6pack.o.preproc line 586
  4| unnecessary check (checking for not NULL) drivers/net/hamradio/.tmp_mkiss.o.preproc line 792
  4| unnecessary check (checking for not NULL) drivers/net/tulip/.tmp_de2104x.o.preproc line 1962
  4| unnecessary check (checking for not NULL) drivers/net/wireless/ath9k/.tmp_hw.o.preproc line 5449
  4| unnecessary check (checking for not NULL) drivers/net/wireless/libertas/.tmp_main.o.preproc line 1229
  4| unnecessary check (checking for not NULL) drivers/pci/pcie/.tmp_aspm.o.preproc line 582
  4| unnecessary check (checking for not NULL) drivers/scsi/lpfc/.tmp_lpfc_els.o.preproc line 2247
  4| unnecessary check (checking for not NULL) drivers/scsi/lpfc/.tmp_lpfc_scsi.o.preproc line 1375
  4| unnecessary check (checking for not NULL) fs/cifs/.tmp_file.o.preproc line 745
  4| unnecessary check (checking for not NULL) net/bridge/netfilter/.tmp_ebtables.o.preproc line 33
  4| unnecessary check (checking for not NULL) net/ipv6/.tmp_ipv6_sockglue.o.preproc line 381
  4| unnecessary check (checking for not NULL) net/ipv6/.tmp_proc.o.preproc line 222
  4| unnecessary check (checking for not NULL) net/irda/ircomm/.tmp_ircomm_tty.o.preproc line 417
  4| unnecessary check (checking for not NULL) net/irda/ircomm/.tmp_ircomm_tty.o.preproc line 822
  4| unnecessary check (checking for not NULL) net/sunrpc/.tmp_xprt.o.preproc line 57
  4| unnecessary check (checking for not NULL) net/tipc/.tmp_port.o.preproc line 698
  4| unnecessary check (checking for not NULL) sound/core/.tmp_control.o.preproc line 951
  4| unnecessary check (checking for not NULL) sound/pci/trident/.tmp_trident_main.o.preproc line 466
AutomatonChecker of /usr/share/stanse/checkers/AutomatonChecker/kernel_pairing.xml
  0| double put drivers/acpi/.tmp_processor_core.o.preproc line 170
  0| double put drivers/ata/.tmp_pata_via.o.preproc line 347
  0| double put drivers/edac/.tmp_e752x_edac.o.preproc line 1002
  0| double put drivers/ide/.tmp_via82cxxx.o.preproc line 304
  0| double put drivers/misc/sgi-gru/.tmp_grutlbpurge.o.preproc line 96
  0| double put drivers/mtd/maps/.tmp_l440gx.o.preproc line 48
  0| double put drivers/mtd/maps/.tmp_l440gx.o.preproc line 84
  1| leaving function with gotten variables arch/x86/kernel/.tmp_kprobes.o.preproc line 430
  1| leaving function with gotten variables arch/x86/kernel/cpu/cpufreq/.tmp_acpi-cpufreq.o.preproc line 216
  1| leaving function with gotten variables arch/x86/kvm/../../../virt/kvm/.tmp_kvm_main.o.preproc line 211
  1| leaving function with gotten variables arch/x86/kvm/.tmp_vmx.o.preproc line 2904
  1| leaving function with gotten variables arch/x86/mm/.tmp_kmmio.o.preproc line 125
  1| leaving function with gotten variables arch/x86/xen/.tmp_irq.o.preproc line 48
  1| leaving function with gotten variables arch/x86/xen/.tmp_irq.o.preproc line 69
  1| leaving function with gotten variables arch/x86/xen/.tmp_smp.o.preproc line 33
  1| leaving function with gotten variables drivers/char/.tmp_isicom.o.preproc line 825
  1| leaving function with gotten variables drivers/char/agp/.tmp_amd64-agp.o.preproc line 333
  1| leaving function with gotten variables drivers/char/agp/.tmp_amd64-agp.o.preproc line 391
  1| leaving function with gotten variables drivers/char/hw_random/.tmp_intel-rng.o.preproc line 238
  1| leaving function with gotten variables drivers/dma/.tmp_dmaengine.o.preproc line 44
  1| leaving function with gotten variables drivers/edac/.tmp_e752x_edac.o.preproc line 891
  1| leaving function with gotten variables drivers/edac/.tmp_e752x_edac.o.preproc line 1002
  1| leaving function with gotten variables drivers/edac/.tmp_i3000_edac.o.preproc line 348
  1| leaving function with gotten variables drivers/edac/.tmp_i82975x_edac.o.preproc line 326
  1| leaving function with gotten variables drivers/edac/.tmp_x38_edac.o.preproc line 381
  1| leaving function with gotten variables drivers/hwmon/.tmp_sis5595.o.preproc line 688
  1| leaving function with gotten variables drivers/hwmon/.tmp_via686a.o.preproc line 676
  1| leaving function with gotten variables drivers/hwmon/.tmp_vt8231.o.preproc line 813
  1| leaving function with gotten variables drivers/i2c/busses/.tmp_i2c-viapro.o.preproc line 346
  1| leaving function with gotten variables drivers/ide/.tmp_hpt366.o.preproc line 1265
  1| leaving function with gotten variables drivers/ide/.tmp_pdc202xx_new.o.preproc line 379
  1| leaving function with gotten variables drivers/ide/.tmp_serverworks.o.preproc line 144
  1| leaving function with gotten variables drivers/misc/.tmp_sony-laptop.o.preproc line 1387
  1| leaving function with gotten variables drivers/misc/sgi-gru/.tmp_grukservices.o.preproc line 29
  1| leaving function with gotten variables drivers/misc/sgi-gru/.tmp_grutlbpurge.o.preproc line 94
  1| leaving function with gotten variables drivers/mtd/maps/.tmp_amd76xrom.o.preproc line 259
  1| leaving function with gotten variables drivers/mtd/maps/.tmp_ck804xrom.o.preproc line 292
  1| leaving function with gotten variables drivers/mtd/maps/.tmp_esb2rom.o.preproc line 291
  1| leaving function with gotten variables drivers/mtd/maps/.tmp_ichxrom.o.preproc line 303
  1| leaving function with gotten variables drivers/mtd/maps/.tmp_l440gx.o.preproc line 50
  1| leaving function with gotten variables drivers/net/.tmp_sis190.o.preproc line 1477
  1| leaving function with gotten variables drivers/net/.tmp_sis900.o.preproc line 170
  1| leaving function with gotten variables drivers/pci/.tmp_intel-iommu.o.preproc line 2226
  1| leaving function with gotten variables drivers/pci/.tmp_quirks.o.preproc line 1629
  1| leaving function with gotten variables drivers/pci/.tmp_search.o.preproc line 98
  1| leaving function with gotten variables drivers/pci/.tmp_search.o.preproc line 120
  1| leaving function with gotten variables drivers/pci/hotplug/.tmp_acpiphp_glue.o.preproc line 193
  1| leaving function with gotten variables drivers/pci/hotplug/.tmp_acpiphp_glue.o.preproc line 467
  1| leaving function with gotten variables drivers/pci/hotplug/.tmp_cpci_hotplug_pci.o.preproc line 220
  1| leaving function with gotten variables drivers/pci/hotplug/.tmp_cpcihp_generic.o.preproc line 99
  1| leaving function with gotten variables drivers/pci/hotplug/.tmp_fakephp.o.preproc line 244
  1| leaving function with gotten variables drivers/pcmcia/.tmp_cardbus.o.preproc line 58
  1| leaving function with gotten variables drivers/usb/host/.tmp_ohci-hcd.o.preproc line 3835
  1| leaving function with gotten variables drivers/usb/serial/.tmp_ftdi_sio.o.preproc line 1693
  1| leaving function with gotten variables drivers/usb/serial/.tmp_ti_usb_3410_5052.o.preproc line 1127
  1| leaving function with gotten variables drivers/video/backlight/.tmp_cr_bllcd.o.preproc line 118
  1| leaving function with gotten variables drivers/video/backlight/.tmp_progear_bl.o.preproc line 43
  1| leaving function with gotten variables drivers/video/vermilion/.tmp_cr_pll.o.preproc line 113
  1| leaving function with gotten variables drivers/video/via/.tmp_hw.o.preproc line 1998
  1| leaving function with gotten variables drivers/watchdog/.tmp_alim1535_wdt.o.preproc line 205
  1| leaving function with gotten variables drivers/watchdog/.tmp_alim7101_wdt.o.preproc line 294
  1| leaving function with gotten variables kernel/.tmp_rcutorture.o.preproc line 440
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 3
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 16
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 29
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 41
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 52
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 71
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 80
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 91
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 101
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 110
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 121
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 131
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 140
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 148
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 157
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 165
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 176
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 195
  1| leaving function with gotten variables kernel/.tmp_spinlock.o.preproc line 311
  1| leaving function with gotten variables kernel/trace/.tmp_trace.o.preproc line 8
  1| leaving function with gotten variables kernel/trace/.tmp_trace_mmiotrace.o.preproc line 152
  1| leaving function with gotten variables lib/.tmp_kernel_lock.o.preproc line 9
  1| leaving function with gotten variables lib/.tmp_radix-tree.o.preproc line 160
  1| leaving function with gotten variables net/ipv4/.tmp_tcp.o.preproc line 1066
  1| leaving function with potentially gotten variables drivers/char/.tmp_rocket.o.preproc line 2064
  1| leaving function with potentially gotten variables drivers/mmc/host/.tmp_ricoh_mmc.o.preproc line 111
  1| leaving function with potentially gotten variables drivers/mmc/host/.tmp_sdricoh_cs.o.preproc line 404
  1| leaving function with potentially gotten variables drivers/pci/.tmp_proc.o.preproc line 310
  1| leaving function with potentially gotten variables drivers/pci/.tmp_quirks.o.preproc line 29
  1| leaving function with potentially gotten variables drivers/scsi/.tmp_eata.o.preproc line 380
  1| leaving function with potentially gotten variables drivers/usb/serial/.tmp_mct_u232.o.preproc line 454
  1| leaving function with potentially gotten variables drivers/video/sis/.tmp_sis_main.o.preproc line 4346
  1| leaving function with potentially gotten variables kernel/trace/.tmp_trace_mmiotrace.o.preproc line 105