Beast code in Giters

Christian Heitman's repositories

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 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

Language:C++Apache-2.03 20

barf-project

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

Language:PythonBSD-2-Clause1 30

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

Language:PythonApache-2.0010

honggfuzz

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

Language:CApache-2.0020

pysmtlib

A python layer to interface with several SMTLIBv2 enabled SMT solvers

Language:Python030