Module `Frama_c_kernel.Cil_state_builder`

Functors for building computations which use kernel datatypes.

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf

module Stmt_set_ref
  (_ : State_builder.Info) : 
  State_builder.Set_ref with type elt = Cil_types.stmt

module Kinstr_hashtbl
  (Data : Datatype.S)
  (_ : State_builder.Info_with_size) : 
  State_builder.Hashtbl with type key = Cil_types.kinstr and type data = Data.t

module Stmt_hashtbl
  (Data : Datatype.S)
  (_ : State_builder.Info_with_size) : 
  State_builder.Hashtbl with type key = Cil_types.stmt and type data = Data.t

module Varinfo_hashtbl
  (Data : Datatype.S)
  (_ : State_builder.Info_with_size) : 
  State_builder.Hashtbl
    with type key = Cil_types.varinfo
     and type data = Data.t

module Exp_hashtbl
  (Data : Datatype.S)
  (_ : State_builder.Info_with_size) : 
  State_builder.Hashtbl with type key = Cil_types.exp and type data = Data.t

module Lval_hashtbl
  (Data : Datatype.S)
  (_ : State_builder.Info_with_size) : 
  State_builder.Hashtbl with type key = Cil_types.lval and type data = Data.t

module Kernel_function_hashtbl
  (Data : Datatype.S)
  (_ : State_builder.Info_with_size) : 
  State_builder.Hashtbl
    with type key = Cil_types.kernel_function
     and type data = Data.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.kernel/Frama_c_kernel/Cil_state_builder/index.html

Module `Frama_c_kernel.Cil_state_builder`

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.kernel/Frama_c_kernel/Cil_state_builder/index.html

Module Frama_c_kernel.Cil_state_builder

Module `Frama_c_kernel.Cil_state_builder`