vrthra/mimid

Stars
20
Rank 1,117,194 (Top 23 %)
Language
Jupyter Notebook
License
Other
Created over 4 years ago
Updated about 4 years ago

vrthra/mimid

vrthra

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

Replication package for Mining Input Grammars From Dynamic Control Flow

F1

Jupyter Notebook

markdown-ieee-pdf

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

pycfg

qnial

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

pygmalion

SBST22-tutorial

Jupyter Notebook

ddset

Replication package for Abstracting Failure Inducing Inputs

Jupyter Notebook

xmutant.py

Mutation testing for python

mucheck

Mutation analysis library for haskell

fuzzer-compare

PyTaints

Indirect taints in Python

nix-prefix

A prefixed nix install

latexfs

A fuse filesystem for latex files.

PyGlade

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

antlr2json

Convert ANTLR4 grammar to JSON format

pyccfg

Bytecode based CFG for Python 3.6

clone-unit-coverage

tiling-wm

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

bFuzzer

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.

KHackFuzz

arxiv-mimid

Jupyter Notebook

pymimid

Jupyter Notebook

adaptive

Adaptive Proxy Servers using Reinforcement Learning

ps-fun

Concatenative programming for Post Script : provides functional functions

safemount

A FUSE filesystem which allows only a restricted set of characters in its filenames

EarleyJava

The Context Free Grammar Parser Implementation -- Earley Parser.

shell

Inspired by destroyallsoftware!

py.py

Python Meta Circular Interpreter

knitr-acm-pdf

ACM sigproc template in knitr

c-mutate

James Andrews C mutation tool (prolog)

._

configuration files

jaccard-distance