Module Db.Inputs

module Inputs: sig .. end

State_builder.of read inputs. That is over-approximation of zones read by each function.


include Db.INOUT
val expr : (Cil_types.stmt -> Cil_types.exp -> t) Stdlib.ref
val self_with_formals : State.t Stdlib.ref
val get_with_formals : (Cil_types.kernel_function -> t) Stdlib.ref

Inputs with formals and without local variables

val display_with_formals : (Stdlib.Format.formatter -> Cil_types.kernel_function -> unit) Stdlib.ref