package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Env : sig ... end

Represent the concrete state of a running program.

module type Program = sig ... end
module Interpreter (P : Program) : sig ... end

*

module Image : Program with type t = unit
module Dba_program : Program with type t = Dba_types.program
module Instr_list : sig ... end