ertlnagoya / lwip-bug-finder
lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lwip-bug-finder
- Automatically exported from code.google.com/p/kemufuzzer☆27Updated 9 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- A monitoring script for AFL☆39Updated 7 years ago
- A stateful fuzzing engine.☆45Updated 5 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Updated 7 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆21Updated 4 years ago
- Test case minimizer for afl-fuzz☆26Updated 7 years ago
- AFL coverage tool using Clang SanitizerCoverage☆37Updated 7 years ago
- Recover mutation graph from an AFL seed☆59Updated 3 years ago
- Tools released in CSS 2019☆38Updated 5 years ago
- ☆18Updated 5 years ago
- run AFL with pintool☆65Updated 4 years ago
- ☆50Updated 5 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 6 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 5 years ago
- ☆31Updated 4 years ago
- ☆16Updated 6 years ago
- Fuzzing scripts for the American Fuzzy Lop (AFL) fuzzer☆47Updated 8 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆59Updated 5 years ago
- My Material for the HITB presentation☆35Updated 4 years ago
- ARM rop chain gadget searcher☆37Updated 7 years ago
- ☆38Updated 4 years ago
- z3 scripts and ctf challenge solutions.☆24Updated last year
- Exploitation primitives worth mentioning surrounding Glibc's Malloc implementation☆16Updated 6 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- Source code for building an exploitable linux kernel challenge iso.☆44Updated 11 years ago
- Superion Mutator for AFLPlusPlus☆32Updated 11 months ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆25Updated 5 months ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago