Module `Common.Base`Source

Base storage of scalar values.

Sourcetype base_kind =

| Var of Mopsa.var
(*
Stack variable
*)
| Addr of Mopsa.addr
(*
Heap address
*)
| String of string * C_lang.Lang.Ast.c_character_kind * Mopsa.typ
(*
String literal, with character kind and type of character
*)

Kinds of bases

Sourcetype base = {

base_kind : base_kind;
base_valid : bool;
base_invalidation_range : Mopsa.range option;

}

Bases

Sourceval pp_base_kind : Stdlib.Format.formatter -> base_kind -> unit

Sourceval pp_base : Stdlib.Format.formatter -> base -> unit

Sourceval compare_base_kind : base_kind -> base_kind -> int

Sourceval compare_base : base -> base -> int

Source

val mk_base : 
  ?valid:bool ->
  ?invalidation_range:Mopsa.range option ->
  base_kind ->
  base

Source

val mk_var_base : 
  ?valid:bool ->
  ?invalidation_range:Mopsa.range option ->
  Mopsa.var ->
  base

Source

val mk_addr_base : 
  ?valid:bool ->
  ?invalidation_range:Mopsa.range option ->
  Mopsa.addr ->
  base

Source

val mk_string_base : 
  ?kind:C_lang.Lang.Ast.c_character_kind ->
  ?typ:Mopsa.typ ->
  string ->
  base

Sourceval base_kind_uniq_name : base_kind -> string

Sourceval base_uniq_name : base -> string

Sourceval base_size : base -> 'a Mopsa.Flow.flow -> Z.t

Sourceval base_mode : base -> Mopsa.mode

Sourcetype addr_opacity =

| NotOpaque
| OpaqueFrom of int

Sourceval addr_opaque_chain : (Mopsa.addr_kind -> addr_opacity) Stdlib.ref

Sourceval addr_opaque : Mopsa.addr_kind -> addr_opacity

Source

val register_addr_opaque : 
  ((Mopsa.addr_kind -> addr_opacity) -> Mopsa.addr_kind -> addr_opacity) ->
  unit

Sourceval is_base_readonly : base -> bool

Sourceval is_var_base_expr : Mopsa.expr -> bool

Sourceval is_addr_base_expr : Mopsa.expr -> bool

Sourceval is_base_expr : Mopsa.expr -> bool

Sourceval expr_to_base : Mopsa.expr -> base

Sourceval base_to_expr : base -> Mopsa_utils.Location.range -> Mopsa.expr

Source

val eval_base_size : 
  ?route:Mopsa.route ->
  base ->
  Mopsa_utils.Location.range ->
  ('a, 't) Mopsa.man ->
  'a Core.Flow.flow ->
  ('a, Mopsa.expr) Mopsa.Cases.cases

Evaluate the size of a base in bytes

Sourcemodule Base : sig ... end

module BaseSet : sig ... end

module BaseMap : sig ... end

Source

val mk_lval : 
  base ->
  Mopsa.expr ->
  Mopsa.typ ->
  Ast.Var.mode option ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Install

Dune Dependency

Authors

Maintainers

Sources

doc/c_common/C_common/Common/Base/index.html

Module `Common.Base`Source

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/c_common/C_common/Common/Base/index.html

Module Common.BaseSource

Module `Common.Base`Source