Topic: taint-analysis

facebook / pyre-check

Performant type-checking for python.

python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis control-flow-analysis

OCaml Updated Mar 22, 2019

python-security / pyt

1.8k

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

pyt control-flow-graph static-analysis python python3 security static-code-analysis program-analysis fixed-point fixed-point-analysis dataflow dataflow-analysis taint taint-analysis abstract-syntax-tree abstract-syntax flask

Python Updated Jan 30, 2019 6 issues need help

JonathanSalwan / Triton

1.2k

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Executio…

reverse-engineering symbolic-execution binary-analysis instruction-semantics program-analysis taint-analysis smt binary-translation

C++ Updated Mar 12, 2019

find-sec-bugs / find-sec-bugs

920

The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Groovy and…

findbugs java security-audit owasp taint-analysis code-analysis security bytecode cwe static-analysis

Java Updated Mar 22, 2019 5 issues need help

BinaryAnalysisPlatform / bap

882

Binary Analysis Platform

OCaml Updated Mar 22, 2019 5 issues need help

JonathanSalwan / Tigress_protection

390

Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic…

deobfuscation tigress tigress-protections triton symbolic-execution llvm reverse-engineering taint-analysis solution-tigress-challenge

LLVM Updated Feb 18, 2019

GlacierW / MBA

115

Malware Behavior Analyzer

malware qemu sandbox virtual-machine-introspection forensics taint-analysis program-analysis dynamic-binary-analysis

C Updated Jun 1, 2017

wmkhoo / taintgrind

110

A taint-tracking plugin for the Valgrind memory checking tool

valgrind c taint-analysis

C Updated Feb 10, 2019

feliam / klee-taint

44

KLEE-TAINT - Klee with taint analysis support

symbolic-execution taint-analysis klee llvm

Forked from klee/klee C++ Updated Oct 23, 2017

brainsmoke / minemu

19

Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )

security data-flow-tracker taint-analysis jit-compiler mitigation dynamic-analysis x86

C Updated Jan 4, 2019

akwick / gotcha

15

Go Taint CHeck Analyser

golang static-analysis taint-analysis static-code-analysis dataflow gotcha

Go Updated Aug 4, 2017

DhavalKapil / stack-guard

14

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

stack llvm taint-analysis clang

C++ Updated Jul 1, 2017

mnavaki / PIITracker

13

PIITracker: Automatic Tracking of Personally Identifiable Information in Windows

personally-identifiable-information taint-analysis reverse-engineering privacy information-flow-tracking panda

C Updated Apr 1, 2018

agustingianni / instrumentation

12

Assorted pintools

instrumentation pintool pin dynamic binary taint-analysis taint coverage code-coverage binary-analysis program-analysis

C++ Updated Dec 6, 2018

mnavaki / FAROS

11

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

taint-analysis reverse-engineering provenance-analysis panda information-flow-tracking in-memory-injection-attacks

C Updated Apr 1, 2018

wikimedia / phan-taint-check-plugin

6

Github mirror of "mediawiki/tools/phan/SecurityCheckPlugin" - our actual code is hosted with Gerrit (please see https…

php7 phan security-audit static-analysis taint-analysis

PHP Updated Mar 20, 2019

aronszanto / wasm-taint-tracking

6

JavaScript virtual machine for WebAssembly and Taint Tracking security tool

webassembly virtual-machine javascript taint-analysis security

JavaScript Updated Dec 15, 2017

AngoraFuzzer / libdft64

2

Libdft64 for Pin 3.x

security taint-analysis fuzzing dynamic-analysis taint

C++ Updated Mar 8, 2019

andreabazerla / interpreter

1

Operational recursive interpreter created in OCaml with operations on strings, parser for reflection and dynamic info…

ocaml sml ml interpreter compiler functional-programming univr parser reflection taint-analysis

Updated Jul 10, 2017

ElectricCoffee / Stainless

1

Stainless is a taint analysis library for Rust

taint-analysis rust rust-library

Rust Updated Nov 1, 2018

enzet / program-model

1

Formal model of program execution, symbolic execution, and taint tracking

latex paper symbolic-execution dynamic-symbolic-execution concolic-execution taint-analysis graph-drawing

TeX Updated Mar 21, 2019

ElectricCoffee / rust-seclib

1

An attempt at implementing Haskell's SecLib in Rust

security seclib taint-analysis rust-library

Rust Updated Nov 7, 2018

Sbouber / mujs-taint

1

Taint tracking for MuJS

taint-analysis xss-detection

JavaScript Updated Jan 27, 2018

jjanczur / Saluki

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

saluki taint-analysis saluki-architecture dynamic-analysis taint-style-vulnerabilities

TeX Updated Jan 30, 2019

Java Updated Jun 11, 2018

llubu / PolicyTaintDroid

Policy Enforcement for Taint Droid

taint-droid android taint-analysis

Java Updated Jan 6, 2014

vishnu45 / SQL-injection-detection

A java based framework for detecting SQL injection vulnerable sections within PHP code.

sql-injection static-code-analysis program-analysis taint-analysis

Java Updated Jan 22, 2017

Please note that GitHub no longer supports Internet Explorer.

taint-analysis

Repositories 29