package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module LivenessSource

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

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct