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

val pp_calls : Format.formatter -> Cil_types.kernel_function list -> unit

val get : 
  ?bhv:string ->
  Cil_types.stmt ->
  (Property.t * Cil_types.kernel_function list) option

Returns None if there is no specified dynamic call.

val compute : unit -> unit

Forces computation of dynamic calls. Otherwise, they are computed lazily on get. Requires -wp-dynamic.