package binsec
Semantic analysis of binary executables
Install
Dune Dependency
Authors
-
AAdel Djoudi
-
BBenjamin Farinier
-
CChakib Foulani
-
DDorian Lesbre
-
FFrédéric Recoules
-
GGuillaume Girol
-
JJosselin Feist
-
LLesly-Ann Daniel
-
MMahmudul Faisal Al Ameen
-
MManh-Dung Nguyen
-
MMathéo Vergnolle
-
MMathilde Ollivier
-
MMatthieu Lemerre
-
NNicolas Bellec
-
OOlivier Nicole
-
RRichard Bonichon
-
RRobin David
-
SSébastien Bardin
-
SSoline Ducousso
-
TTa Thanh Dinh
-
YYaëlle Vinçont
-
YYanis Sellami
Maintainers
Sources
binsec-0.10.0.tbz
sha256=f9f66dc2a16f10d4afc9599ce76f19d3868fca184b42f2a28bc81b37089be68f
sha512=bc56322323d1c56870bb8618c9eeed95fa7eb0ba8bde3c9ea9fe86627ecb1c97abc610401e3af7662c9f9386719be284d7144c5af5d39b3f64c63e2b2cdecb1d
doc/binsec.sse/Libsse/Exec/module-type-PLUGIN/index.html
Module type Exec.PLUGINSource
val grammar_extension :
(unit, Libparser.obj, unit, unit, Libparser.obj Dyp.dyplexbuf) Dyp.dyp_action
listA list of dypgen grammar rules (Dyp.dyp_action).
val instruction_printer :
(Format.formatter -> Binsec.Ast.Instr.t -> bool) optionlet 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) optionlet 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) optionextension stats path state should returns Some (module E : EXTENSION) to activate the plugin.
This function is called once per symbolic execution Run.