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/src/binsec.parser/libparser.ml.html
Source file libparser.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78
(**************************************************************************) (* This file is part of BINSEC. *) (* *) (* Copyright (C) 2016-2025 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) (* you can redistribute it and/or modify it under the terms of the GNU *) (* Lesser General Public License as published by the Free Software *) (* Foundation, version 2.1. *) (* *) (* It is distributed in the hope that it will be useful, *) (* but WITHOUT ANY WARRANTY; without even the implied warranty of *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) (* GNU Lesser General Public License for more details. *) (* *) (* See the GNU Lesser General Public License version 2.1 *) (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) module Syntax = Syntax type obj = ( Ast.Expr.t Ast.loc -> Ast.Expr.t Ast.loc -> Ast.Expr.t, Ast.t, Ast.Expr.t Ast.loc, Ast.Instr.t, unit, Buffer.t, unit, Buffer.t, Ast.Loc.t Ast.loc, Ast.Obj.t, unit, string option, Dba.Var.Tag.attribute, Dba.Var.Tag.attribute, Dba.Var.Tag.attribute option, ((Ast.Expr.t Ast.loc -> Ast.Expr.t Ast.loc -> Ast.Expr.t) * Ast.Expr.t Ast.loc) list, Ast.Expr.t Ast.loc * Ast.Expr.t Ast.loc, (Ast.Expr.t Ast.loc * Ast.Expr.t Ast.loc) list, (Ast.Expr.t Ast.loc * Ast.Expr.t Ast.loc) list, Ast.Instr.t list, Ast.Instr.t list list, Ast.Instr.t list list, Ast.Expr.t Ast.loc * Ast.Instr.t list, (Ast.Expr.t Ast.loc * Ast.Instr.t list) list, (Ast.Expr.t Ast.loc * Ast.Instr.t list) list, Z.t, Ast.Instr.t list, Ast.Instr.t list option, string, string option, Ast.Instr.t list list, Z.t option, Machine.endianness, Machine.endianness option, Z.t, Z.t option, (Ast.Expr.t Ast.loc -> Ast.Expr.t Ast.loc -> Ast.Expr.t) * Ast.Expr.t Ast.loc, ((Ast.Expr.t Ast.loc -> Ast.Expr.t Ast.loc -> Ast.Expr.t) * Ast.Expr.t Ast.loc) list, Machine.endianness, Z.t, unit, int Interval.t, unit, Ast.t list, Ast.Instr.t list, string, Ast.Symbol.t Ast.loc, Ast.Expr.t Ast.loc -> Ast.Expr.t ) Syntax.obj
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>