rindPHI/FSAUtilsGUI rindPHI/FSAUtilsGUI

  • Stars
    star
    1
  • Language
    Scala
  • License
    GNU General Publi...
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rindPHI/FSAUtilsGUI
github

rindPHI

Reviews

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

Repository Details

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

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

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

se-book-festschrift-rh

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