rohanpadhye

JQF

JQF + Zest: Coverage-guided semantic fuzzing for Java.

FuzzFactory

Domain-Specific Fuzzing with Waypoints

vasco

An inter-procedural data-flow analysis framework using value-based context sensitivity

travioli

Travioli: A Dynamic Analysis for Detecting Data-Structure Traversals

jqf-resources

Playground for using JQF

jqf-zest-example

A standalone sample test that can be fuzzed using JQF+Zest

afl

Unofficial American Fuzzy Lop repo

bart-viz

Visualization for BART delays

basic-web-app

Basic NextJS typescript Web App to Handle Requests

BasicWebApp

blog

Rohan Padhye tries blogging

catala

Programming language for literate programming law specification

catala-examples

Collection of Catala programs

closure-compiler

A JavaScript checker and optimizer.

commons-collections

Mirror of Apache Commons Collections

crashmonkey

CrashMonkey: tools for testing file-system reliability (OSDI 18)

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

dinky

Dinky is a Jekyll theme for GitHub Pages

fuzzer-test-suite

Set of tests for fuzzing engines

instanceofBenchmark

Bechmarking Java's instanceof and its alternatives

janala2-gradle

CATG updated

junit-quickcheck

Property-based testing, JUnit-style

just-the-class

A modern, highly customizable, responsive Jekyll template for course websites.

Mayan-EDMS

Fork of Mayan: Free Open Source Document Management System, for use in CMU 17-313

minimal-mistakes

:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.

pitest

State of the art mutation testing system for the JVM

quickinstance

Efficient implementation of the "instanceof" operator

ray

An experimental distributed execution engine

sakura

:cherry_blossom: a minimal css framework/theme.

sampleproject