package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `From`Source

Sourceval is_computed : Frama_c_kernel.Cil_types.kernel_function -> bool

Sourceval compute : Frama_c_kernel.Cil_types.kernel_function -> unit

Sourceval compute_all : unit -> unit

Sourceval get : Frama_c_kernel.Cil_types.kernel_function -> Eva.Assigns.t

val access : 
  Frama_c_kernel.Memory_zone.t ->
  Eva.Assigns.Memory.t ->
  Frama_c_kernel.Memory_zone.t

Sourceval self : Frama_c_kernel.State.t

val pretty : 
  Format.formatter ->
  Frama_c_kernel.Cil_types.kernel_function ->
  unit

Sourceval display : Format.formatter -> unit

Sourceval compute_all_calldeps : unit -> unit

Sourcemodule Callwise : sig ... end