package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

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_vi : Cil_types.cil_function -> Cil_types.varinfo

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