package goblint-cil

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

Install

Dune Dependency

cil-project.github.io Readme Edit opam file Versions (11)

Authors

  1. G
    gabriel@kerneis.info

Maintainers

  1. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  2. R
    Ralf Vogler <ralf.vogler@gmail.com>

Sources

1.8.0.tar.gz
md5=796ad26120b5c6b939a57e8623088aef
sha512=01a58ac6d928afead21c8a97af5865715114cd0562234d1d4aef9e4ac5d91415d040a15927c52cb896dbb39a53e915627f498ebe2d026a548c3ff597682041b2

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
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