BINSEC development team

BINSEC development team's repositories

binsec

BINSEC binary-level open-source platform

Language:OCamlLGPL-2.1316 14 36

xyntia

Xyntia, the black-box deobfuscator

Language:OCaml61 7 1

Rel

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

Language:OCamlLGPL-2.132 7 6

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.

MIT27 6 2

haunted

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

Language:OCamlLGPL-2.115 5 3

icse2021-artifact992

Language:SWIGGPL-3.010 20

binsec.github.io

www presence for the BINSEC binary-level analysis open-source platform

Language:Sass5 3 1

preca

Constraint acquisition based precondition learner

Language:JavaLGPL-2.15 30

rtas2021_artifact

Language:OCaml5 40

haunted_bench

Benchmarks for Binsec/Rel tool.

Language:C4 5 3

rel_bench

Benchmark (mostly cryptographic programs) for Binsec/Rel.

Language:Roff4 5 1

hade

Language:C3 30

tfml

Language:OCamlNOASSERTION3 40

cav2021-artifacts

Language:C++2 40

uafuzz

UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities

Language:C2 20

unisim_archisec

OCaml binding for the external UNISIM DBA decoder

Language:C++NOASSERTION2 4 2

esop2023_artefact

GPL-3.01 30

uafbench

UAF Fuzzing Benchmark

Language:C1 20

xtrasec

A (simple) PIN-based tracer for BINSEC

Language:C++1 30

acsac18

030

binsec-ase

Language:OCamlLGPL-2.1030

dca

Disjunctive Constraint Acquisition

LGPL-2.1020