package goblint-cil

  1. Overview
  2. Docs
A front-end for the C programming language that facilitates program analysis and transformation

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (12)

Authors

  1. G
    gabriel@kerneis.info

Maintainers

  1. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  2. S
    Simmo Saan <simmo.saan@gmail.com>
  3. R
    Ralf Vogler <ralf.vogler@gmail.com>

Sources

goblint-cil-1.8.2.tbz
sha256=f4711e3fa53c482cdef2d7ed62b287d859ce55ef8b4ddfdc6071e81034c3bc89
sha512=8a861aa04aed7684a7c86207cfd5b63503984917fe53ae4866890242cb0db38d2c4f7bd5a5565fd094da064fb290e67071bae6874377e10d2005330c71cc13a2

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

Module RmciltmpsSource

module E = Errormsg
Sourcemodule RD = Reachingdefs
Sourcemodule AELV = Availexpslv
Sourcemodule UD = Usedef
module IH = Inthash
module S = Stats
Sourcemodule IS : sig ... end
Sourceval debug : bool ref
Sourceval doTime : bool ref
Sourceval time : string -> ('a -> 'b) -> 'a -> 'b
Sourcetype nameform =
  1. | Suffix of string
  2. | Prefix of string
  3. | Exact of string
Sourceval getDefRhs : int -> (RD.rhs * int * RD.IOS.t RD.IH.t) option
Sourceval exp_ok : bool ref
Sourceclass memReadOrAddrOfFinderClass : object ... end
Sourceval memReadOrAddrOfFinder : memReadOrAddrOfFinderClass
Sourceval exp_is_ok_replacement : Cil.exp -> bool
Sourceval emptyStmt : Cil.stmt
Sourceclass stmtFinderClass : int -> object ... end
Sourceval find_statement : 'a -> int -> Cil.stmt option
Sourceval wbHtbl : (int * int, bool) Hashtbl.t
Sourceval writes_between : 'a -> int -> int -> bool
Sourceval verify_unmodified : UD.VS.t -> UD.VS.t -> RD.IOS.t RD.IH.t -> RD.IOS.t RD.IH.t -> bool
Sourceval fdefs : UD.VS.t ref
Sourceval udDeepSkindHtbl : (UD.VS.t * UD.VS.t) IH.t
Sourceclass defCollectorClass : object ... end
Sourceval defCollector : defCollectorClass
Sourceval collect_fun_defs : Cil.fundec -> UD.VS.t
Sourceval ok_to_replace : Cil.varinfo -> RD.IOS.t RD.IH.t -> int -> RD.IOS.t RD.IH.t -> int -> Cil.fundec -> RD.rhs -> bool
Sourceval useList : int list ref
Sourceclass useListerClass : int -> Cil.varinfo -> object ... end
Sourceval ok_to_replace_with_incdec : RD.IOS.t RD.IH.t -> RD.IOS.t RD.IH.t -> Cil.fundec -> int -> Cil.varinfo -> RD.rhs -> (int * int * Cil.varinfo * Cil.binop) option
Sourceval iioh : Cil.instr option IH.t
Sourceval incdecHash : (int * Cil.varinfo * Cil.binop) IH.t
Sourceval idDefHash : (int * int) list IH.t
Sourceval id_dh_add : int -> (int * int) -> unit
Sourceval check_form : string -> nameform -> bool
Sourceval check_forms : string -> nameform list -> bool
Sourceval forms : nameform list
Sourceval varXformClass : ('a -> 'b -> Cil.varinfo -> 'c -> 'd -> Cil.exp option) -> 'a -> 'b -> 'c -> 'd -> Cil.nopCilVisitor
Sourceval lvalXformClass : ('a -> 'b -> Cil.lval -> 'c -> 'd -> Cil.exp option) -> 'a -> 'b -> 'c -> 'd -> Cil.nopCilVisitor
Sourceval iosh_get_useful_def : RD.IOS.t IH.t -> Cil.varinfo -> RD.IOS.elt
Sourceval ae_tmp_to_exp_change : bool ref
Sourceval ae_tmp_to_exp : Cil.exp IH.t -> 'a -> Cil.varinfo -> 'b -> bool -> Cil.exp option
Sourceval ae_lval_to_exp_change : bool ref
Sourceval ae_lval_to_exp : ?propStrings:bool -> Cil.exp AELV.LvExpHash.t -> 'a -> AELV.LvExpHash.key -> 'b -> bool -> Cil.exp option
Sourceval rd_tmp_to_exp_change : bool ref
Sourceval rd_tmp_to_exp : RD.IOS.t IH.t -> int -> Cil.varinfo -> Cil.fundec -> bool -> Cil.exp option
Sourceval rd_fwd_subst : RD.IOS.t IH.t -> int -> Cil.exp -> Cil.fundec -> bool -> Cil.exp * bool
Sourceval ae_fwd_subst : Cil.exp IH.t -> 'a -> Cil.exp -> 'b -> bool -> Cil.exp * bool
Sourceval ae_lv_fwd_subst : ?propStrings:bool -> Cil.exp AELV.LvExpHash.t -> 'a -> Cil.exp -> 'b -> bool -> Cil.exp * bool
Sourceval ae_simp_fwd_subst : Cil.exp IH.t -> Cil.exp -> bool -> Cil.exp * bool
Sourceval ae_lv_simp_fwd_subst : Cil.exp AELV.LvExpHash.t -> Cil.exp -> bool -> Cil.exp * bool
Sourceval ae_tmp_to_const_change : bool ref
Sourceval ae_tmp_to_const : Cil.exp IH.t -> 'a -> Cil.varinfo -> 'b -> bool -> Cil.exp option
Sourceval tmp_to_const_change : bool ref
Sourceval tmp_to_const : RD.IOS.t RD.IH.t -> int -> Cil.varinfo -> Cil.fundec -> bool -> Cil.exp option
Sourceval const_prop : RD.IOS.t RD.IH.t -> int -> Cil.exp -> Cil.fundec -> bool -> Cil.exp * bool
Sourceval ae_const_prop : Cil.exp IH.t -> 'a -> Cil.exp -> 'b -> bool -> Cil.exp * bool
Sourceclass expTempElimClass : Cil.fundec -> object ... end
Sourceclass expLvTmpElimClass : Cil.fundec -> object ... end
Sourceclass incdecTempElimClass : Cil.fundec -> object ... end
Sourceclass callTempElimClass : Cil.fundec -> object ... end
Sourceval rm_unused_locals : Cil.fundec -> unit
Sourceval is_volatile : Cil.varinfo -> bool
Sourceval fold_blocks : Cil.block -> unit
Sourceclass removeBrackets : object ... end
Sourceval eliminate_temps : Cil.fundec -> Cil.fundec
Sourceval eliminateTempsForExpPrinting : Cil.fundec -> Cil.fundec