rindPHI
I am a postdoctoral researcher and team leader of the InputLab spin-off at CISPA (Saarbrücken / Germany).
https://www.cispa.de/enDarmstadt, Germany
Pinned Repositories
FirstOrderParser
A parser for first-order (predicate) logic, created with JavaCC. Includes basic model classes.
FSAUtils
Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
grammar2regex
Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)
GrammarGraph
Creation of Graphs from Context-Free Grammars
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.
pluggabl
A symbolic execution analysis based on the Soot analysis framework.
ProofRenderer
Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.
proxyorderedset
A simple implementation of ordered sets as a proxy to Python's standard dict class.
schvalid
A Schematron validator
rindPHI's Repositories
rindPHI/isla
The ISLa (Input Specification Language) language & solver.
rindPHI/FSAUtils
Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
rindPHI/islearn
ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
rindPHI/grammar2regex
Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)
rindPHI/pluggabl
A symbolic execution analysis based on the Soot analysis framework.
rindPHI/ProofRenderer
Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.
rindPHI/schvalid
A Schematron validator
rindPHI/GrammarGraph
Creation of Graphs from Context-Free Grammars
rindPHI/isla-bash-fuzzer
A Language-aware, Coverage-based Evolutionary Fuzzer Bash Script Based on ISLa
rindPHI/ANTLR-BFG-Converter
Converts grammars in ANTLR/BGF format to and from the "Fuzzing Book" format.
rindPHI/chex_latex
LaTeX file checking tools
rindPHI/mtheme
A modern LaTeX Beamer theme
rindPHI/NeoGrammarGraph
Performant Graph Operations on Context-Free Grammars
rindPHI/se-book-festschrift-rh
Symbolic Execution: Foundations, Techniques, Applications and Future Perspectives
rindPHI/proxyorderedset
A simple implementation of ordered sets as a proxy to Python's standard dict class.
rindPHI/BibLatex-Check
A python script for checking BibLatex .bib files for common referencing mistakes!
rindPHI/coq
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.
rindPHI/debuggingbook
Project page for "The Debugging Book"
rindPHI/derivationtree
An efficient derivation tree implementation for grammar fuzzing and other applications.
rindPHI/dominiccv
My personal layout for writing academic CVs, research statements and the like.
rindPHI/fuzzingbook
Project page for "The Fuzzing Book"
rindPHI/grammarinator
ANTLR v4 grammar-based test generator
rindPHI/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
rindPHI/ICMP_Demo
This repository demonstrates the problem of learning semantic constraints of the ICMP network format.
rindPHI/ICMPFuzzer
A simple ISLa-based fuzzer for fuzzing the `ping` utility.
rindPHI/pytest-forked
extracted --boxed from pytest-xdist to ensure backward compat
rindPHI/pytest-html
Plugin for generating HTML reports for pytest results
rindPHI/setuptools-antlr
A setuptools command for generating ANTLR based parsers
rindPHI/vim-pt
VIM support for proof tree definition files
rindPHI/z3
The Z3 Theorem Prover