package codex
The Codex library for building static analysers based on abstract interpretation
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.0-rc4.tar.gz
md5=bc7266a140c6886add673ede90e335d3
sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386
doc/codex.domains/Domains/Log/Log_With_Focusing/Memory_Forward/index.html
Module Log_With_Focusing.Memory_ForwardSource
Source
val load :
size:Units.In_bits.t ->
(memory, binary, binary * memory) Sig.Context_Arity_Forward(Context).ar2Source
val store :
size:Units.In_bits.t ->
(memory, binary, binary, memory) Sig.Context_Arity_Forward(Context).ar3Source
val memcpy :
size:Units.In_bits.t ->
(memory, binary, binary, memory) Sig.Context_Arity_Forward(Context).ar3Source
val malloc :
id:(int * string) ->
malloc_size:Units.In_bytes.t ->
(memory, binary * memory) Sig.Context_Arity_Forward(Context).ar1