-
Updated
Aug 25, 2020 - OCaml
#
taint-analysis
Here are 43 public repositories matching this topic...
Performant type-checking for python.
python
security
typechecker
static-analysis
ocaml
control-flow-analysis
code-quality
program-analysis
taint-analysis
abstract-interpretation
type-check
A static analysis tool for finding errors in PHP applications
-
Updated
Aug 24, 2020 - PHP
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.
reverse-engineering
symbolic-execution
binary-analysis
instruction-semantics
program-analysis
taint-analysis
smt
binary-translation
-
Updated
Aug 24, 2020 - C++
h3xstream
commented
Oct 3, 2019
Binary Analysis Platform
emulator
security
arm
mips
static-analysis
ocaml
reverse-engineering
disassembler
symbolic-execution
bap
x86
dynamic-analysis
binary-analysis
instruction-semantics
program-analysis
taint-analysis
powerpc
program-verification
lifter
-
Updated
Aug 24, 2020 - OCaml
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
-
Updated
Jul 24, 2020 - OCaml
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
-
Updated
Jul 19, 2020 - C++
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.
-
Updated
Feb 14, 2020 - C
Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
llvm
reverse-engineering
symbolic-execution
deobfuscation
triton
taint-analysis
tigress
tigress-protections
solution-tigress-challenge
-
Updated
Apr 22, 2020 - LLVM
A taint-tracking plugin for the Valgrind memory checking tool
-
Updated
Aug 4, 2020 - C
Malware Behavior Analyzer
sandbox
malware
forensics
qemu
program-analysis
taint-analysis
virtual-machine-introspection
dynamic-binary-analysis
-
Updated
Jun 1, 2017 - C
libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)
-
Updated
Apr 2, 2019 - C++
KLEE-TAINT - Klee with taint analysis support
-
Updated
Oct 23, 2017 - C++
Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
-
Updated
Jul 17, 2020 - C
a tain tracer based on DynamoRIO, currently ARM only
-
Updated
Mar 30, 2020 - C
Go Taint CHeck Analyser
-
Updated
Jun 25, 2019 - Go
A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain
-
Updated
Jul 1, 2017 - C++
A dynamic analysis platform for Android
-
Updated
Jul 9, 2019 - C++
Assorted pintools
coverage
binary
dynamic
instrumentation
binary-analysis
program-analysis
taint-analysis
pintool
code-coverage
pin
taint
-
Updated
Mar 30, 2020 - C++
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)
-
Updated
Jun 29, 2020 - PHP
PIITracker: Automatic Tracking of Personally Identifiable Information in Windows
privacy
reverse-engineering
taint-analysis
panda
information-flow-tracking
personally-identifiable-information
-
Updated
Apr 1, 2018 - C
FAROS: Illuminating In-Memory Injection Attacks via Provenance-based Whole System Dynamic Information Flow Tracking
reverse-engineering
taint-analysis
panda
provenance-analysis
information-flow-tracking
in-memory-injection-attacks
-
Updated
Apr 1, 2018 - C
just an experiment
-
Updated
Sep 5, 2018 - JavaScript
The Reverse Engineering Assistant of your dreams
-
Updated
Jun 16, 2020 - C++
JavaScript virtual machine for WebAssembly and Taint Tracking security tool
-
Updated
Dec 15, 2017 - JavaScript
TaintFlow, a framework for JavaScript dynamic information flow analysis.
-
Updated
Apr 9, 2020 - TypeScript
Research on Saluki - software for finding taint style vulnerabilities in a binary code
-
Updated
Jan 30, 2019 - TeX
A CFL-r-based static analyser
-
Updated
Nov 13, 2019 - C#
Formal model of program execution, symbolic execution, and taint tracking
latex
paper
symbolic-execution
taint-analysis
graph-drawing
dynamic-symbolic-execution
concolic-execution
-
Updated
Apr 14, 2019 - TeX
Improve this page
Add a description, image, and links to the taint-analysis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the taint-analysis topic, visit your repo's landing page and select "manage topics."
I wrote some of the code to do this in a branch https://github.com/python-security/pyt/compare/class_based_views, but since I'm working on other things and this feature seems cool and important I'm making this issue👍
Let me know if you would like any help in implementing.