Skip to content
@binsec

BINSEC development team

Pinned Loading

  1. binsec binsec Public

    BINSEC binary-level open-source platform

    OCaml 427 43

  2. binsec.github.io binsec.github.io Public

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

    Sass 7 10

  3. xtrasec xtrasec Public

    A (simple) PIN-based tracer for BINSEC

    C++ 1

Repositories

Showing 10 of 29 repositories
  • binsec.github.io Public

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

    binsec/binsec.github.io's past year of commit activity
    Sass 7 10 0 0 Updated Sep 14, 2026
  • rosa Public

    ROSA: Finding Backdoors with Fuzzing

    binsec/rosa's past year of commit activity
    Rust 54 LGPL-2.1 0 0 0 Updated Sep 10, 2026
  • unisim_archisec Public

    OCaml binding for the external UNISIM DBA decoder

    binsec/unisim_archisec's past year of commit activity
    C++ 3 3 0 0 Updated Sep 8, 2026
  • xyntia Public

    Xyntia, the black-box deobfuscator

    binsec/xyntia's past year of commit activity
    OCaml 97 LGPL-2.1 3 2 0 Updated Sep 1, 2026
  • binsec Public

    BINSEC binary-level open-source platform

    binsec/binsec's past year of commit activity
    OCaml 427 LGPL-2.1 43 7 1 Updated Aug 26, 2026
  • preca Public

    Constraint acquisition based precondition learner

    binsec/preca's past year of commit activity
    Java 5 LGPL-2.1 2 0 0 Updated Jul 30, 2026
  • binsec-tutorial Public
    binsec/binsec-tutorial's past year of commit activity
    JavaScript 0 1 0 1 Updated Jan 11, 2026
  • RSE Public

    An updated version of Guillaume Girol's Quantitative Robust Symbolic Execution (QRSE) as a Binsec plugin.

    binsec/RSE's past year of commit activity
    OCaml 1 LGPL-2.1 0 0 0 Updated Sep 1, 2025
  • colorstreams Public

    A binary-level dynamic analysis platform with a focus on flexibility and composability.

    binsec/colorstreams's past year of commit activity
    OCaml 2 LGPL-2.1 0 0 0 Updated Aug 9, 2025
  • tutorial-pldi2025 Public
    binsec/tutorial-pldi2025's past year of commit activity
    JavaScript 0 0 0 0 Updated Jul 9, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…