Here are
62 public repositories
matching this topic...
Performant type-checking for python.
Updated
Oct 31, 2022
OCaml
A static analysis tool for finding errors in PHP applications
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Updated
Dec 25, 2020
Python
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Updated
Sep 19, 2022
Java
Updated
Oct 31, 2022
OCaml
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Updated
Oct 28, 2022
OCaml
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
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.
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.
Updated
Feb 15, 2022
LLVM
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
Updated
Oct 31, 2022
Python
A taint-tracking plugin for the Valgrind memory checking tool
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
Updated
Aug 28, 2022
Shell
libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)
Malware Behavior Analyzer
Teaching and Learning Software Analysis via SVF
Python source code auditing and static analysis on a large scale
Updated
Jun 13, 2022
Python
KLEE-TAINT - Klee with taint analysis support
Improve this page
Add a description, image, and links to the
taint-analysis
topic page so that developers can more easily learn about it.
Curate this topic
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."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.