package codex

You can search for identifiers within the package.

in-package search v0.2.0

The Codex library for building static analysers based on abstract interpretation

Install

dune-project

Dependency

md5=bc7266a140c6886add673ede90e335d3

sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386

val sizeof : (block, offset) Sig.Context_Arity_Forward(Context).ar1

Size of a block in bytes

val concat : (block, block, block) Sig.Context_Arity_Forward(Context).ar2

Concatenates two blocks

val load : 
  size:Units.In_bits.t ->
  (block, offset, binary) Sig.Context_Arity_Forward(Context).ar2

Loads (extracts) a value of a fixed size at a given index from a block

val store : 
  size:Units.In_bits.t ->
  (block, offset, binary, block) Sig.Context_Arity_Forward(Context).ar3

Stores (writes) a fixed size value of a given index in a block

val binary_to_block : 
  size:Units.In_bits.t ->
  (binary, block) Sig.Context_Arity_Forward(Context).ar1

Converts a fixed size value to a block