package goblint-cil

  1. Overview
  2. Docs
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.