package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
val name : string

The name of the plugin.

It should be unique.

val grammar_extension : (unit, Libparser.obj, unit, unit, Libparser.obj Dyp.dyplexbuf) Dyp.dyp_action list

A list of dypgen grammar rules (Dyp.dyp_action).

val instruction_printer : (Format.formatter -> Binsec.Ast.Instr.t -> bool) option

let instruction_printer = Some f registers the custom printer f to format the new script instruction (Ast.Instr.t) in debug outputs.

The printer f should return true for the instructions it handles, false otherwise.

val declaration_printer : (Format.formatter -> Binsec.Ast.t -> bool) option

let instruction_printer = Some f registers the custom printer f to format the new top level script commands (Ast.t) in debug outputs.

The printer f should return true for the instructions it handles, false otherwise.

val extension : (module Types.EXPLORATION_STATISTICS) -> (module Path.S with type t = 'a) -> (module Types.STATE with type t = 'b) -> (module EXTENSION with type path = 'a and type state = 'b) option

extension stats path state should returns Some (module E : EXTENSION) to activate the plugin.

This function is called once per symbolic execution Run.