package goblint-cil

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

Module ReachingdefsSource

module E = Errormsg
Sourcemodule DF = Dataflow
Sourcemodule UD = Usedef
Sourcemodule L = Liveness
module IH = Inthash
module U = Util
module S = Stats
Sourceval debug_fn : string ref
Sourceval doTime : bool ref
Sourceval time : string -> ('a -> 'b) -> 'a -> 'b
Sourcemodule IOS : sig ... end
Sourceval debug : bool ref
Sourceval ih_inter : 'a IH.t -> 'b IH.t -> 'a IH.t
Sourceval ih_union : 'a IH.t -> 'a IH.t -> 'a IH.t
Sourceval iosh_singleton_lookup : IOS.t IH.t -> Cil.varinfo -> IOS.elt
Sourceval iosh_lookup : 'a IH.t -> Cil.varinfo -> 'a option
Sourceval iosh_defId_find : IOS.t IH.t -> int -> int option
Sourceval iosh_combine : IOS.t IH.t -> IOS.t IH.t -> IOS.t IH.t
Sourceval iosh_equals : IOS.t IH.t -> IOS.t IH.t -> bool
Sourceval iosh_replace : IOS.t IH.t -> int -> Cil.varinfo -> unit
Sourceval iosh_filter_dead : 'a -> 'b -> 'a
Sourceval proc_defs : UD.VS.t -> IOS.t IH.t -> (unit -> int) -> unit
Sourceval idMaker : unit -> int -> unit -> int
Sourceval iRDsHtbl : (int * bool, (unit * int * IOS.t IH.t) list) Hashtbl.t
Sourceval instrRDs : Cil.instr list -> int -> ('a * int * IOS.t IH.t) -> bool -> (unit * int * IOS.t IH.t) list
Sourcetype rhs =
  1. | RDExp of Cil.exp
  2. | RDCall of Cil.instr
Sourceval rhsHtbl : (rhs * int * IOS.t IH.t) option IH.t
Sourceval getDefRhs : Cil.stmt IH.t -> ('a * int * IOS.t IH.t) IH.t -> int -> (rhs * int * IOS.t IH.t) option
Sourceval prettyprint : Cil.stmt IH.t -> ('a * int * IOS.t IH.t) IH.t -> unit -> ('b * 'c * IOS.t IH.t) -> Pretty.doc
Sourcemodule ReachingDef : sig ... end
Sourcemodule RD : sig ... end
Sourceval iosh_none_fill : IOS.t IH.t -> Cil.varinfo list -> unit
Sourceval clearMemos : unit -> unit
Sourceval computeRDs : Cil.fundec -> unit
Sourceval getRDs : int -> (unit * int * IOS.t IH.t) option
Sourceval getDefIdStmt : int -> Cil.stmt option
Sourceval getStmt : int -> Cil.stmt option
Sourceval getSimpRhs : int -> rhs option
Sourceval isDefInstr : Cil.instr -> int -> bool
Sourceclass rdVisitorClass : object ... end
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