package goblint-cil

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

Module AvailexpsSource

module E = Errormsg
Sourcemodule DF = Dataflow
Sourcemodule UD = Usedef
module IH = Inthash
module U = Util
module S = Stats
Sourceexception Unimplemented of string
Sourceval debug : bool ref
Sourceval doTime : bool ref
Sourceval time : string -> ('a -> 'b) -> 'a -> 'b
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 eh_equals : Cil.exp IH.t -> Cil.exp IH.t -> bool
Sourceval eh_pretty : unit -> Cil.exp IH.t -> Pretty.doc
Sourceval eh_combine : Cil.exp IH.t -> Cil.exp IH.t -> Cil.exp IH.t
Sourceclass memReadOrAddrOfFinderClass : bool ref -> object ... end
Sourceval exp_has_mem_read : Cil.exp -> bool
Sourceval eh_kill_mem : Cil.exp IH.t -> unit
Sourceclass viFinderClass : Cil.varinfo -> bool ref -> object ... end
Sourceval exp_has_vi : Cil.varinfo -> Cil.exp -> bool
Sourceval eh_kill_vi : Cil.exp IH.t -> Cil.varinfo -> unit
Sourceclass lvalFinderClass : Cil.lval -> bool ref -> object ... end
Sourceval exp_has_lval : Cil.lval -> Cil.exp -> bool
Sourceval eh_kill_lval : Cil.exp IH.t -> Cil.lval -> unit
Sourceclass volatileFinderClass : bool ref -> object ... end
Sourceval exp_is_volatile : Cil.exp -> bool
Sourceval varHash : Cil.varinfo IH.t
Sourceval eh_kill_addrof_or_global : 'a IH.t -> unit
Sourceval eh_handle_inst : Cil.instr -> Cil.exp IH.t -> Cil.exp IH.t
Sourcemodule AvailableExps : sig ... end
Sourcemodule AE : sig ... end
Sourceclass varHashMakerClass : object ... end
Sourceval varHashMaker : varHashMakerClass
Sourceval make_var_hash : Cil.fundec -> unit
Sourceval computeAEs : Cil.fundec -> unit
Sourceval getAEs : int -> Cil.exp IH.t option
Sourceval instrAEs : Cil.instr list -> 'a -> Cil.exp IH.t -> 'b -> Cil.exp IH.t list
Sourceclass aeVisitorClass : 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