Skip to content

NickWolters/wagenator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

WAGenator

This repository is a collection of different grammar generation techniques, as part of research into grammars. The generate results are based upon a grammar called Weighted Attribute Grammar(WAG). Furhtermore, this repo contains other program, related to specication of WAG such as Standardised Weigthed Attribute Grammar(SWAG), and WAGANTLR an ANTLR implementation to test whether generated samples parse on the grammar.

WAGerinator (Grammarinator)

WAGerinator is the WAG implementation of the Grammarintor frameworks, to generate fuzzers for the grammar. The original code base can be found here.

WAGformer (Transformer Network)

WAGformer is a TUI which makes generation of grammar content possible through the use of Transformer Networks. There two implementations of transformer networks which are both from Hugging Face, these are GPT-2 and Bidirectional encoder representations from transformers (BERT).

WAGSmith (XSmith)

WAGSmith is a partial WAG implementation for XSmith, which is not complete, since XSmith main focus is languages and not grammar. Nevertheless, XSmith provides semeantic correctness for WAG. As for the original source you can visit the University of Utah website and Gitlab page.

WAGenetics (Evolutionary Grammars)

WAGentics is an Evolutionary Grammar which makes use the Grape framework to generate WAG samples. These samples are based upon a Backus-Naur Form(BNF) version of the original grammar. The code itself is written in Python and use both grape and DEAP for Genetic Alogirhtms(GA).

Thesis

This repository is part of proof written in my thesis for the University of Twente MSc Computers with a specialization of Software Technology. A link to the paper will be provided when it is published on the website of the University.

This thesis also took inspiration from one of my former classmates Rafael, which has his code base and paper here

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published