nradov / abnffuzzer
Java fuzz testing library for implementations of ABNF rules such as IETF RFCs
☆33Updated 7 months ago
Alternatives and similar repositories for abnffuzzer:
Users that are interested in abnffuzzer are comparing it to the libraries listed below
- TypeSan checks casts in C++ code - code released for CCS 2016☆33Updated 4 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆33Updated 10 years ago
- Path based Dynamic Analysis☆116Updated 8 years ago
- ☆63Updated 3 years ago
- ☆15Updated 4 years ago
- A symbolic execution engine for Python☆45Updated 12 years ago
- Generic server for collaborative code analysis☆13Updated 8 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- ☆36Updated this week
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Static Program Analysis for Reliable Trusted Apps☆23Updated 6 years ago
- Coverage based JVM Fuzz testing tool.☆19Updated 5 years ago
- A dynamic analysis framework for C and C++ programs☆29Updated 11 months ago
- Tool for detecting error handling bugs☆22Updated 8 years ago
- KLEE in the browser☆52Updated 10 months ago
- AFL coverage tool using Clang SanitizerCoverage☆37Updated 8 years ago
- Fault injection library☆22Updated 10 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆56Updated 5 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆93Updated 7 years ago
- A protocol reverse engineer tool written in java.☆29Updated 8 years ago
- Measure branching along code paths☆20Updated 8 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- A python interface to joern (deprecated).☆34Updated 6 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 9 years ago
- OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates☆20Updated 8 years ago
- Fuzzing results for various interpreters.☆80Updated 7 years ago
- AFL, modified to support multi-CB challenge sets for CGC.☆18Updated 8 years ago