package binsec_codex

  1. Overview
  2. Docs
package binsec_codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Codex_options.LocationSource

Sourcetype address_location = int64 Syntax_tree.Location_identifier.t
Sourcemodule L : sig ... end
include module type of struct include L end
include sig ... end
Sourcetype location = Tracelog.location = ..
Sourcetype location +=
  1. | Function of string
  2. | Instruction of {
    1. locid : address_location;
    2. address : int64;
    }
  3. | Dba_instr of {
    1. locid : Binsec.Dba.Instr.t Syntax_tree.Location_identifier.t;
    2. dba_instr : Binsec.Dba.Instr.t;
    }
  4. | Dba_expr of {
    1. locid : Binsec.Dba.Expr.t Syntax_tree.Location_identifier.t;
    2. dba_expr : Binsec.Dba.Expr.t;
    }
Sourceval pp_loc : Format.formatter -> location -> unit
Sourceval pp_loc_stack : Format.formatter -> location list -> unit