package goblint-cil

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

Innovation. Community. Security.