This page shows how our Airac5 compares against Airac. Following options were used for analyzing these software. Each columns mean * 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: Fri Jun 30 12:27:50 2006 +0900