tammok / PRISMA
Protocol Inspection and State Machine Analysis
☆24Updated 6 years ago
Alternatives and similar repositories for PRISMA:
Users that are interested in PRISMA are comparing it to the libraries listed below
- RTSPhuzz - An RTSP Fuzzer written using the Boofuzz framework☆43Updated last year
- ☆47Updated 4 years ago
- Polar : Function Code Aware Fuzz Testing of ICS Protocol☆31Updated 4 years ago
- ☆52Updated 6 years ago
- ☆12Updated 4 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 3 years ago
- ☆32Updated 2 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆26Updated 10 months ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 3 years ago
- run AFL with pintool☆65Updated 4 years ago
- ☆11Updated 3 years ago
- My Material for the HITB presentation☆35Updated 4 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated 10 months ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago
- A generated corpus, seed, and target for a fuzz job☆59Updated 8 years ago
- ☆50Updated 7 years ago
- ☆67Updated 5 years ago
- OSS-Fuzz - integrated with AFLGo for Patch Testing☆35Updated 7 years ago
- ☆27Updated 3 years ago
- ☆66Updated 3 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆91Updated 6 years ago
- Network and USB protocol fuzzing toolkit.☆65Updated 6 years ago
- ☆24Updated last year
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆82Updated 4 years ago
- AFL fuzzing coverage CFG visualization☆31Updated 7 years ago
- VxWorks Fuzzer with AFL and QEMU☆48Updated 4 years ago
- Default query sets for Joern☆26Updated 3 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Updated 5 years ago
- Patches to the Protocol Informatics project to make it work with a numpy.☆20Updated 12 years ago