Classify (frama-c.Frama_c_kernel

val is_va_builtin : string -> bool

Checks if the given name is the name of one of the variadic va_* builtins

val classify : 
  Environment.t ->
  Cil_types.varinfo ->
  Va_types.variadic_function option

Build a variadic function record for the given varinfo according to its classification. Returns None if the function is not variadic.