All Categories → Security → taint-analysis

Top 16 taint-analysis open source projects

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

✭ 2,061

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

Triton

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

✭ 1,934

C++python c CMake ruby SMT reverse-engineering binary-analysis program-analysis symbolic-execution smt instruction-semantics taint-analysis binary-translation

Find Sec Bugs

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

✭ 1,748

java kotlin HTML groovy CSS XSLT hacktoberfest security static-analysis security-audit owasp code-analysis findbugs taint-analysis cwe

Pyre Check

Performant type-checking for python.

✭ 5,716

python ocaml c Standard ML typescript shell security static-analysis code-quality program-analysis typechecker control-flow-analysis taint-analysis abstract-interpretation type-check

Psalm

A static analysis tool for finding errors in PHP applications

✭ 4,523

PHP static-analysis taint-analysis type-inference hacktoberfest security-analysis

Dynamic-Rabbits

No description or website provided.

✭ 13

c CMake binary-analysis taint-analysis dynamorio dynamic-rabbits

instrumentation

Assorted pintools

✭ 24

C++python coverage binary dynamic instrumentation binary-analysis program-analysis taint-analysis pintool code-coverage pin taint

taint-with-frida

just an experiment

✭ 17

javascript python c Makefile analysis instrumentation dbi taint-analysis frida taint

stack-guard

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

✭ 21

C++CMake stack llvm clang taint-analysis

phan-taint-check-plugin

Github mirror of "mediawiki/tools/phan/SecurityCheckPlugin" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)

✭ 21

PHP shell security-audit static-analysis taint-analysis phan

aura

Python source code auditing and static analysis on a large scale

✭ 101

python javascript YARA HTML shell Dockerfile security-audit static-analysis taint-analysis

gotcha

Go Taint CHeck Analyser

✭ 40

go shell static-code-analysis static-analysis dataflow taint-analysis gotcha

FAROS

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