- Buenos Aires, Argentina
-
Triton Public
Forked from JonathanSalwan/TritonTriton 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…
-
fuzzbench Public
Forked from google/fuzzbenchFuzzBench - Fuzzer benchmarking as a service.
Python Apache License 2.0 UpdatedDec 29, 2023 -
honggfuzz Public
Forked from google/honggfuzzSecurity oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
C Apache License 2.0 UpdatedOct 4, 2023 -
barf-project Public
Forked from programa-stic/barf-projectBARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
-
pysmtlib Public
Forked from feliam/pysmtlibA python layer to interface with several SMTLIBv2 enabled SMT solvers
Python UpdatedFeb 18, 2015