mishmashclone / wcventure-FuzzingPaperLinks
https://github.com/wcventure/FuzzingPaper
☆10Updated 3 years ago
Alternatives and similar repositories for wcventure-FuzzingPaper
Users that are interested in wcventure-FuzzingPaper are comparing it to the libraries listed below
Sorting:
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 3 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- CFG explorer for binaries☆83Updated 10 months ago
- VxWorks Fuzzer with AFL and QEMU☆48Updated 5 years ago
- experiments for IJON☆12Updated 6 years ago
- This is the project of LearnAFL.☆28Updated 5 years ago
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆48Updated 8 years ago
- angr源码分析☆33Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- ☆19Updated 5 years ago
- ☆53Updated 6 years ago
- tool for multi-execution jump coverage introspection☆66Updated 7 months ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Updated 2 years ago
- ☆27Updated 2 years ago
- z3 solver 学习☆51Updated 2 years ago
- Superion Mutator for AFLPlusPlus☆31Updated last year
- Code Property Graph (CPG) frontend for binary applications and libraries.☆91Updated 3 years ago
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆59Updated 2 years ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Updated 3 years ago
- ☆25Updated 4 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆13Updated 2 years ago
- ☆43Updated 3 years ago
- afl-pytmin is a wrapper of afl-tmin, test case minimizer for American Fuzzy Lop (afl).☆11Updated 8 years ago
- A multi-platform fuzzer for poking at userland binaries, network clients and servers☆69Updated 11 months ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆30Updated 3 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆84Updated last month
- KLEE / CSE Project☆46Updated 5 years ago
- Signedness-Agnostic Strided-Interval☆38Updated 6 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- A coverage-based software testing tool☆34Updated 4 years ago