BINSEC development team (@binsec)
Guthub

binsec

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    472
  • Global Org. Rank 24,698 (Top 8 %)
  • Registered over 6 years ago
  • Most used languages
    OCaml
         40.0 %
    C++
         20.0 %
    C
         13.3 %
    Java
         6.7 %
    SWIG     6.7 %
    Roff     6.7 %
    Sass     6.7 %

Top repositories

1

binsec

BINSEC binary-level open-source platform
OCaml
318
star
2

xyntia

Xyntia, the black-box deobfuscator
OCaml
60
star
3

Rel

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
OCaml
31
star
4

klee21-tina-artifact

TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semantically equivalent C code amenable to verification, in order to take advantage of existing C analyzers.
27
star
5

haunted

Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
OCaml
15
star
6

icse2021-artifact992

SWIG
10
star
7

rtas2021_artifact

OCaml
5
star
8

preca

Constraint acquisition based precondition learner
Java
5
star
9

binsec.github.io

www presence for the BINSEC binary-level analysis open-source platform
Sass
5
star
10

haunted_bench

Benchmarks for Binsec/Rel tool.
C
4
star
11

rel_bench

Benchmark (mostly cryptographic programs) for Binsec/Rel.
Roff
3
star
12

hade

C
3
star
13

tfml

OCaml
3
star
14

cav2021-artifacts

C++
2
star
15

unisim_archisec

OCaml binding for the external UNISIM DBA decoder
C++
2
star
16

esop2023_artefact

1
star
17

xtrasec

A (simple) PIN-based tracer for BINSEC
C++
1
star