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.9.1.tbz
sha256=a6ccc9c0a756f6056a5bf6a2f602d59690944f4164cc180d0082c36f081e7e94
sha512=cd85654f94da9ce8fedab746c557c326821cc7932005337303607e0c52d7caf403655fc1000b34d32f1f2606ab1b3d079b9057346ef0a2f88057e0dd7b412cce
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.