package goblint-cil

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

Install

Dune Dependency

github.com Readme Edit opam file Versions (11)

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 Rmciltmps

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