Policies (p.mopsa.1.2.doc.mopsa.mopsa_analyzer.Mopsa_analyzer.Languages.Universal.Heap.Policies)

mopsa
- CHANGELOG
- README
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
- Library mopsa.mopsa_build_db
  - Mopsa_build_db
- Library mopsa.mopsa_c_parser
  - Mopsa_c_parser
- Library mopsa.mopsa_c_stubs_parser
- Library mopsa.mopsa_py_parser
  - Mopsa_py_parser
- Library mopsa.mopsa_universal_parser
  - Mopsa_universal_parser
- Library mopsa.mopsa_utils
  - Mopsa_utils
- Library parsing
  - Parsing
- Library passes
  - Passes
- Sources

type MopsaLib.addr_partitioning +=

| G_range of MopsaLib.range
| G_stack_range of MopsaLib.callstack * MopsaLib.range
| G_control_ctx_range of Mopsa_utils.Core.ControlCtx.control_ctx * MopsaLib.range
| G_stack of MopsaLib.callstack

val mk_addr_range : 
  MopsaLib.addr_kind ->
  Framework.Core.Ast.Var.mode ->
  MopsaLib.range ->
  'a ->
  MopsaLib.addr

val mk_addr_stack_range : 
  MopsaLib.addr_kind ->
  Framework.Core.Ast.Var.mode ->
  MopsaLib.range ->
  Mopsa_utils.Core.ControlCtx.control_ctx ->
  MopsaLib.addr

val mk_addr_control_range : 
  MopsaLib.addr_kind ->
  Framework.Core.Ast.Var.mode ->
  MopsaLib.range ->
  Mopsa_utils.Core.ControlCtx.control_ctx ->
  MopsaLib.addr

val mk_addr_stack : 
  MopsaLib.addr_kind ->
  Framework.Core.Ast.Var.mode ->
  'a ->
  Mopsa_utils.Core.ControlCtx.control_ctx ->
  MopsaLib.addr

val mk_addr_all : 
  MopsaLib.addr_kind ->
  Framework.Core.Ast.Var.mode ->
  'a ->
  'b ->
  MopsaLib.addr

val mk_addr_chain : 
  (MopsaLib.addr_kind ->
    MopsaLib.mode ->
    MopsaLib.range ->
    Mopsa_utils.Core.ControlCtx.control_ctx ->
    MopsaLib.addr)
    ref

val mk_addr : 
  MopsaLib.addr_kind ->
  MopsaLib.mode ->
  MopsaLib.range ->
  Mopsa_utils.Core.ControlCtx.control_ctx ->
  MopsaLib.addr

val register_mk_addr : 
  ((MopsaLib.addr_kind ->
     MopsaLib.mode ->
     MopsaLib.range ->
     Mopsa_utils.Core.ControlCtx.control_ctx ->
     MopsaLib.addr) ->
    MopsaLib.addr_kind ->
    MopsaLib.mode ->
    MopsaLib.range ->
    Mopsa_utils.Core.ControlCtx.control_ctx ->
    MopsaLib.addr) ->
  unit

val register_option : 
  string ref ->
  string ->
  string ->
  string ->
  ((MopsaLib.addr_kind ->
     MopsaLib.mode ->
     MopsaLib.range ->
     Mopsa_utils.Core.ControlCtx.control_ctx ->
     MopsaLib.addr) ->
    MopsaLib.addr_kind ->
    MopsaLib.mode ->
    MopsaLib.range ->
    Mopsa_utils.Core.ControlCtx.control_ctx ->
    MopsaLib.addr) ->
  unit

val of_string : 
  string ->
  MopsaLib.addr_kind ->
  Framework.Core.Ast.Var.mode ->
  MopsaLib.range ->
  Mopsa_utils.Core.ControlCtx.control_ctx ->
  MopsaLib.addr