Taint Analysis
Showing 14 of 14 projects
A static analysis tool that scans Go source code for security vulnerabilities by analyzing the AST and SSA representations.
A performant, incremental type checker for Python with integrated security analysis via Pysa.
A static analysis tool for finding errors and security vulnerabilities in PHP applications.
A dynamic binary analysis library for building program analysis tools, automating reverse engineering, and emulating code.
A SpotBugs plugin for detecting security vulnerabilities in Java web and Android applications.
A suite of utilities and libraries for analyzing binary programs, supporting multiple architectures and offering symbolic execution.
A static binary code analysis toolkit for reverse engineers, featuring value/taint analysis, type reconstruction, and memory vulnerability detection.
A mutation-based coverage-guided fuzzer that increases branch coverage by solving path constraints without symbolic execution.
A dynamic binary analysis framework based on QEMU for whole-system taint analysis and security research.
A deobfuscator that recovers control flow from binaries compiled with the M/o/Vfuscator one-instruction compiler.
A static application security testing (SAST) tool for PHP that detects vulnerabilities like XSS through taint analysis.
A static analysis tool for Android applications that detects security vulnerabilities through inter-procedure and intra-procedure analysis.
An abstract interpreter for Rust's MIR that performs static analysis to find bugs and verify correctness properties.
Platform for Architecture-Neutral Dynamic Analysis built on QEMU, enabling whole-system record/replay and cross-architecture analysis.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.