package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module DF = Dataflow
module UD = Usedef
module IH = Inthash
module E = Errormsg
val debug : bool Pervasives.ref
val ignore_inst : (Cil.instr -> bool) Pervasives.ref
val ignore_call : (Cil.instr -> bool) Pervasives.ref
val registerIgnoreInst : (Cil.instr -> bool) -> unit
val registerIgnoreCall : (Cil.instr -> bool) -> unit
val live_label : string Pervasives.ref
val live_func : string Pervasives.ref
module VS = UD.VS
val debug_print : unit -> VS.t -> Pretty.doc
val min_print : unit -> VS.t -> Pretty.doc
val printer : (unit -> VS.t -> Pretty.doc) Pervasives.ref
module LiveFlow : sig ... end
module L : sig ... end
val all_stmts : Cil.stmt list Pervasives.ref
class nullAdderClass : object ... end
val null_adder : Cil.fundec -> Cil.stmt list
val computeLiveness : Cil.fundec -> unit
val getLiveSet : int -> VS.t option
val getLiveness : Cil.stmt -> VS.t
val getPostLiveness : Cil.stmt -> LiveFlow.t
val instrLiveness : Cil.instr list -> Cil.stmt -> VS.t -> bool -> VS.t list
class livenessVisitorClass : bool -> object ... end
class deadnessVisitorClass : object ... end
val print_everything : unit -> unit
val match_label : Cil.label -> bool
class doFeatureClass : object ... end
val do_live_feature : Cil.file -> unit
val feature : Feature.t