package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module S : Symex
module C : CallGraph
module A : AliasInfo

Signature

val debug : bool
module LabelSet : sig ... end
type sinfo = {
  1. incoming_state : (int, S.t) Hashtbl.t;
  2. reachable_preds : (int, bool) Hashtbl.t;
  3. mutable last_used_state : S.t option;
  4. mutable priority : int;
}
val sinfo_ht : (int, sinfo) Hashtbl.t
val clear_sinfo : unit -> unit
val get_sinfo : Cil.stmt -> sinfo
val toposort_counter : int ref
val add_edge : Cil.stmt -> Cil.stmt -> unit
val toposort : callNodeHash -> Cil.stmt -> unit
val changed_cfg : bool ref
val partial_stmt : callNodeHash -> S.t -> Cil.stmt -> (Cil.stmt -> Cil.stmt -> S.t -> 'a) -> S.t
val dataflow : Cil.file -> callNodeHash -> S.t -> Cil.stmt -> unit
val simplify : Cil.file -> callNodeHash -> Cil.fundec -> (Cil.lval * Cil.exp) list -> unit
OCaml

Innovation. Community. Security.