Popular repositories Loading

1. Triton Triton Public

   Forked from JonathanSalwan/Triton

   Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64 a…

   C++ 3 1

2. barf-project barf-project Public

   Forked from programa-stic/barf-project

   BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework

   Python 1

3. pysmtlib pysmtlib Public

   Forked from feliam/pysmtlib

   A python layer to interface with several SMTLIBv2 enabled SMT solvers

   Python

4. honggfuzz honggfuzz Public

   Forked from google/honggfuzz

   Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

   C

5. fuzzbench fuzzbench Public

   Forked from google/fuzzbench

   FuzzBench - Fuzzer benchmarking as a service.

   Python