package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val goto : ?may:bool -> ?change_state:bool -> D.key -> D.V.s -> D.t -> D.V.s list -> D.t
val equal_exp : ('a, 'b, 'c, 'd) Analyses.ctx -> [> `Bool of bool | `Error of string | `Float of float | `Free | `Ident of 'e | `Int of int | `Regex of string | `String of string | `Var of 'f ] -> GoblintCil.exp -> bool
val check_constraint : ('a, 'b, 'c, 'd) Analyses.ctx -> (SC.stmt -> GoblintCil.Cil.lval option) -> ((D.V.s * D.V.s list * bool * D.V.s * SC.stmt) -> bool) -> D.t -> (D.V.s * D.V.s) option -> GoblintCil.Cil.lval option -> (D.V.s * D.V.s list * bool * D.V.s * SC.stmt) -> (D.t * bool * (D.V.s * D.V.s) option * GoblintCil.Cil.lval option) option
val check : (D.t, 'a, 'b, 'c) Analyses.ctx -> (SC.stmt -> GoblintCil.Cil.lval option) -> ((D.V.s * D.V.s list * bool * D.V.s * SC.stmt) -> bool) -> D.t
OCaml

Innovation. Community. Security.