Skip to content

@binsec BINSEC development team

Change the repository type filter

All

    Repositories list

    28 repositories

    • colorstreams

      Public
      A binary-level dynamic analysis platform with a focus on flexibility and composability.
      OCaml
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Aug 9, 2025Aug 9, 2025

    • binsec

      Public
      BINSEC binary-level open-source platform
      OCaml
      •
      GNU Lesser General Public License v2.1
      •38•365•5•0•Updated Jul 22, 2025Jul 22, 2025

    • tutorial-pldi2025

      Public
      JavaScript
      •0•0•0•0•Updated Jul 9, 2025Jul 9, 2025

    • binsec.github.io

      Public
      www presence for the BINSEC binary-level analysis open-source platform
      Sass
      •10•6•0•0•Updated Jul 8, 2025Jul 8, 2025

    • QRSE

      Public
      An updated version of Guillaume Girol's Quantitative Robust Symbolic Execution (QRSE) as a Binsec plugin.
      OCaml
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Jul 7, 2025Jul 7, 2025

    • popcon

      Public
      Popcon is a front-end for various counting and functional E-MAJSAT solvers.
      Rust
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Jul 7, 2025Jul 7, 2025

    • unisim_archisec

      Public
      OCaml binding for the external UNISIM DBA decoder
      C++
      •
      Other
      •2•2•1•0•Updated Jul 5, 2025Jul 5, 2025

    • rosarum

      Public
      A novel backdoor detection benchmark
      C
      •
      Other
      •0•7•0•0•Updated Jun 30, 2025Jun 30, 2025

    • rosa

      Public
      ROSA: Finding Backdoors with Fuzzing
      Rust
      •
      GNU Lesser General Public License v2.1
      •0•24•0•0•Updated Jun 30, 2025Jun 30, 2025

    • xyntia

      Public
      Xyntia, the black-box deobfuscator
      OCaml
      •3•73•1•0•Updated Jun 17, 2025Jun 17, 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-timebinary-analysissecret-erasureverificationbinsec
      OCaml
      •
      GNU Lesser General Public License v2.1
      •2•33•1•0•Updated Jan 25, 2025Jan 25, 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•17•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•28•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