package codex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

The Codex library for building static analysers based on abstract interpretation

Install

dune-project

Dependency

md5=bc7266a140c6886add673ede90e335d3

sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386

module C : MEMORY_CONVERSION

module F : sig ... end

val load : 
  size:Units.In_bits.t ->
  (C.memory, C.address, C.value * C.memory) C.Arity.ar2

val store : 
  size:Units.In_bits.t ->
  (C.memory, C.address, C.value, C.memory) C.Arity.ar3

Sourceval load_block : (C.memory, C.address, C.block * C.memory) C.Arity.ar2

Sourceval store_block : (C.memory, C.address, C.block, C.memory) C.Arity.ar3

val memcpy : 
  size:Units.In_bits.t ->
  (C.memory, C.address, C.address, C.memory) C.Arity.ar3

val malloc : 
  id:(int * string) ->
  malloc_size:Units.In_bytes.t ->
  (C.memory, C.address * C.memory) C.Arity.ar1

Sourceval free : (C.memory, C.address, C.memory) C.Arity.ar2

Sourceval unknown : level:int -> C.memory C.Arity.ar0

On This Page