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

dune-project

Dependency

sha256=868d57ef8007fe6c0836cd151d8c294003af34aa678285eff9547662cad36aa3

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.