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/Syntax/index.html
Module Libparser.Syntax
Source
Source
type ('dypgen__Binop, 'dypgen__Decl, 'dypgen__Expr, 'dypgen__Instr, 'dypgen__Lex_dquote, 'dypgen__Lex_dquote_Arg_buf, 'dypgen__Lex_quote, 'dypgen__Lex_quote_Arg_buf, 'dypgen__Loc, 'dypgen__Obj, 'dypgen__Obj_accept_newline, 'dypgen__Obj_array, 'dypgen__Obj_attr, 'dypgen__Obj_dypgen__nested_nt_0, 'dypgen__Obj_dypgen__nested_nt_1, 'dypgen__Obj_dypgen__nested_nt_10, 'dypgen__Obj_dypgen__nested_nt_11, 'dypgen__Obj_dypgen__nested_nt_12, 'dypgen__Obj_dypgen__nested_nt_13, 'dypgen__Obj_dypgen__nested_nt_14, 'dypgen__Obj_dypgen__nested_nt_15, 'dypgen__Obj_dypgen__nested_nt_16, 'dypgen__Obj_dypgen__nested_nt_17, 'dypgen__Obj_dypgen__nested_nt_18, 'dypgen__Obj_dypgen__nested_nt_19, 'dypgen__Obj_dypgen__nested_nt_2, 'dypgen__Obj_dypgen__nested_nt_20, 'dypgen__Obj_dypgen__nested_nt_21, 'dypgen__Obj_dypgen__nested_nt_22, 'dypgen__Obj_dypgen__nested_nt_23, 'dypgen__Obj_dypgen__nested_nt_24, 'dypgen__Obj_dypgen__nested_nt_3, 'dypgen__Obj_dypgen__nested_nt_4, 'dypgen__Obj_dypgen__nested_nt_5, 'dypgen__Obj_dypgen__nested_nt_6, 'dypgen__Obj_dypgen__nested_nt_7, 'dypgen__Obj_dypgen__nested_nt_8, 'dypgen__Obj_dypgen__nested_nt_9, 'dypgen__Obj_endianness, 'dypgen__Obj_int, 'dypgen__Obj_newline, 'dypgen__Obj_range, 'dypgen__Obj_separator, 'dypgen__Program, 'dypgen__Stmt, 'dypgen__String, 'dypgen__Symbol, 'dypgen__Unop)
obj =
| Binop of 'dypgen__Binop
| Decl of 'dypgen__Decl
| Expr of 'dypgen__Expr
| Instr of 'dypgen__Instr
| Lex_dquote of 'dypgen__Lex_dquote
| Lex_dquote_Arg_buf of 'dypgen__Lex_dquote_Arg_buf
| Lex_quote of 'dypgen__Lex_quote
| Lex_quote_Arg_buf of 'dypgen__Lex_quote_Arg_buf
| Lexeme_matched of string
| Loc of 'dypgen__Loc
| Obj of 'dypgen__Obj
| Obj_ABORT
| Obj_AS
| Obj_ASCII
| Obj_ASR
| Obj_ASSERT
| Obj_ASSET
| Obj_ASSUME
| Obj_AT
| Obj_BIN
| Obj_BY
| Obj_CASE
| Obj_CONST of Binsec.Bitvector.t
| Obj_CORE
| Obj_CSTRING
| Obj_CUT
| Obj_DEC
| Obj_DO
| Obj_ELSE
| Obj_END
| Obj_ENUMERATE
| Obj_FILE
| Obj_FOR
| Obj_FORMULA
| Obj_FROM
| Obj_GOTO
| Obj_HALT
| Obj_HEXA
| Obj_IF
| Obj_IMPORT
| Obj_IN
| Obj_INT of string
| Obj_IS
| Obj_JUMP
| Obj_LAST
| Obj_LOAD
| Obj_LSL
| Obj_LSR
| Obj_MODEL
| Obj_NONDET
| Obj_PRINT
| Obj_REACH
| Obj_REPLACE
| Obj_ROL
| Obj_ROR
| Obj_SECTION
| Obj_SECTIONS
| Obj_SEXT of int
| Obj_SIZE
| Obj_STARTING
| Obj_STREAM
| Obj_SUCH
| Obj_THAT
| Obj_THEN
| Obj_TIMES
| Obj_TO
| Obj_UNDEF
| Obj_VALUE
| Obj_WHILE
| Obj_WITH
| Obj_ZEXT of int
| Obj___dypgen_layout
| Obj_accept_newline of 'dypgen__Obj_accept_newline
| Obj_array of 'dypgen__Obj_array
| Obj_attr of 'dypgen__Obj_attr
| Obj_dypgen__nested_nt_0 of 'dypgen__Obj_dypgen__nested_nt_0
| Obj_dypgen__nested_nt_1 of 'dypgen__Obj_dypgen__nested_nt_1
| Obj_dypgen__nested_nt_10 of 'dypgen__Obj_dypgen__nested_nt_10
| Obj_dypgen__nested_nt_11 of 'dypgen__Obj_dypgen__nested_nt_11
| Obj_dypgen__nested_nt_12 of 'dypgen__Obj_dypgen__nested_nt_12
| Obj_dypgen__nested_nt_13 of 'dypgen__Obj_dypgen__nested_nt_13
| Obj_dypgen__nested_nt_14 of 'dypgen__Obj_dypgen__nested_nt_14
| Obj_dypgen__nested_nt_15 of 'dypgen__Obj_dypgen__nested_nt_15
| Obj_dypgen__nested_nt_16 of 'dypgen__Obj_dypgen__nested_nt_16
| Obj_dypgen__nested_nt_17 of 'dypgen__Obj_dypgen__nested_nt_17
| Obj_dypgen__nested_nt_18 of 'dypgen__Obj_dypgen__nested_nt_18
| Obj_dypgen__nested_nt_19 of 'dypgen__Obj_dypgen__nested_nt_19
| Obj_dypgen__nested_nt_2 of 'dypgen__Obj_dypgen__nested_nt_2
| Obj_dypgen__nested_nt_20 of 'dypgen__Obj_dypgen__nested_nt_20
| Obj_dypgen__nested_nt_21 of 'dypgen__Obj_dypgen__nested_nt_21
| Obj_dypgen__nested_nt_22 of 'dypgen__Obj_dypgen__nested_nt_22
| Obj_dypgen__nested_nt_23 of 'dypgen__Obj_dypgen__nested_nt_23
| Obj_dypgen__nested_nt_24 of 'dypgen__Obj_dypgen__nested_nt_24
| Obj_dypgen__nested_nt_3 of 'dypgen__Obj_dypgen__nested_nt_3
| Obj_dypgen__nested_nt_4 of 'dypgen__Obj_dypgen__nested_nt_4
| Obj_dypgen__nested_nt_5 of 'dypgen__Obj_dypgen__nested_nt_5
| Obj_dypgen__nested_nt_6 of 'dypgen__Obj_dypgen__nested_nt_6
| Obj_dypgen__nested_nt_7 of 'dypgen__Obj_dypgen__nested_nt_7
| Obj_dypgen__nested_nt_8 of 'dypgen__Obj_dypgen__nested_nt_8
| Obj_dypgen__nested_nt_9 of 'dypgen__Obj_dypgen__nested_nt_9
| Obj_dypgen__star___stmt of 'dypgen__Stmt list
| Obj_endianness of 'dypgen__Obj_endianness
| Obj_int of 'dypgen__Obj_int
| Obj_newline of 'dypgen__Obj_newline
| Obj_range of 'dypgen__Obj_range
| Obj_separator of 'dypgen__Obj_separator
| Program of 'dypgen__Program
| Stmt of 'dypgen__Stmt
| String of 'dypgen__String
| Symbol of 'dypgen__Symbol
| Unop of 'dypgen__Unop
| Dypgen__dummy_obj_cons
Source
val pp :
unit ->
(unit,
(Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t,
'a,
Binsec.Ast.Expr.t Binsec.Ast.loc,
Binsec.Ast.Instr.t,
unit,
Buffer.t,
unit,
Buffer.t,
Binsec.Ast.Loc.t Binsec.Ast.loc,
'b,
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,
'c,
Binsec.Ast.Instr.t list,
string,
Binsec.Ast.Symbol.t Binsec.Ast.loc,
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t)
obj,
unit,
unit,
'd Dyp.dyplexbuf)
Dyp.parser_pilot
Source
val stmts :
?global_data:unit ->
?local_data:unit ->
(Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t,
'a,
Binsec.Ast.Expr.t Binsec.Ast.loc,
Binsec.Ast.Instr.t,
unit,
Buffer.t,
unit,
Buffer.t,
Binsec.Ast.Loc.t Binsec.Ast.loc,
'b,
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,
'c,
Binsec.Ast.Instr.t list,
string,
Binsec.Ast.Symbol.t Binsec.Ast.loc,
Binsec.Ast.Expr.t Binsec.Ast.loc ->
Binsec.Ast.Expr.t)
obj
Dyp.dyplexbuf ->
(Binsec.Ast.Instr.t list * string) list
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>