package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Frama_c_kernel.Replacements`

val add : Cil_types.varinfo -> Cil_types.varinfo -> unit

add replaced original stores the association of the original and the replaced functions in a project state.

val find : Cil_types.varinfo -> Cil_types.varinfo

val mem : Cil_types.varinfo -> bool