begin at 2005-01-19 17:16:10 +0900
Airac: analyzing xfrm_user.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: "linux-2.6.4/include/linux/filter.h":43: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/sock.h":962: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "linux-2.6.4/include/net/sock.h":1027: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":41: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":41: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":78: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":78: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":167: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":171: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":171: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":171: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":185: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":189: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":189: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":189: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":196: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":196: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":196: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":197: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":197: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":197: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":198: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":198: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":198: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":300: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":300: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":300: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":301: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":301: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":301: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":302: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":302: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":302: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":303: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":303: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":303: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":304: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":304: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":304: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":334: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":334: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":343: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":343: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":346: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":346: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":349: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":349: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":352: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":352: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":580: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":580: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":594: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":594: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":594: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":595: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":595: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":595: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":604: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":604: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":604: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":605: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":605: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":605: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":606: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":606: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":606: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":676: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":676: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":676: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":677: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":677: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":677: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":708: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":708: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":935: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":983: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":983: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1024: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1024: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1029: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1029: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1029: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1030: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1030: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1030: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1031: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1031: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1031: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1102: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1106: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1106: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1131: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)
Warning: "xfrm_user.c":1131: assuming sizeof() has [-Inf,Inf] value. (expression is neither a id nor type name.)

Parsing and transformation done:
     66965 ast nodes 
      1183 global variables
       873 function definitions
      5504 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: 5
  Fixpoint iterations with narrowing...............................

  There are some overflows and underflows that may be bugs.
     Underflow (name: xfrma, size: [192, 192])
	Index: [-Inf, 191]  (file: "xfrm_user.c", line: 909, column: 57)

  These alarms are suspected as bugs.
     Overflow (name: link, size: [11, 11])
	Index: [0, 12]  (file: "xfrm_user.c", line: 880, column: 31)

  Number of alarms (buffers: 2, accesses: 2)
  User + system time: 45.070000 s
  Wall-clock time: 45 s
end at 2005-01-19 17:16:58 +0900