Highlights
- Pro
-
LIEF Public
Forked from lief-project/LIEFLIEF - Library to Instrument Executable Formats (C++, Python, Rust)
C++ Apache License 2.0 UpdatedJun 15, 2025 -
pyda Public
Write dynamic binary analysis tools in Python
-
dynamorio Public
Forked from DynamoRIO/dynamorioDynamic Instrumentation Tool Platform
C Other UpdatedJun 8, 2025 -
-
-
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
C Apache License 2.0 UpdatedNov 14, 2024 -
-
cadical Public
Forked from arminbiere/cadicalcadical with hacks for bitwuzla
C++ MIT License UpdatedOct 3, 2024 -
bitwuzla Public
Forked from bitwuzla/bitwuzlaBitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
SMT Other UpdatedOct 3, 2024 -
-
multiplier Public
Forked from trailofbits/multiplierCode auditing productivity multiplier.
C++ Apache License 2.0 UpdatedAug 21, 2024 -
fuzzbench Public
Forked from google/fuzzbenchFuzzBench - Fuzzer benchmarking as a service.
Python Apache License 2.0 UpdatedJun 12, 2024 -
symcc Public
Forked from eurecom-s3/symccSymCC: efficient compiler-based symbolic execution
C++ GNU General Public License v3.0 UpdatedMay 31, 2024 -
-
-
fuzzolic Public
Forked from season-lab/fuzzolicC GNU General Public License v2.0 UpdatedMay 29, 2024 -
fuzzy-sat Public
Forked from season-lab/fuzzy-satAn approximate solver for concolic execution
C GNU General Public License v2.0 UpdatedMay 25, 2024 -
-
symcc-rt Public
Forked from eurecom-s3/symcc-rtSymCC Runtime
C++ GNU Lesser General Public License v3.0 UpdatedMay 16, 2024 -
python-cxxfilt Public
Forked from afq984/python-cxxfiltDemangling C++ symbols in Python / interface to abi::__cxa_demangle
Python BSD 2-Clause "Simplified" License UpdatedMay 16, 2024 -
-
symsan Public
Forked from chenju2k6/symsanA LLVM Sanitizer for Symbolic Tracing
C++ Apache License 2.0 UpdatedJan 30, 2024 -
-
Triton Public
Forked from JonathanSalwan/TritonTriton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
-
boolector Public
Forked from Boolector/boolectorA Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
SMT Other UpdatedNov 27, 2023 -
-
-
-
nsjail Public
Forked from google/nsjailA light-weight process isolation tool, making use of Linux namespaces and seccomp-bpf syscall filters (with help of the kafel bpf language)
C++ Apache License 2.0 UpdatedNov 17, 2022 -
rbpf Public
Forked from solana-labs/rbpfRust virtual machine and JIT compiler for eBPF programs
Rust Apache License 2.0 UpdatedAug 8, 2022