193 skills found · Page 1 of 7
omerbsezer / Fast KubernetesThis repo covers Kubernetes with LABs: Kubectl, Pod, Deployment, Service, PV, PVC, Rollout, Multicontainer, Daemonset, Taint-Toleration, Job, Ingress, Kubeadm, Helm, etc.
airbus-seclab / BincatBinary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
bytedance / AppsharkAppshark is a static taint analysis platform to scan vulnerabilities in an Android app.
rails / Strong ParametersTaint and required checking for Action Pack and enforcement in Active Model
JonathanSalwan / Tigress ProtectionPlaying 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.
microsoft / InfersharpInfer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.
laruence / TaintTaint is a PHP extension, used for detecting XSS codes
trailofbits / PolytrackerAn LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
enzet / Symbolic ExecutionHistory of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Chanzi-keji / Chanzi"chanzi" is a simple and user-friendly JAVA SAST tool that utilizes taint analysis technology, includes built-in common vulnerability rules, supports decompile, custom rule, and is compatible with the technology stacks of Servlet&filter, Spring,struts,Dubbo,Thrift, jax-rs,jax-ws,JFinal,Netty,MyBatis,and JSP.
poppopjmp / VMDragonSlayerAutomated multi-engine framework for unpacking, analyzing, and devirtualizing binaries protected by commercial and custom Virtual Machine based protectors. Combines Dynamic Taint Tracking, Symbolic Execution, Pattern & Semantic Classification, and Machine Learning–driven prioritization to dramatically reduce manual reverse engineering time.
NSSL-SJTU / SaTCA prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between front-end and back-end to precisely detect security vulnerabilities.
googleprojectzero / Bochspwn ReloadedA Bochs-based instrumentation performing kernel memory taint tracking to detect disclosure of uninitialized memory to ring 3
secure-software-engineering / DroidBenchA micro-benchmark suite to assess the stability of taint-analysis tools for Android
AngoraFuzzer / Libdft64libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)
wmkhoo / TaintgrindA taint-tracking plugin for the Valgrind memory checking tool
gmu-swe / PhosphorPhosphor: Dynamic Taint Tracking for the JVM
usdAG / FlowMateFlowMate, a BurpSuite extension that brings taint analysis to web applications, by tracking all parameters send to a target application and matches their occurrences in the responses.
HeadyZhang / Agent AuditStatic security scanner for LLM agents — prompt injection, MCP config auditing, taint analysis. 49 rules mapped to OWASP Agentic Top 10 (2026). Works with LangChain, CrewAI, AutoGen.
kubernetes-sigs / Node Readiness ControllerThis repository contains a Kubernetes controller that manages node taints based on multiple readiness conditions, providing fine-grained control over when nodes are ready to accept workloads.
