moyix / panda
Deprecated repo for PANDA 1.0 – see PANDA 2.0 repository
☆104Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for panda
- Some helper scripts to set up an environment for angr development.☆117Updated 3 weeks ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆186Updated 3 years ago
- ☆236Updated 6 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Updated 10 months ago
- Fuzzer for Linux Kernel Drivers☆369Updated 2 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆249Updated last year
- ☆379Updated 5 years ago
- ☆248Updated 4 years ago
- A version of AFL tailored for Driller's use in analyzing CGC binaries.☆80Updated 7 years ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆177Updated 2 years ago
- AFL, with scripts to support other architectures.☆96Updated 6 years ago
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆325Updated 5 years ago
- Improving AFL by using Intel PT to collect branch information☆289Updated 5 years ago
- ☆79Updated 6 years ago
- Python bindings for Valgrind's VEX IR.☆340Updated this week
- The Jakstab static analysis platform for binaries☆157Updated 4 years ago
- Dynamic security analysis of embedded systems’ firmwares☆81Updated 8 years ago
- Block Oriented Programming -- Compiler☆181Updated 4 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆93Updated 3 months ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆251Updated 4 months ago
- Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'☆98Updated 4 years ago
- ELF Unstrip Tool☆107Updated 9 years ago
- ☆63Updated 5 years ago
- The new phuzzing framework!☆154Updated 4 months ago
- Documentation and Quick Start Guides for the S2E Symbolic Execution Platform☆76Updated 4 years ago
- Tool to generate ROP gadgets for ARM, AARCH64, x86, MIPS, PPC, RISCV, SH4 and SPARC☆297Updated 2 months ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆294Updated last year
- Utilities for generating dynamic traces☆88Updated 2 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆203Updated 3 years ago