module Classify:sig
..end
Checks if the given name is the name of a Frama-C builtin
val is_frama_c_builtin : string -> bool
val is_va_builtin : string -> bool
Checks if the given name is the name of one of the variadic va_* builtins
val is_variadic_function : Cil_types.varinfo -> bool
Checks if a varinfo is a variadic function
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.