Lists (8)
Automata-Inference
Benchmark
Fuzz
Network Protocol Fuzz
SoTA Protocol FuzzSymbolic/Taint Analysis
Awesome Smybolic / Taint AnalysisTools
awesomd environment settingsVisualizer
Windows Related
Stars
Coverage-guided, in-process fuzzing for the JVM
A free, open-source Java library for automata learning algorithms
A tool that can be used to learn state machines from implementations.
A protocol reverse engineer tool written in java.
Using automata learning to mine models used for fuzzing of statefull systems
A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
A TLS-Attacker maven Template for new TLS-Attacker related projects
A symbolic execution engine that can find errors that require many iterations through loops.
Simple tool based on LearnLib to infer every FTP state model via Active Learning