Awesome Open Source

Programming Languages

Search results for taint analysis

taint-analysis x

63 search results found

Pyre Check ⭐ 6,606

Performant type-checking for python.

Psalm ⭐ 5,385

A static analysis tool for finding errors in PHP applications

Triton ⭐ 3,285

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

Find Sec Bugs ⭐ 2,160

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

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

Binary Analysis Platform

Bincat ⭐ 1,464

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

Tai E ⭐ 1,143

An easy-to-learn/use static analysis framework for Java

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

Tigress_protection ⭐ 776

Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

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 is now an extension to DECAF.

Polytracker ⭐ 480

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

Python source code auditing and static analysis on a large scale

Bytecodedl ⭐ 289

A declarative static analysis tool for jvm bytecode based Datalog like CodeQL

Taintgrind ⭐ 232

A taint-tracking plugin for the Valgrind memory checking tool

Heap_detective ⭐ 179

The simple way to detect heap memory pitfalls in C++ and C. Beta.

Go Flow Levee ⭐ 167

Libdft64 ⭐ 165

libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)

Vuzzer64 ⭐ 148

This implements a 64-bit version of vusec/vuzzer fuzzing tool.

Tripledoggy ⭐ 136

基于clang static analyzer的源码漏洞检测插件

Malware Behavior Analyzer

Nestfuzz ⭐ 124

A structure-aware grey box fuzzer based on modeling the input processing logic.

Pathgrind ⭐ 106

Path based Dynamic Analysis

Chrome extension to aid in finding DOMXSS by simple taint analysis of string values.

trace local function calls like strace and ltrace

Taintmini ⭐ 48

Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis

Program Analysis for LLVM

Antitaintdroid ⭐ 36

AntiTaintDroid - Escaping Taint Analysis (and stealing private information) on Android for Fun and Profit

JavaScript Code Instrumenter

Performant taint analysis for Node.js

Pre List ⭐ 31

List of (automatic) protocol reverse engineering tools for network protocols

Mediawiki Tools Phan Securitycheckplugin ⭐ 24

Mirror of https://gerrit.wikimedia.org/g/mediawiki/tools/pha See https://www.mediawiki.org/wiki/Developer_access for contributing

Dyntainttracer ⭐ 22

a tain tracer based on DynamoRIO, currently ARM only

Go Taint CHeck Analyser

Secretary ⭐ 21

The Reverse Engineering Assistant of your dreams

Flowmatrix ⭐ 19

FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22

Stack Guard ⭐ 17

A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain

Taint Benchmark ⭐ 17

A benchmark to evaluate taint analysis

GAINS: Getting stArted wIth biNary analysiS

FAROS: Illuminating In-Memory Injection Attacks via Provenance-based Whole System Dynamic Information Flow Tracking

Kernel Intoverflow Taint Checker ⭐ 16

A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.

Instrumentation ⭐ 16

Assorted pintools

Piitracker ⭐ 15

PIITracker: Automatic Tracking of Personally Identifiable Information in Windows

Malware analysis tool based on taint analysis.

Dynamic Rabbits ⭐ 12

Droidscope ⭐ 12

A dynamic analysis platform for Android

Taint Evaluator ⭐ 11

A suite of experiments for evaluating open-source binary taint trackers.

V8 Taint ⭐ 11

JITed Taint Tracking in V8

Very WIP taint analysis for DynamoRIO (ARM)

Cryptorex ⭐ 10

Large-scale Analysis of Cryptographic Misuse in IoT Devices

Malware Analysis ⭐ 9

A proof of concept tool that demonstrates virtual machines, dynamic taint analysis, and symbolic execution.

Triton4delphi ⭐ 8

The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi

Information flow analysis tool for Android applications

Flow-based configuration analysis

Android Application Sandbox ⭐ 7

In recent time there has been an increase of malicious Android applications showing up on both official and unofficial markets. If one had a tool that via sandboxing technique would provide an initial perspective on a package's behavior, one could reduce the risk of getting exposed to such malware. To accomplish this, the sandbox will utilize static pre-check, dynamic taint analysis and API monitoring. Data leaks can be detected by tainting sensitive data and placing taint sinks throughout the

Dynamic Taint Analysis in JavaScript

Taintflow ⭐ 6

TaintFlow, a framework for JavaScript dynamic information flow analysis.

a dataflow analysis framework implemented in Go, like soot

A CFL-r-based static analyser

Jm Taint Strace ⭐ 5

Automatically exported from code.google.com/p/jm-taint-strace

Research on Saluki - software for finding taint style vulnerabilities in a binary code

Taint Em All ⭐ 5

1-63 of 63 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.