dyninst / fuzzLinks
☆12Updated 4 years ago
Alternatives and similar repositories for fuzz
Users that are interested in fuzz are comparing it to the libraries listed below
Sorting:
- A coverage-based software testing tool☆34Updated 4 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Updated 5 years ago
- ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers☆15Updated 6 years ago
- ☆82Updated 10 months ago
- Concolic Execution Fuzzer☆24Updated 3 years ago
- experiments for IJON☆12Updated 6 years ago
- ☆24Updated 6 years ago
- Challenging testcases for fuzzers☆71Updated last year
- Signedness-Agnostic Strided-Interval☆38Updated 6 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Updated last year
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 4 years ago
- ☆15Updated 5 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- Fuzzing with controlled compilation☆30Updated 2 years ago
- ☆47Updated 5 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- TracerX Symbolic Virtual Machine☆33Updated 2 months ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Code for my blog post on using S2E for malware analysis☆25Updated 6 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Updated 4 years ago
- ☆53Updated 7 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- ☆12Updated 4 years ago
- Fuzz testing framework for binary programs using AI☆51Updated last year
- Vine: The BitBlaze Static Analysis Component☆25Updated 10 years ago
- KLEE / CSE Project☆46Updated 5 years ago
- The parser-directed Fuzzer☆38Updated 5 years ago