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
May 26, 2024 - C++
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Performant type-checking for python.
A static analysis tool for finding errors in PHP applications
An easy-to-learn/use static analysis framework for Java
A structure-aware grey box fuzzer based on modeling the input processing logic.
Taint Analysis Engine and Trace Exploration : Overcome Obfuscation
Teaching and Learning Software Analysis via SVF
Binary Analysis Platform
Mirror of https://gerrit.wikimedia.org/g/mediawiki/tools/phan/SecurityCheckPlugin See https://www.mediawiki.org/wiki/Developer_access for contributing
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Reverse engineered API for Microsoft's Time Travel Debugger
Corax for Java: A general static analysis framework for java code checking.
Implementation of different forms of static program analysis techniques
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
Performant taint analysis for Node.js
A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Evaluation on GPT Agent "Data Leakage Detector"
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
Add a description, image, and links to the taint-analysis topic page so that developers can more easily learn about it.
To associate your repository with the taint-analysis topic, visit your repo's landing page and select "manage topics."