package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val empty : t
val equal : t -> t -> bool
val assign : t -> Cil.lval -> Cil.exp -> Cil.exp * t
val unassign : t -> Cil.lval -> t
val assembly : t -> Cil.instr -> t
val assume : t -> Cil.exp -> t
val evaluate : t -> Cil.exp -> Cil.exp
val join : t list -> t
val call : t -> Cil.fundec -> Cil.exp list -> Cil.exp list * t
val return : t -> Cil.fundec -> t
val call_to_unknown_function : t -> t
val debug : t -> unit