taint-analysis topic

Assorted pintools

agustingianni

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

JonathanSalwan

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

python-security

Performant type-checking for python.

facebook

Binary Analysis Platform

BinaryAnalysisPlatform

DECAF (short for Dynamic Executable Code Analysis Framework) is a binary analysis platform based on QEMU. This is also the home of the DroidScope dynamic Android malware analysis platform. DroidScope...

decaf-project

The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

find-sec-bugs

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

airbus-seclab

A taint-tracking plugin for the Valgrind memory checking tool

wmkhoo

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

AngoraFuzzer