package binsec

  1. Overview
  2. Docs
Semantic analysis of binary executables

Install 

dune-project
 Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (18)

Authors

  1. A
    Adel Djoudi
  2. B
    Benjamin Farinier
  3. C
    Chakib Foulani
  4. D
    Dorian Lesbre
  5. F
    Frédéric Recoules
  6. G
    Guillaume Girol
  7. J
    Josselin Feist
  8. L
    Lesly-Ann Daniel
  9. M
    Manh-Dung Nguyen
  10. M
    Mathéo Vergnolle
  11. M
    Mathilde Ollivier
  12. M
    Matthieu Lemerre
  13. O
    Olivier Nicole
  14. R
    Richard Bonichon
  15. R
    Robin David
  16. S
    Sébastien Bardin
  17. S
    Soline Ducousso
  18. T
    Ta Thanh Dinh
  19. Y
    Yaëlle Vinçont

Maintainers

  1. B
    BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.6.3.tbz
sha256=108b575f2b5405814cab41e34d15602045cc708c4b11ebb662a49ca759b3a37c
sha512=3c17273fc1deb160bc1bccf827e9afaec50715ee46d0b8e232be7599a0cd7c91f8422d59ea4d18f72c6133d9d026e21786b0d7c7ce8f394784f2cc350d9ada07

doc/src/binsec.sse/sse_tokens.ml.html

Source file sse_tokens.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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98

type token = 
  | ZEXT of (int)
  | XOR
  | WITH
  | WHILE
  | UNDEF
  | UMOD
  | ULT
  | ULE
  | UGT
  | UGE
  | UDIV
  | TO
  | TIMES
  | THEN
  | THAT
  | TAND
  | SYMBOL of (string * Dba.VarTag.attribute)
  | SUCH
  | STREAM
  | STARTING
  | SMOD
  | SLT
  | SLE
  | SGT
  | SGE
  | SEXT of (int)
  | SEMICOLON
  | SECTIONS
  | SECTION
  | SDIV
  | RPAR
  | ROR
  | ROL
  | RMEM
  | REPLACE
  | REACH
  | RARROW
  | RANGE of (int Interval.t)
  | QMARK
  | PRINT
  | PLUS
  | OR
  | NOT
  | NONDET
  | MUL
  | MODEL
  | MINUS
  | LSR
  | LSL
  | LPAR
  | LOR
  | LOAD
  | LMEM
  | LARROW
  | LAND
  | LABEL of (string)
  | JUMP
  | IS
  | INT of (Z.t)
  | IN
  | IF
  | IDENT of (string * int)
  | HEXA
  | HALT
  | GOTO
  | FROM
  | FORMULA
  | FOR
  | FILE
  | EQUAL
  | EOF
  | ENUMERATE
  | END
  | ELSE
  | DO
  | DIFF
  | DEC
  | CUT
  | CORE
  | CONST of (Bitvector.t)
  | CONCAT
  | COMMA
  | COLON
  | CASE
  | BY
  | BIN
  | AT
  | ASSUME
  | ASSIGN
  | ASSERT
  | ASR
  | ASCII
  | AS
  | ANY
  | AND
  | ABORT