vaibhavbsharma

jkind

JKind - An infinite-state model checker for safety properties in Lustre

cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS. Modified for FuzzBALL.

awesome-ida

moved to: https://github.com/alphaSeclab/awesome-reverse-engineering

simple_simhash

A pure ANSI-C implementation of calculating a SimHash over 4-byte tuples (including multiplicities) for a given byte stream. Simple and reasonably fast, no dynamic memory allocations (outside of some stack usage). Uses a counting bloom filter to count multiplicities while keeping memory consumption constant.

fuzzball-loopsum

FuzzBALL with Loop Summarization (under progress)

dyninst

DyninstAPI: Tools for binary instrumentation, analysis, and modification.

AutoBib

AutoBib: create beautiful bib files and html publication pages automagically

ISSTA-Veritesting

VeritestingTransformations

jpf-symbc

Symbolic PathFinder

veritestingBenchmarks

green-solver

Automatically exported from code.google.com/p/green-solver

FraudResumeDetection

Text Mining Project for Data Mining Class CSE881, Michigan State University

fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution