avatartwo / avatar2-examples
Examples demonstrating the usage of avatar²
☆27Updated last year
Alternatives and similar repositories for avatar2-examples:
Users that are interested in avatar2-examples are comparing it to the libraries listed below
- ☆38Updated 4 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- Concolic Execution Fuzzer☆24Updated 3 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 5 years ago
- ☆96Updated 6 years ago
- Recover mutation graph from an AFL seed☆60Updated 4 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- Modular And Compositional analysis with KLEE Engine☆116Updated 5 years ago
- A monitoring script for AFL☆39Updated 8 years ago
- run AFL with dynamorio☆37Updated 4 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆44Updated 3 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- ☆47Updated 4 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated last year
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Updated 4 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- OSS-Fuzz - integrated with AFLGo for Patch Testing☆35Updated 7 years ago
- ☆24Updated 6 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- run AFL with pintool☆66Updated 5 years ago
- A fully automatic fuzzing tool for Valgrind, unofficial mirror for http://esec-lab.sogeti.com/pages/fuzzgrind.html☆36Updated 9 years ago
- Utilities for generating dynamic traces☆92Updated last month
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 9 years ago
- lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).☆14Updated 2 years ago
- ☆27Updated 3 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆28Updated last year
- A coverage-based software testing tool☆34Updated 4 years ago
- Backwards program slice stitching for automatic CTF problem solving.☆51Updated 6 years ago
- The collection of programs for evaluating fuzzing techniques☆20Updated 7 years ago