Module `Common.Base`

Base storage of scalar values.

type base_kind =

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

Kinds of bases

type base = {

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

}

Bases

val pp_base_kind : Format.formatter -> base_kind -> unit

val pp_base : Format.formatter -> base -> unit

val compare_base_kind : base_kind -> base_kind -> int

val compare_base : base -> base -> int

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

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

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

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

val base_kind_uniq_name : base_kind -> string

val base_uniq_name : base -> string

val base_size : base -> 'a Mopsa_analyzer.MopsaLib.Flow.flow -> Z.t

val base_mode : base -> MopsaLib.mode

type addr_opacity =

| NotOpaque
| OpaqueFrom of int

val addr_opaque_chain : (MopsaLib.addr_kind -> addr_opacity) ref

val addr_opaque : MopsaLib.addr_kind -> addr_opacity

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

val is_base_readonly : base -> bool

val is_var_base_expr : MopsaLib.expr -> bool

val is_addr_base_expr : MopsaLib.expr -> bool

val is_base_expr : MopsaLib.expr -> bool

val expr_to_base : MopsaLib.expr -> base

val base_to_expr : base -> Mopsa_utils.Core.Location.range -> MopsaLib.expr

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

Evaluate the size of a base in bytes

module Base : sig ... end

module BaseSet : sig ... end

module BaseMap : sig ... end

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

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Languages/C/Common/Base/index.html

Module `Common.Base`

package mopsa

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Languages/C/Common/Base/index.html

Module Common.Base

dune-project
Dependency

Module `Common.Base`