package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Wp.RegionSource

Sourcetype region
Sourcetype map
Sourcemodule R : Layout.Data with type t = region
Sourcemodule Map : Qed.Idxmap.S with type key = region
Sourcemodule Set : Qed.Idxset.S with type elt = region
Sourceval create : unit -> map
Sourceval is_empty : map -> bool
Sourceval iter : map -> (region -> unit) -> unit
Sourceval id : region -> int
Sourceval noid : int
Sourceval get_addrof : map -> region -> region
Sourceval add_pointed : map -> region -> region
Sourceval add_offset : map -> region -> Layout.offset -> region
Sourceval field_offset : map -> Frama_c_kernel.Cil_types.fieldinfo -> int * int
Sourceval get_froms : map -> region -> region Layout.from list
Sourceval get_roots : map -> region -> Layout.root
Sourceval has_roots : map -> region -> bool
Sourceval is_garbled : region -> bool
Sourceval has_pointed : region -> bool
Sourceval has_layout : region -> bool
Sourceval has_offset : region -> Layout.offset -> bool
Sourceval has_copies : region -> bool
Sourceval has_deref : region -> bool
Sourceval has_names : region -> bool
Sourceval has_return : map -> bool
Sourceval get_pointed : map -> region -> region option
Sourceval get_offset : map -> region -> Layout.offset -> region option
Sourceval get_copies : map -> region -> region list
Sourceval get_alias : map -> region -> region
Sourceval get_merged : map -> region -> region option
Sourceval eq_alias : map -> region -> region -> bool
Sourceval acs_read : region -> Layout.lvalue -> unit
Sourceval acs_write : region -> Layout.lvalue -> unit
Sourceval acs_shift : region -> Layout.lvalue -> unit
Sourceval acs_deref : region -> Layout.deref -> unit
Sourceval acs_copy : src:region -> tgt:region -> unit
Sourceval is_read : region -> bool
Sourceval is_written : region -> bool
Sourceval is_shifted : region -> bool
Sourceval is_aliased : region -> bool
Sourceval iter_read : (Layout.lvalue -> unit) -> region -> unit
Sourceval iter_write : (Layout.lvalue -> unit) -> region -> unit
Sourceval iter_shift : (Layout.lvalue -> unit) -> region -> unit
Sourceval iter_deref : (Layout.deref -> unit) -> region -> unit
Sourceval iter_offset : map -> (Layout.offset -> region -> unit) -> region -> unit
Sourceval iter_copies : map -> (region -> unit) -> region -> unit
Sourceval iter_vars : map -> (Frama_c_kernel.Cil_types.varinfo -> region -> unit) -> unit
Sourceval iter_names : map -> (string -> region -> unit) -> unit
Sourceval iter_strings : map -> (region -> string -> unit) -> unit
Sourceval of_null : map -> region
Sourceval of_return : map -> region
Sourceval of_cstring : map -> eid:int -> cst:string -> region
Sourceval of_name : map -> string -> region
Sourceval of_class : map -> string option -> region
Sourceval region : map -> int -> region
Sourceval chunks : map -> region -> Layout.chunks
Sourceval alias : map -> region -> region -> region
Sourceval do_alias : map -> region -> region -> unit
Sourceval add_alias : map -> into:region -> region -> unit
Sourceval fusion : map -> unit
Sourceval fusionned : map -> bool
Sourceval iter_fusion : map -> (int -> region -> unit) -> unit
Sourceval fixpoint : map -> 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