Airac5's Performance
Analysis Cost and Accuracy
The following table shows Airac5's analysis speed and accuracy data (r300). 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.
- #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.
- Airac5 Alarms : the number of buffer-access expressions that may overrun.
- #Real Bugs: the number of buffer-access expressions that can really overrun.
- #Buffer Accesses: the total number of buffer-access expressions in the program.
| 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 |
© ROPAS,
Hakjoo Oh <pronto@ropas.snu.ac.kr>.