package goblint-cil

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

Parameters

module A : AliasInfo

Signature

module IntMap : sig ... end
type reg = {
  1. rvi : Cil.varinfo;
  2. rval : Cil.exp;
  3. rmem : bool;
}
type t = reg IntMap.t
val empty : 'a IntMap.t
val equal : 'a -> 'a -> bool
val dependsOnMem : bool ref
class rewriteExpClass : t -> object ... end
val rewriteExp : t -> Cil.exp -> Cil.exp * bool
val eval : t -> Cil.exp -> Cil.exp
val setMemory : reg IntMap.t -> reg IntMap.t
val setRegister : reg IntMap.t -> Cil.varinfo -> (Cil.exp * bool) -> reg IntMap.t
val resetRegister : 'a IntMap.t -> int -> 'a IntMap.t
class findLval : Cil.lval -> bool ref -> object ... end
val removeMappingsThatDependOn : reg IntMap.t -> Cil.lval -> reg IntMap.t
val assign : t -> Cil.lval -> Cil.exp -> Cil.exp * t
val unassign : reg IntMap.t -> Cil.lval -> reg IntMap.t
val assembly : 'a -> 'b -> 'a
val assume : 'a -> 'b -> 'a
val evaluate : t -> Cil.exp -> Cil.exp
val join2 : t -> t -> reg IntMap.t
val join : t list -> t
val call : t -> Cil.fundec -> Cil.exp list -> Cil.exp list * t
val return : reg IntMap.t -> Cil.fundec -> reg IntMap.t
val call_to_unknown_function : reg IntMap.t -> reg IntMap.t
val debug : reg IntMap.t -> unit
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