vusec / pandacap
A framework for streamlining the capture of PANDA execution traces.
☆56Updated 4 years ago
Alternatives and similar repositories for pandacap:
Users that are interested in pandacap are comparing it to the libraries listed below
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆92Updated 7 years ago
- Bug hunting through fuzzer/*-sanitizer/etc...☆132Updated 4 years ago
- General Research Repository - Only updated when I feel like it☆28Updated 5 months ago
- AFL coverage tool using Clang SanitizerCoverage☆37Updated 8 years ago
- Modular And Compositional analysis with KLEE Engine☆116Updated 5 years ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Updated 3 years ago
- ☆15Updated 4 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 5 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 7 years ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 5 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆36Updated 2 years ago
- ☆96Updated 6 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Updated last year
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- ☆63Updated 5 years ago
- Boring tool to launch multiple afl-fuzz instances☆50Updated 7 years ago
- Materials from Fuzzing Bay Area meetups☆57Updated 5 years ago
- libfuzzerfication - fuzzing for the rest of us!☆62Updated 8 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- Underconstrained symbolic execution for cryptography verification☆18Updated 4 years ago
- Block-based software vulnerability fuzzing framework☆49Updated 6 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- Default query sets for Joern☆27Updated 3 years ago
- Examples demonstrating the usage of avatar²☆27Updated last year
- Fuzz testing on JavaScriptCore and WebAssembly in WebKit☆5Updated 5 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- ☆35Updated 3 years ago
- Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.☆69Updated 4 years ago