rindPHI/grammar2regex

Stars
6
Rank 2,534,637 (Top 50 %)
Language
Python
License
GNU General Publi...
Created almost 3 years ago
Updated 7 months ago

rindPHI/grammar2regex

rindPHI

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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.

pluggabl

A symbolic execution analysis based on the Soot analysis framework.

schvalid

A Schematron validator

ProofRenderer

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

isla-bash-fuzzer

A Language-aware, Coverage-based Evolutionary Fuzzer Bash Script Based on ISLa

GrammarGraph

Creation of Graphs from Context-Free Grammars

Jupyter Notebook

ANTLR-BFG-Converter

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

NeoGrammarGraph

Performant Graph Operations on Context-Free Grammars

vim-key

Syntax Highlighting / Folding for KeY Files

FSAUtilsGUI

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

se-book-festschrift-rh

Symbolic Execution: Foundations, Techniques, Applications and Future Perspectives

Jupyter Notebook