Frama-C API - `Classify`

val is_frama_c_builtin : Cil_types.varinfo -> bool

Checks if the given name is the name of a Frama-C builtin

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.

Frama-C API - Classify