Frama-C:
Plug-ins:
Libraries:

Frama-C API - Function

Operations on cil function.

val formal_args : Cil_types.varinfo -> (string * Cil_types.typ * Cil_types.attributes) list

Returns the list of the named formal arguments of a function. Never call on a variable of non functional type.

val is_formal : Cil_types.varinfo -> Cil_types.fundec -> bool
val is_local : Cil_types.varinfo -> Cil_types.fundec -> bool
val is_formal_or_local : Cil_types.varinfo -> Cil_types.fundec -> bool
val is_formal_of_prototype : Cil_types.varinfo -> Cil_types.varinfo -> bool

is_formal_of_prototype v f returns true iff f is a prototype and v is one of its formal parameters.

val is_definition : Cil_types.cil_function -> bool
val get_name : Cil_types.cil_function -> string
val get_id : Cil_types.cil_function -> int
val get_statics : Cil_types.fundec -> Cil_types.varinfo list
  • since 29.0-Copper