Dominic Steinhöfel

isla. The ISLa (Input Specification Language) language & solver.

islearn. ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.

FSAUtils. Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects

FirstOrderParser. A parser for first-order (predicate) logic, created with JavaCC. Includes basic model classes.

grammar2regex. Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)

GrammarGraph. Creation of Graphs from Context-Free Grammars

pluggabl. A symbolic execution analysis based on the Soot analysis framework.

se-book-festschrift-rh. Symbolic Execution: Foundations, Techniques, Applications and Future Perspectives

ProofRenderer. Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.

schvalid. A Schematron validator

isla-bash-fuzzer. A Language-aware, Coverage-based Evolutionary Fuzzer Bash Script Based on ISLa

ANTLR-BFG-Converter. Converts grammars in ANTLR/BGF format to and from the "Fuzzing Book" format.

NeoGrammarGraph. Performant Graph Operations on Context-Free Grammars

ICMPFuzzer. A simple ISLa-based fuzzer for fuzzing the `ping` utility.

FSAUtilsGUI. GUI frontend for FSAUtils for visual creation of DFA/NFA/RE and access to FSAUtils operations.

vim-key. Syntax Highlighting / Folding for KeY Files

chex_latex. LaTeX file checking tools

mtheme. A modern LaTeX Beamer theme

hovercraft. A tool to make impress.js presentations from reStructuredText