Dominic Steinhöfel (@rindPHI)
github

rindPHI

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

isla

The ISLa (Input Specification Language) language & solver.
Python
56
star
2

islearn

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

FSAUtils

Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
Scala
14
star
4

FirstOrderParser

A parser for first-order (predicate) logic, created with JavaCC. Includes basic model classes.
Java
8
star
5

grammar2regex

Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)
Python
6
star
6

pluggabl

A symbolic execution analysis based on the Soot analysis framework.
Kotlin
4
star
7

schvalid

A Schematron validator
Python
4
star
8

ProofRenderer

Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.
Java
4
star
9

isla-bash-fuzzer

A Language-aware, Coverage-based Evolutionary Fuzzer Bash Script Based on ISLa
Shell
2
star
10

GrammarGraph

Creation of Graphs from Context-Free Grammars
Jupyter Notebook
2
star
11

ANTLR-BFG-Converter

Converts grammars in ANTLR/BGF format to and from the "Fuzzing Book" format.
Python
2
star
12

NeoGrammarGraph

Performant Graph Operations on Context-Free Grammars
Python
1
star
13

vim-key

Syntax Highlighting / Folding for KeY Files
Java
1
star
14

FSAUtilsGUI

GUI frontend for FSAUtils for visual creation of DFA/NFA/RE and access to FSAUtils operations.
Scala
1
star
15

se-book-festschrift-rh

Symbolic Execution: Foundations, Techniques, Applications and Future Perspectives
Jupyter Notebook
1
star