Model a method's taint propagation as code-based dataflow approximation and refine it against a test project until the sample passes. Use for a dropped method that requires code-based approximation
原文语言:英语
复制这段 Prompt,发给你正在使用的 AI 助手。
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/seqra/opentaint.正在加载仓库 README…
已展示 16 / 16 个已收集 Skill。
Model a method's taint propagation as code-based dataflow approximation and refine it against a test project until the sample passes. Use for a dropped method that requires code-based approximation
原文语言:英语
Create an OpenTaint test project with positive/negative samples for verifying a rule or approximation. Use when a rule or approximation needs a test project to check against
原文语言:英语
Run an OpenTaint scan on project and produces the SARIF report. Use whenever the user asks to scan or re-scan a project
原文语言:英语
Analyze an OpenTaint scan's dropped external methods and decide which of them are propagators and optionally sinks. Use when a dropped-external-methods.yaml needs classification for dropped method type
原文语言:英语
Triage OpenTaint findings statically. Use when scan findings need a TP/FP verdict
原文语言:英语
Run an end-to-end OpenTaint application-security analysis while owning the long project build and scans and delegating each other pipeline stage. Use when the user asks to find vulnerabilities, or scan an application for security issues
原文语言:英语
Connect the shared untrusted-data source group to new reusable OpenTaint sink groups. Use to wire new sink tags into security joins
原文语言:英语
Build a target project into an opentaint project model. Use whenever a fresh opentaint project model needed
原文语言:英语
Model a method's taint propagation as a passThrough approximation. Use for a dropped method whose propagation is simple copying
原文语言:英语
Author and verify an OpenTaint rule. Use whenever a rule creation is needed
原文语言:英语
Classify project-used dependency members and record taint sources as rule-authoring units. Use for the source-discovery depth pass
原文语言:英语
Reproduce a true-positive finding against the running application. Use when a finding needs dynamic confirmation
原文语言:英语
Run one stage of the OpenTaint pipeline by coordinating leaf subagents and deterministic joins. Use when a separate OpenTaint pipeline stage needs to be executed
原文语言:英语
Mark which of a project's dependency libraries could introduce taint sources. Use to start source discovery
原文语言:英语
Debug a rule or approximation that behaves unexpectedly by tracing where taint is dropped. Use when its samples won't pass after repeated attempts, or it passes tests but is wrong on a real scan
原文语言:英语
Write a self-contained OpenTaint engine-issue report from an analysis diagnosis or a full-scan failure. Use when an engine-side issue needs a report
原文语言:英语
暂时无法加载仓库 README。你仍可浏览下方的 Skill 目录。