Dominic Steinhöfel's Projects
Converts grammars in ANTLR/BGF format to and from the "Fuzzing Book" format.
A python script for checking BibLatex .bib files for common referencing mistakes!
LaTeX file checking tools
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Project page for "The Debugging Book"
An efficient derivation tree implementation for grammar fuzzing and other applications.
My personal layout for writing academic CVs, research statements and the like.
Simple text viewer for quickly inspecting the content of all text files in a directory at once.
Simple text viewer for quickly inspecting the content of all text files in a directory at once.
A parser for first-order (predicate) logic, created with JavaCC. Includes basic model classes.
Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
GUI frontend for FSAUtils for visual creation of DFA/NFA/RE and access to FSAUtils operations.
Project page for "The Fuzzing Book"
Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)
Creation of Graphs from Context-Free Grammars
ANTLR v4 grammar-based test generator
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
A tool to make impress.js presentations from reStructuredText
This repository demonstrates the problem of learning semantic constraints of the ICMP network format.
A simple ISLa-based fuzzer for fuzzing the `ping` utility.
The ISLa (Input Specification Language) language & solver.
A Language-aware, Coverage-based Evolutionary Fuzzer Bash Script Based on ISLa
ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
A modern LaTeX Beamer theme
Performant Graph Operations on Context-Free Grammars
A symbolic execution analysis based on the Soot analysis framework.
Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.
PROfessional SECure email COmmunications
The Java applet part of the PROfessional SECure email COmmunications platform
A simple implementation of ordered sets as a proxy to Python's standard dict class.