GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
taint-analysisHere are 255 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
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 PHP static analysis tool for finding errors and security vulnerabilities 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.
emulator reverse-engineering symbolic-execution deobfuscation dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis lifter binary-translation
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
java security security-audit bytecode findbugs static-analysis code-analysis owasp taint-analysis hacktoberfest cwe
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
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
python flask security static-code-analysis static-analysis python3 abstract-syntax control-flow-graph dataflow program-analysis taint-analysis fixed-point abstract-syntax-tree taint pyt fixed-point-analysis dataflow-analysis
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
An easy-to-learn/use static analysis framework for Java and Android
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
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.
llvm reverse-engineering symbolic-execution deobfuscation triton taint-analysis tigress tigress-protections solution-tigress-challenge
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.
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
Python source code auditing and static analysis on a large scale
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, designed to support multiple programming languages. Built on top of UAST, YASA provides a highly accurate static analysis framework.
libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)
A taint-tracking plugin for the Valgrind memory checking tool
Corax for Java: A general static analysis framework for java code checking.
java security security-audit static-code-analysis static-analysis code-analysis owasp vulnerability software-analysis program-analysis taint-analysis soot abstract-interpretation cwe sarif sast flowdroid
Static security scanner for LLM agents — prompt injection, MCP config auditing, taint analysis. 51 rules mapped to OWASP Agentic Top 10 (2026). Works with LangChain, CrewAI, AutoGen.
python cli security mcp static-analysis owasp taint-analysis vulnerability-detection vulnerability-scanner ai-security ai-agent langchain prompt-injection llm-security llm-safety crewai ai-security-tool langchain-security-
Teaching and Learning Software Analysis via SVF
Add this topic to your repoTo associate your repository with the taint-analysis topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |