Module `Availexps`Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint-cil.zrapp/Availexps/index.html

Module `Availexps`Source

package goblint-cil

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint-cil.zrapp/Availexps/index.html

Module AvailexpsSource

Module `Availexps`Source