rindPHI/FSAUtils rindPHI/FSAUtils

  • Stars
    star
    14
  • Rank 1,434,793 (Top 29 %)
  • Language
    Scala
  • License
    MIT License
  • Created over 10 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rindPHI/FSAUtils
github

rindPHI

Reviews

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

Repository Details

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

More 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

FirstOrderParser

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

grammar2regex

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

pluggabl

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

schvalid

A Schematron validator
Python
4
star
7

ProofRenderer

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

isla-bash-fuzzer

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

GrammarGraph

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

ANTLR-BFG-Converter

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

NeoGrammarGraph

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

vim-key

Syntax Highlighting / Folding for KeY Files
Java
1
star
13

FSAUtilsGUI

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

se-book-festschrift-rh

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