nradov / abnffuzzer
Java fuzz testing library for implementations of ABNF rules such as IETF RFCs
☆32Updated 5 months ago
Related projects: ⓘ
- ☆61Updated 3 years ago
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆28Updated 8 years ago
- Static Program Analysis for Reliable Trusted Apps☆21Updated 5 years ago
- Generic server for collaborative code analysis☆12Updated 7 years ago
- Path based Dynamic Analysis☆112Updated 7 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 7 years ago
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆33Updated 9 years ago
- ☆74Updated this week
- TypeSan checks casts in C++ code - code released for CCS 2016☆32Updated 3 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆35Updated 3 years ago
- ☆26Updated this week
- libfuzzerfication - fuzzing for the rest of us!☆61Updated 7 years ago
- estimate peak virtual memory use☆19Updated 7 months ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆91Updated 6 years ago
- A symbolic execution engine for Python☆45Updated 11 years ago
- ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.☆66Updated 10 years ago
- Program Chair's Website for CCS 2017☆12Updated 2 years ago
- ☆36Updated 2 years ago
- ☆24Updated 7 years ago
- System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)☆45Updated 6 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆55Updated 5 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 6 years ago
- De Mysteriis Dom jemalloc☆65Updated 6 years ago
- A dynamic analysis framework for C and C++ programs☆27Updated 3 months ago
- KLEE in the browser☆50Updated 3 months ago
- Our backup exploitation technique: fuzzing for POVs!☆25Updated 8 years ago
- Code to fuzz bignum libraries☆45Updated 5 years ago
- Coverage based JVM Fuzz testing tool.☆18Updated 4 years ago
- Stana - A strace output parser and analyser☆32Updated 6 years ago