unshorn

frap

Formal Reasoning About Programs

pm

package managers visualization

PRML

PRML algorithms implemented in Python

typing-scheme

a rough translation of the static type system from EoPL into Racket

annotated_research_papers

This repo contains annotated research papers that I found really good and useful

collabfuzz

CollabFuzz: A Framework for Collaborative Fuzzing

comby

A tool for structural code search and replace that supports ~every language.

datalog

An in-memory datalog implementation for OCaml.

designs

This repo is used for reviewing new .NET designs.

fuzzing

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

H5SC

HTML5 Security Cheatsheet - A collection of HTML5 related XSS attack vectors

halfempty

A fast, parallel test case minimization tool.

ijon

jazzer

Coverage-guided, in-process fuzzing for the JVM

Krakatau

Java decompiler, assembler, and disassembler

littlelisp

A small Lisp interpreter in JavaScript

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

phosphor

Phosphor: Dynamic Taint Tracking for the JVM

program-analysis-examples

Notes for CIS 700 (Fall '19) at Syracuse U.

Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

queryFuzz

QueryFuzz implements a metamorphic testing approach to test Datalog engines.

randoop

Automatic test generation for Java

safe

Scalable Analysis Framework for ECMAScript

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

SerializationDumper

A tool to dump Java serialization streams in a more human readable form.

sqlancer

Detecting Logic Bugs in DBMS

src

tools for fast reading of docs

svg-sanitizer

A PHP SVG/XML Sanitizer

testrunner

TIP

Static program analysis for TIP