Doing research on top of Jalangi

Find exploitable PHP files by parameter fuzzing and function call tracing

Path based Dynamic Analysis

A systematic black-box analysis approach for collaborative web applications.

LLVM passes with usage instructions

Clang plugin which fills structure pads to provoke buffer overflow errors

See where an object's property values were assigned, plus a history of past values.

This tool automates firmware analysis tasks such as the extraction or emulation process of firmware images based on the Firmadyne system.

Analyses repository for Jalangi2

Analysis HAR (web archive) created by firefox for find security holes in static & dynamic analysis.

Python type inferencer for generating type annotations.

Mobile Security Framework is an intelligent, all-in-one open source mobile application (Android/iOS/Windows) automated pen-testing framework capable of performing static, dynamic analysis and web API testing.

A library for dynamic analysis of multithreaded POSIX C programs

Code coverage analysis tools for the PIN Toolkit

A tool for tracing and pretty-printing interface data structures produced by C/C++ APIs.

Updated version of ApiTracer Pin tool

A graph-based static-dynamic hybrid DEX code analysis tool

A simple kernel-level plugin for ReClass.NET