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

codex.top Edit opam file Versions (1)

Authors

Maintainers

M

Matthieu Lemerre <matthieu.lemerre@cea.fr>

Sources

1.0-rc4.tar.gz

md5=bc7266a140c6886add673ede90e335d3

sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386

doc/codex.operator/Operator/Autolog/index.html

Module `Operator.Autolog`Source

These functors allows automatic logging of transfer functions. You define how to handle functions of different arities, and how to print values of different types, and then you can automatically log transfer functions of a given signature (the functor names correspond to this signature).

See Domains.Domain_log and Single_value_abstraction.Log for examples of instantiations.

Sourcemodule type BOOLEAN_CONVERSION = sig ... end

Sourcemodule type INTEGER_CONVERSION = sig ... end

Sourcemodule type ENUM_CONVERSION = sig ... end

Sourcemodule type BITVECTOR_CONVERSION = sig ... end

Sourcemodule type MEMORY_CONVERSION = sig ... end

Source

module Log_Boolean_Backward
  (C : BOOLEAN_CONVERSION)
  (F : sig ... end) : 
  sig ... end

Source

module Log_Integer_Backward
  (C : INTEGER_CONVERSION)
  (F : sig ... end) : 
  sig ... end

Source

module Log_Bitvector_Forward
  (C : BITVECTOR_CONVERSION)
  (F : sig ... end) : 
  sig ... end

Source

module Log_Bitvector_Forward_With_Bimul_add
  (C : BITVECTOR_CONVERSION)
  (F : sig ... end) : 
  sig ... end

Source

module Log_Binary_Forward
  (C : BITVECTOR_CONVERSION)
  (F : sig ... end) : 
  sig ... end

Sourcemodule Log_Enum_Forward (C : ENUM_CONVERSION) (F : sig ... end) : sig ... end

Source

module Log_Memory_Forward
  (C : MEMORY_CONVERSION)
  (F : sig ... end) : 
  sig ... end

package codex

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/codex.operator/Operator/Autolog/index.html

Module Operator.AutologSource

dune-project
Dependency

Module `Operator.Autolog`Source