taint-analysis
Here are 89 public repositories matching this topic...
Language:All
Sort:Most stars
Performant type-checking for python.
- Updated
Mar 21, 2025 - OCaml
A static analysis tool for finding errors in PHP applications
- Updated
Mar 20, 2025 - PHP
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
- Updated
Mar 6, 2025 - C++
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
- Updated
Mar 18, 2025 - Java
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
- Updated
Dec 25, 2020 - Python
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
- Updated
Feb 25, 2025 - OCaml
An easy-to-learn/use static analysis framework for Java
- Updated
Feb 16, 2025 - Java
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 18, 2022 - C++
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
Nov 21, 2023 - 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.
- Updated
Nov 19, 2024 - C
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
- Updated
Mar 6, 2025 - C++
Python source code auditing and static analysis on a large scale
- Updated
Oct 3, 2023 - Python
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
- Updated
Jan 6, 2024 - Shell
A taint-tracking plugin for the Valgrind memory checking tool
- Updated
Oct 26, 2023 - C
libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)
- Updated
Feb 21, 2025 - C++
Corax for Java: A general static analysis framework for java code checking.
- Updated
Dec 3, 2024 - Kotlin
Teaching and Learning Software Analysis via SVF
- Updated
Mar 6, 2025 - C++
A structure-aware grey box fuzzer based on modeling the input processing logic.
- Updated
Oct 11, 2024 - C++
Malware Behavior Analyzer
- Updated
Jun 1, 2017 - C
Improve this page
Add a description, image, and links to thetaint-analysis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thetaint-analysis topic, visit your repo's landing page and select "manage topics."