Skip to content
View BezBru's full-sized avatar
0 followers · 1 following

Block or report BezBru

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. cb-multios cb-multios Public

    Forked from trailofbits/cb-multios

    DARPA Challenges Sets for Linux, Windows, and macOS

    C 1

  2. ARCUS ARCUS Public

    Forked from carter-yagemann/ARCUS

    Symbolic Execution Over Processor Traces

    C 1

  3. security-patches-dataset security-patches-dataset Public

    Forked from TQRG/security-patches-dataset

    ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV); tools to automatically update the data are provided.

    Jupyter Notebook 1

  4. binsec binsec Public

    Forked from binsec/binsec

    BINSEC binary-level open-source platform

    OCaml 1

  5. Triton Triton Public

    Forked from JonathanSalwan/Triton

    Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

    C++ 1

  6. s2e s2e Public

    Forked from S2E/s2e

    S2E: A platform for multi-path program analysis with selective symbolic execution.

    C++ 1