Airac5(SNU) vs. Airac(SNU)

Airac5 homepage

This page shows how our Airac5 compares against Airac. Following options were used for analyzing these software.

ud=1 : inline each functions once.
cf : in case of no main(), Airac5 analyzes each file assuming that the main() procedure consists of calls to the functions in the order of their definitions.

Each columns mean

#Lines: the number of lines of the C source files, before preprocessing their header files.
Time: CPU user seconds on Pentium4 3.2GHz. Analyzing GNU and Linux packages were on 4GB RAM and company A's on 2GB.
#Alarms : the number of buffer-access expressions that may overrun.
#Real Bugs: the number of buffer-access expressions that can really overrun.

* note : The Airac's performance is before its "premature-termination" bug is fixed. Airac did not analyze part A of a program if A is after a call whose state is already stable. This bug, which was discovered on 10/05/2005, made the analysis prematurely terminate for some programs. Airac5 has fixed this bug.

Table 1: GNU Software

Program	Airac V			Airac
(LOC)	Time(sec)	#Alarms	#Real Bugs	Time(sec)	#Alarms	#Real Bugs
sed-4.0.8 (6053)	51516.45	5	0	1089.16	18	0
gzip-1.2.4a (7327)	18401.30	50	0	2363.71	102	0
grep-2.5.1 (9297)	33325.10	28	0	864.47	16	0
tar-1.13 (20258)	24783.40	76	1	6524.53	138	1
bison-1.875 (25907)	20340.19	30	0	5089.26	91	0

Table 2: Linux 2.6.4 Kernel

Program	Airac5			Airac
(LOC)	Time(sec)	#Alarms	#Real Bugs	Time(sec)	#Alarms	#Real Bugs
vmax301.c (246)	161.38	1	1	3.02	1	1
cdc_acm.c (849)	199.15	2	2	119.68	5	2
atkbd.c (944)	526.75	2	2	285.55	5	2
eata_pio.c (984)	2319.11	1	1	8.65	5	1
ip6_output.c (1110)	7857.39	0	0	45.74	0	0
xfrm_user.c (1201)	5974.44	9	1	91.21	2	1
keyboard.c(1256)	1089.25	18	0	9.56	2	0
af_inet.c (1273)	9825.47	25	2	79.00	1	1
usb_midi.c (2206)	2784.22	4	2	3617.18	10	2
aty128fb.c (2466)	972.09	2	1	3671.23	2	1
mptbase.c (6158)	14928.75	7	1	8251.07	2	1

Last updated: Tue Aug 31 13:56:18 2021 +0900