vrthra/PyGlade vrthra/PyGlade

  • Stars
    star
    2
  • Language
    Python
  • Created over 4 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vrthra/PyGlade
github

vrthra

Reviews

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

Repository Details

This is an independent Python implementation of the technique described in "Synthesizing Program Input Grammars" by Bastani et al.

More Repositories

1

F1

Jupyter Notebook
72
star
2

mimid

Replication package for Mining Input Grammars From Dynamic Control Flow
Jupyter Notebook
20
star
3

markdown-ieee-pdf

A skeletal project to convert a paper written in markdown format to IEEE style paper submission in pdf.
Haskell
20
star
4

pycfg

Python
18
star
5

qnial

This is QNial - Array Language from Nial systems. It was published under Artistic License, but seems to have disappeared after website restructuring.
C
12
star
6

pygmalion

Python
11
star
7

SBST22-tutorial

Jupyter Notebook
5
star
8

ddset

Replication package for Abstracting Failure Inducing Inputs
Jupyter Notebook
5
star
9

xmutant.py

Mutation testing for python
Python
4
star
10

mucheck

Mutation analysis library for haskell
Haskell
3
star
11

fuzzer-compare

3
star
12

PyTaints

Indirect taints in Python
Python
3
star
13

nix-prefix

A prefixed nix install
Nix
2
star
14

latexfs

A fuse filesystem for latex files.
Python
2
star
15

antlr2json

Convert ANTLR4 grammar to JSON format
Python
2
star
16

pyccfg

Bytecode based CFG for Python 3.6
Python
2
star
17

tiling-wm

Plan 9 tiling window manager (an rc script to make the rio act like one).
Shell
2
star
18

clone-unit-coverage

Paper
Ruby
2
star
19

bFuzzer

Python
2
star
20

ruby-nntpd

A tiny Usenet news server written in Ruby. It is intented to serve small isolated communities. (It does not currently support server chains. no IHAVE and TAKETHIS) but supports POST.
Ruby
2
star
21

KHackFuzz

Python
1
star
22

arxiv-mimid

Jupyter Notebook
1
star
23

pymimid

Jupyter Notebook
1
star
24

adaptive

Adaptive Proxy Servers using Reinforcement Learning
Ruby
1
star
25

ps-fun

Concatenative programming for Post Script : provides functional functions
PostScript
1
star
26

safemount

A FUSE filesystem which allows only a restricted set of characters in its filenames
Python
1
star
27

EarleyJava

The Context Free Grammar Parser Implementation -- Earley Parser.
Java
1
star
28

shell

Inspired by destroyallsoftware!
Ruby
1
star
29

py.py

Python Meta Circular Interpreter
Python
1
star
30

knitr-acm-pdf

ACM sigproc template in knitr
Perl
1
star
31

c-mutate

James Andrews C mutation tool (prolog)
C
1
star
32

._

configuration files
Haskell
1
star
33

jaccard-distance

Python
1
star