ndrewh
Follow
-
pyda Public
Write dynamic binary analysis tools in Python
-
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 -
-
dynamorio Public
Forked from DynamoRIO/dynamorioDynamic Instrumentation Tool Platform
C Other UpdatedAug 24, 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 -
-
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.
C Apache License 2.0 UpdatedDec 15, 2023 -
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 -
binaryninja-api Public
Forked from Vector35/binaryninja-apiPublic API, examples, documentation and issues for Binary Ninja
C MIT License UpdatedMay 28, 2022 -
ctf-writeups-1 Public
Forked from cscosu/ctf-writeupsWrite-ups for the Buckeye Bureau of BOF
Python UpdatedMay 23, 2022 -
microblaze Public
Forked from amtal/microblazeμBlaze Architecture Plugin for Binary Ninja
Python MIT License UpdatedMay 22, 2022 -
turbograder Public
UI for grading short answer / extended response Canvas Quizzes