package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

*

Parameters

module P : Program

Signature

exception AssertFailure of Dba.address
exception EndOfTrace of Env.t
val fetch : P.t -> Dba.address -> Dba.Instr.t