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=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

For each block id, the data at the start. This data structure must be initialized with the initial data for each block

type data = t

val clear : unit -> unit

val mem : Cil_types.stmt -> bool

val find : Cil_types.stmt -> data

val replace : Cil_types.stmt -> data -> unit

val add : Cil_types.stmt -> data -> unit

val iter : (Cil_types.stmt -> data -> unit) -> unit

val length : unit -> int