Repositories list

• binsec.github.io

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

  Sass

  •10•6•0•0•Updated Feb 19, 2025Feb 19, 2025

• xyntia

  Public
  Xyntia, the black-box deobfuscator

  OCaml

  •2•65•1•0•Updated Feb 18, 2025Feb 18, 2025

• binsec

  Public
  BINSEC binary-level open-source platform

  OCaml

  •

  GNU Lesser General Public License v2.1

  •36•336•10•1•Updated Feb 17, 2025Feb 17, 2025

• unisim_archisec

  Public
  OCaml binding for the external UNISIM DBA decoder

  C++

  •

  Other

  •2•2•2•1•Updated Feb 16, 2025Feb 16, 2025

• rosa

  Public
  ROSA: Finding Backdoors with Fuzzing

  Rust

  •

  GNU Lesser General Public License v2.1

  •0•13•0•0•Updated Feb 15, 2025Feb 15, 2025

• Rel

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

  securitysymbolic-executionconstant-time+ 4binary-analysissecret-erasureverificationbinsec

  OCaml

  •

  GNU Lesser General Public License v2.1

  •2•33•1•0•Updated Jan 25, 2025Jan 25, 2025

• rosarum

  Public
  A novel backdoor detection benchmark

  C

  •

  Other

  •0•3•0•0•Updated Jan 23, 2025Jan 23, 2025

• preca

  Public
  Constraint acquisition based precondition learner

  Java

  •

  GNU Lesser General Public License v2.1

  •2•5•0•0•Updated Dec 4, 2023Dec 4, 2023

• haunted

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

  symbolic-executionbinary-analysisspectre-vulnerability

  OCaml

  •

  GNU Lesser General Public License v2.1

  •1•16•1•0•Updated Oct 19, 2023Oct 19, 2023

• esop2023_artefact

  Public
  GNU General Public License v3.0

  •0•1•0•0•Updated Jun 1, 2023Jun 1, 2023

• dca

  Public
  Disjunctive Constraint Acquisition

  GNU Lesser General Public License v2.1

  •0•0•0•0•Updated May 25, 2023May 25, 2023

• binsec-ase

  Public
  OCaml

  •

  GNU Lesser General Public License v2.1

  •0•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• rel_bench

  Public
  Benchmark (mostly cryptographic programs) for Binsec/Rel.

  Roff

  •0•4•0•0•Updated Jun 1, 2022Jun 1, 2022

• rtas2021_artifact

  Public
  OCaml

  •1•5•0•0•Updated Aug 23, 2021Aug 23, 2021

• haunted_bench

  Public
  Benchmarks for Binsec/Rel tool.

  symbolic-executionbinary-analysisspectre-vulnerability

  C

  •0•5•0•0•Updated Jul 20, 2021Jul 20, 2021

• klee21-tina-artifact

  Public
  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.

  MIT License

  •2•27•1•0•Updated Jul 7, 2021Jul 7, 2021

• cav2021-artifacts

  Public
  C++

  •0•2•0•0•Updated Apr 26, 2021Apr 26, 2021

• icse2021-artifact992

  Public
  SWIG

  •

  GNU General Public License v3.0

  •1•10•0•0•Updated Mar 12, 2021Mar 12, 2021

• uafuzz

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

  C

  •56•2•0•0•Updated Aug 14, 2020Aug 14, 2020

• uafbench

  Public
  UAF Fuzzing Benchmark

  C

  •18•1•0•0•Updated Aug 6, 2020Aug 6, 2020

• hade

  Public
  C

  •1•3•0•0•Updated Jun 17, 2019Jun 17, 2019

• acsac18

  Public
  0•0•0•0•Updated Jan 11, 2019Jan 11, 2019

• xtrasec

  Public
  A (simple) PIN-based tracer for BINSEC

  C++

  •0•1•0•0•Updated Oct 1, 2018Oct 1, 2018

• tfml

  Public
  OCaml

  •

  Other

  •0•3•0•0•Updated Aug 27, 2018Aug 27, 2018