Module `Binsec_codex_lib.Arch_settings`

This module signature describes two rather distinct components:

a description of the architecture registers, along with the initial abstract values that they should contain
other settings for the analysis such as a hook table.

All these signatures are parameterized by an abstract domain.

module type Registers = sig ... end

module type S =
  functor (Domain : Codex.Domains.Memory_domains.With_focusing.S_with_types) ->
  sig ... end

Module Binsec_codex_lib.Arch_settings