-
isla Public
The ISLa (Input Specification Language) language & solver.
-
schvalid Public
A Schematron validator
-
grammar2regex Public
Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)
-
islearn Public
ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
-
GrammarGraph Public
Creation of Graphs from Context-Free Grammars
-
NeoGrammarGraph Public
Performant Graph Operations on Context-Free Grammars
-
proxyorderedset Public
A simple implementation of ordered sets as a proxy to Python's standard dict class.
-
setuptools-antlr Public
Forked from ferraith/setuptools-antlrA setuptools command for generating ANTLR based parsers
Python MIT License UpdatedJul 5, 2023 -
ICMP_Demo Public
This repository demonstrates the problem of learning semantic constraints of the ICMP network format.
GNU General Public License v3.0 UpdatedApr 18, 2023 -
derivationtree Public
An efficient derivation tree implementation for grammar fuzzing and other applications.
Python GNU General Public License v3.0 UpdatedDec 15, 2022 -
ICMPFuzzer Public
A simple ISLa-based fuzzer for fuzzing the `ping` utility.
-
isla-bash-fuzzer Public
A Language-aware, Coverage-based Evolutionary Fuzzer Bash Script Based on ISLa
-
BibLatex-Check Public
Forked from Pezmc/BibLatex-CheckA python script for checking BibLatex .bib files for common referencing mistakes!
-
pytest-html Public
Forked from pytest-dev/pytest-htmlPlugin for generating HTML reports for pytest results
Python Other UpdatedSep 1, 2022 -
ANTLR-BFG-Converter Public
Converts grammars in ANTLR/BGF format to and from the "Fuzzing Book" format.
-
-
pytest-forked Public
Forked from pytest-dev/pytest-forkedextracted --boxed from pytest-xdist to ensure backward compat
Python MIT License UpdatedMay 10, 2022 -
grammars-v4 Public
Forked from antlr/grammars-v4Grammars written for ANTLR v4; expectation that the grammars are free of actions.
ANTLR UpdatedMar 24, 2022 -
grammarinator Public
Forked from renatahodovan/grammarinatorANTLR v4 grammar-based test generator
Python Other UpdatedMar 14, 2022 -
fuzzingbook Public
Forked from uds-se/fuzzingbookProject page for "The Fuzzing Book"
Jupyter Notebook Other UpdatedFeb 9, 2022 -
se-book-festschrift-rh Public
Symbolic Execution: Foundations, Techniques, Applications and Future Perspectives
-
debuggingbook Public
Forked from uds-se/debuggingbookProject page for "The Debugging Book"
Python Other UpdatedMay 17, 2021 -
pluggabl Public
A symbolic execution analysis based on the Soot analysis framework.
-
-
dominiccv Public
My personal layout for writing academic CVs, research statements and the like.
TeX MIT License UpdatedAug 6, 2020 -
chex_latex Public
Forked from erich666/chex_latexLaTeX file checking tools
-
FSAUtils Public
Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
-
coq Public
Forked from rocq-prover/rocqCoq 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 develo…
OCaml GNU Lesser General Public License v2.1 UpdatedSep 19, 2018 -
ProofRenderer Public
Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.
-
vim-pt Public
VIM support for proof tree definition files
Vim Script GNU General Public License v3.0 UpdatedMar 15, 2018
{{ message }}