package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

Dune Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (18)

Authors

Maintainers

B

BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.10.1.tbz

sha256=87d4048c9a90c8a14ee029e77d31032a15427f06416a31938cec8a68394234c4

sha512=6a023d2a5c87c56b0aac489874431d8dcccee1451a072a826190be3a7f75a961688bab95f193f494231744abc3bc9733ab5c809057d36a5e4d24c6c29c369144

doc/binsec.sse/Libsse/Opt/Flags/index.html

Module `Opt.Flags`Source

Sourceval name : string

The name of the plugin.

It should be unique.

Source

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

Source

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.

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.

Source

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

package binsec

Install

Dune Dependency

Authors

Maintainers

Sources

doc/binsec.sse/Libsse/Opt/Flags/index.html

Module Opt.FlagsSource

Module `Opt.Flags`Source