This page shows how our Airac compares against Coverity.com's SIMPLE_BUFFER checker.

A diagram showing the difference between Airac and Coverity's SWAT

Airac ran on a Pentium4 3.2GHz box with 4GB of main memory running GNU/Linux kernel version 2.6.8. The C files tested here are part of the Linux kernel, version 2.6.4.

Test Results

Filename #Airac Alarams #SWAT Alarms #Real Bugs Airac Time Miscellaneous
#Buffers #Accesses
linux-2.6.4/drivers/mtd/maps/vmax301.c 1 111 0.28s Airac output
Coverity bug#2087
linux-2.6.4/net/xfrm/xfrm_user.c 2 2 11 45.07s Airac output
Coverity bug#2089
linux-2.6.4/drivers/usb/class/usb-midi.c 2 10 2 4 91.32s Airac output
Coverity bug#2090 Coverity bug#2119
linux-2.6.4/drivers/input/keyboard/atkbd.c 2 2 2 2 1.99s Airac output
Coverity bug#2095 Coverity bug#2133
linux-2.6.4/drivers/char/keyboard.c 2 21 1 3.36s Airac output
Coverity bug#2097
linux-2.6.4/net/ipv4/af_inet.c 1 11 1 1.17s Airac output
Coverity bug#2098
linux-2.6.4/drivers/scsi/eata_pio.c 3 31 1 7.50s Airac output
Coverity bug#2100
linux-2.6.4/drivers/usb/class/cdc-acm.c 1 31 3 3.98s Airac output
Coverity bug#2101
linux-2.6.4/net/ipv6/ip6_output.c 0 01 0 1.53s Airac output
Coverity bug#2103
linux-2.6.4/drivers/message/fusion/mptbase.c 1 11 1 0.79s Airac output
Coverity bug#2104
linux-2.6.4/drivers/video/aty/aty128fb.c 1 11 1 0.32s Airac output
Coverity bug#2112
Last updated: Thu Jan 20 14:00:24 2005 +0900