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.1.tbz
sha256=87d4048c9a90c8a14ee029e77d31032a15427f06416a31938cec8a68394234c4
sha512=6a023d2a5c87c56b0aac489874431d8dcccee1451a072a826190be3a7f75a961688bab95f193f494231744abc3bc9733ab5c809057d36a5e4d24c6c29c369144
doc/binsec.parser/Libparser/index.html
Module Libparser
Source
Source
type obj =
(Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t,
Binsec.Ast.t,
Binsec.Ast.Expr.t Binsec.Ast.loc,
Binsec.Ast.Instr.t,
unit,
Buffer.t,
unit,
Buffer.t,
Binsec.Ast.Loc.t Binsec.Ast.loc,
Binsec.Ast.Obj.t,
unit,
string option,
Binsec.Dba.Var.Tag.attribute,
Binsec.Dba.Var.Tag.attribute,
Binsec.Dba.Var.Tag.attribute option,
((Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t)
* Binsec.Ast.Expr.t Binsec.Ast.loc)
list,
Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc,
(Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc) list,
(Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Expr.t Binsec.Ast.loc) list,
Binsec.Ast.Instr.t list,
Binsec.Ast.Instr.t list list,
Binsec.Ast.Instr.t list list,
Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list,
(Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list) list,
(Binsec.Ast.Expr.t Binsec.Ast.loc * Binsec.Ast.Instr.t list) list,
Z.t,
Binsec.Ast.Instr.t list,
Binsec.Ast.Instr.t list option,
string,
string option,
Binsec.Ast.Instr.t list list,
Z.t option,
Binsec.Machine.endianness,
Binsec.Machine.endianness option,
Z.t,
Z.t option,
(Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t)
* Binsec.Ast.Expr.t Binsec.Ast.loc,
((Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t)
* Binsec.Ast.Expr.t Binsec.Ast.loc)
list,
Binsec.Machine.endianness,
Z.t,
unit,
int Binsec.Interval.t,
unit,
Binsec.Ast.t list,
Binsec.Ast.Instr.t list,
string,
Binsec.Ast.Symbol.t Binsec.Ast.loc,
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t)
Syntax.obj
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>