begin at 2005-01-19 17:18:32 +0900
Airac: analyzing keyboard.c main.cn
NOTE: Airac ignores all assembly codes during analysis.
      Airac ignores all compilation directives such as inline, attribute, etc.

Warning: "linux-2.6.4/include/asm/rwsem.h":175: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm/apic.h":31: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":275: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":275: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":275: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":278: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":278: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/asm-generic/siginfo.h":278: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "keyboard.c":108: assuming sizeof() has [-Inf,Inf] value. (No such identifier: ID@func_table)
Warning: "keyboard.c":674: assuming sizeof() has [-Inf,Inf] value. (No such identifier: ID@func_table)

Parsing and transformation done:
     31713 ast nodes 
       532 global variables
       489 function definitions
      2522 initial abstract memory entries

Airac options: the inlining/unrolling depth 1 
               the unrolling bound 0

Analysis begins
  Fixpoint iterations with widening........................................
  The number of alarm candidates: 13
  Fixpoint iterations with narrowing...........................

  Following reports may be false alarms.
     name: x86_keycodes  size: [256, 256]  (file: "keyboard.c", line: 979, column: 51)

  There are some overflows and underflows that may be bugs.
     Overflow (name: addr, size: [8, 8])
	Index: [0, +Inf]  (file: "linux-2.6.4/include/asm/bitops.h", line: 244, column: 51)

  Number of alarms (buffers: 2, accesses: 2)
  User + system time: 3.360000 s
  Wall-clock time: 3 s
end at 2005-01-19 17:18:37 +0900