Analysis Cost and Accuracy

The following table shows Airac5's analysis speed and accuracy data (r300). Following options were used for analyzing these software. Each columns mean
Class Software #Lines Time(sec) #Alarms #Bugs #Buffer accesses
GNU S/W tar-1.13 20258 24783.40 76 1 2630
bison-1.875 25907 20340.19 30 0 5164
sed-4.0.8 6053 51516.45 5 0 461
gzip-1.2.4a 7327 18401.30 50 0 799
grep-2.5.1 9297 33325.10 24 0 187
Linux Kernel
(version 2.6.4)
vmax302.c 246 161.38 1 1 79
cdc-acm.c 849 199.15 2 2 468
atkbd.c 944 526.75 2 2 332
eata_pio.c 984 2319.11 1 1 183
ip6_output.c 1110 7857.39 0 0 198
xfrm_user.c 1201 5974.44 9 1 235
keyboard.c 1256 1089.25 18 0 411
af_inet.c 1273 9825.47 25 2 48
usb-midi.c 2206 2784.22 4 2 332
aty128fb.c 2466 972.09 2 1 98
mptbase.c 6158 14928.75 7 1 777
Last updated: Fri Jun 30 12:26:25 2006 +0900