Module Opt.FlagsSource

Sourceval name : string

The name of the plugin.

It should be unique.

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

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

Sourceval 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.

Sourceval 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.

Sourceval extension : (module Types.EXPLORATION_STATISTICS) -> (module Path.S with type t = 'a) -> (module Types.STATE with type t = 'b) -> (module Exec.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.