[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill-trail-of-bits-audit-augmentation":3,"mdc--e8cun5-key":35,"related-org-trail-of-bits-audit-augmentation":2072,"related-repo-trail-of-bits-audit-augmentation":2218},{"slug":4,"name":4,"fn":5,"description":6,"org":7,"tags":12,"stars":23,"repoUrl":24,"updatedAt":25,"license":26,"forks":27,"topics":28,"repo":30,"sourceUrl":33,"mdContent":34},"audit-augmentation","augment code graphs with audit findings","Augments Trailmark code graphs with external audit findings from SARIF static analysis results, weAudit annotation files, and version-gated Trailmark 0.4.x binary-analysis graph exports. Maps findings to graph nodes by file and line overlap, creates severity-based subgraphs, and enables cross-referencing findings with pre-analysis data (blast radius, taint, etc.). Use when projecting SARIF results onto a code graph, overlaying weAudit annotations, importing binary graph findings, cross-referencing Semgrep, CodeQL, or binary-analysis findings with call graph data, or visualizing audit findings in the context of code structure.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},"trail-of-bits","Trail of Bits","https:\u002F\u002Fpexgzepcugksgbtrxkhf.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Forg-logos\u002Ftrail-of-bits.png","trailofbits",[13,17,20],{"name":14,"slug":15,"type":16},"Security","security","tag",{"name":18,"slug":19,"type":16},"Audit","audit",{"name":21,"slug":22,"type":16},"Code Analysis","code-analysis",6139,"https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills","2026-08-01T05:44:54.920542",null,541,[29],"agent-skills",{"repoUrl":24,"stars":23,"forks":27,"topics":31,"description":32},[29],"Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows","https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills\u002Ftree\u002FHEAD\u002Fplugins\u002Ftrailmark\u002Fskills\u002Faudit-augmentation","---\nname: audit-augmentation\ndescription: >\n  Augments Trailmark code graphs with external audit findings from SARIF static\n  analysis results, weAudit annotation files, and version-gated Trailmark 0.4.x\n  binary-analysis graph exports. Maps findings to graph nodes by\n  file and line overlap, creates severity-based subgraphs, and enables\n  cross-referencing findings with pre-analysis data (blast radius, taint, etc.).\n  Use when projecting SARIF results onto a code graph, overlaying weAudit\n  annotations, importing binary graph findings, cross-referencing Semgrep,\n  CodeQL, or binary-analysis findings with call graph data, or visualizing audit\n  findings in the context of code structure.\n---\n\n# Audit Augmentation\n\nProjects findings from external tools (SARIF) and human auditors (weAudit)\nonto Trailmark code graphs as annotations and subgraphs. Trailmark 0.4.0+ can\nalso import an external binary-analysis graph JSON export via\n`engine.augment_binary()`.\n\n## When to Use\n\n- Importing Semgrep, CodeQL, or other SARIF-producing tool results into a graph\n- Importing weAudit audit annotations into a graph\n- Importing binary-analysis graph data into a source graph (Trailmark 0.4.0+)\n- Cross-referencing static analysis findings with blast radius or taint data\n- Querying which functions have high-severity findings\n- Visualizing audit coverage alongside code structure\n- Preparing one SARIF or weAudit result for `trailmark-finding-triage`\n\n## When NOT to Use\n\n- Running static analysis tools (use semgrep\u002Fcodeql directly, then import)\n- Building the code graph itself (use the `trailmark` skill)\n- Generating diagrams (use the `diagramming-code` skill after augmenting)\n\n## Rationalizations to Reject\n\n| Rationalization | Why It's Wrong | Required Action |\n|-----------------|----------------|-----------------|\n| \"The user only asked about SARIF, skip pre-analysis\" | Without pre-analysis, you can't cross-reference findings with blast radius or taint | Always run `engine.preanalysis()` before augmenting |\n| \"Unmatched findings don't matter\" | Unmatched findings may indicate parsing gaps or out-of-scope files | Report unmatched count and investigate if high |\n| \"One severity subgraph is enough\" | Different severities need different triage workflows | Query all severity subgraphs, not just `error` |\n| \"SARIF results speak for themselves\" | Findings without graph context lack blast radius and taint reachability | Cross-reference with pre-analysis subgraphs |\n| \"weAudit and SARIF overlap, pick one\" | Human auditors and tools find different things | Import both when available |\n| \"Tool isn't installed, I'll do it manually\" | Manual analysis misses what tooling catches | Install trailmark first |\n\n---\n\n## Installation\n\n**MANDATORY:** If `uv run trailmark` fails, install trailmark first:\n\n```bash\nuv pip install trailmark\n```\n\n## Version Gate\n\nSARIF and weAudit augmentation are v0.2-safe. Binary graph augmentation is\nTrailmark 0.4.0+ only. Before calling `engine.augment_binary()`, check:\n\n```python\nif not hasattr(engine, \"augment_binary\"):\n    raise RuntimeError(\"Binary augmentation requires Trailmark >= 0.4.0\")\n```\n\nOn Trailmark 0.5.0+, known links between source functions and imported binary\nor external endpoints can also be declared once in `.trailmark\u002Flinks.toml`\n(see the main `trailmark` skill's Repository Links section) instead of being\nre-derived per session. Declared external endpoints materialize as\n`proxy.external:\u003Csymbol>` nodes on every parse.\n\n## Quick Start\n\n### CLI\n\n```bash\n# Augment with SARIF\nuv run trailmark augment {targetDir} --sarif results.sarif\n\n# Augment with weAudit\nuv run trailmark augment {targetDir} --weaudit .vscode\u002Falice.weaudit\n\n# Both at once, output JSON\nuv run trailmark augment {targetDir} \\\n    --sarif results.sarif \\\n    --weaudit .vscode\u002Falice.weaudit \\\n    --json\n```\n\nBinary graph augmentation is programmatic in Trailmark 0.4.0+; do not invent a\nCLI flag if `trailmark augment --help` does not show one.\n\n### Programmatic API\n\n```python\nfrom trailmark.query.api import QueryEngine\n\nengine = QueryEngine.from_directory(\"{targetDir}\", language=\"auto\")\n\n# Run pre-analysis first for cross-referencing\nengine.preanalysis()\n\n# Augment with SARIF\nresult = engine.augment_sarif(\"results.sarif\")\n# result: {matched_findings: 12, unmatched_findings: 3, subgraphs_created: [...]}\n\n# Augment with weAudit\nresult = engine.augment_weaudit(\".vscode\u002Falice.weaudit\")\n\n# Augment with an external binary graph export (v0.4+)\nif hasattr(engine, \"augment_binary\"):\n    result = engine.augment_binary(\"binary_graph.json\")\n\n# Query findings\nengine.findings()                                       # All findings\nengine.subgraph(\"sarif:error\")                          # High-severity SARIF\nengine.subgraph(\"weaudit:high\")                         # High-severity weAudit\nengine.subgraph(\"sarif:semgrep\")                        # By tool name\nengine.annotations_of(\"function_name\")                  # Per-node lookup\n```\n\nIf auto-detection is wrong for the target, rerun with an explicit language or\ncomma-separated list such as `python,rust`.\n\n## Workflow\n\n```\nAugmentation Progress:\n- [ ] Step 1: Build graph and run pre-analysis\n- [ ] Step 2: Locate SARIF\u002FweAudit\u002Fbinary graph files\n- [ ] Step 3: Run augmentation\n- [ ] Step 4: Inspect results and subgraphs\n- [ ] Step 5: Cross-reference with pre-analysis\n```\n\n**Step 1:** Build the graph and run pre-analysis for blast radius and taint\ncontext:\n\n```python\nengine = QueryEngine.from_directory(\"{targetDir}\", language=\"auto\")\nengine.preanalysis()\n```\n\nIf auto-detection is wrong for the target, rerun with an explicit language or\ncomma-separated list such as `python,rust`.\n\n**Step 2:** Locate input files:\n- **SARIF**: Usually output by tools like `semgrep --sarif -o results.sarif`\n  or `codeql database analyze --format=sarif-latest`\n- **weAudit**: Stored in `.vscode\u002F\u003Cusername>.weaudit` within the workspace\n- **Binary graph (v0.4+)**: External JSON with `artifact`, `functions`, and\n  `calls` fields. Trailmark imports this graph; it does not disassemble\n  binaries itself.\n\n**Step 3:** Run augmentation via `engine.augment_sarif()` or\n`engine.augment_weaudit()`. For binary graphs, run `engine.augment_binary()`\nonly after the Version Gate succeeds. Check `unmatched_findings` in SARIF and\nweAudit results — these are findings whose file\u002Fline locations didn't overlap\nany parsed code unit.\n\n**Step 4:** Query findings and subgraphs. Use `engine.findings()` to list all\nannotated nodes. Use `engine.subgraph_names()` to see available subgraphs.\n\n**Step 5:** Cross-reference with pre-analysis data to prioritize:\n- Findings on tainted nodes: overlap `sarif:error` with `tainted` subgraph\n- Findings on high blast radius nodes: overlap with `high_blast_radius`\n- Findings on privilege boundaries: overlap with `privilege_boundary`\n\nFor one candidate finding that needs a reachability verdict or PoC handoff,\ncontinue with `trailmark-finding-triage` and use the augmented node as the\nbound candidate.\n\n## Annotation Format\n\nFindings are stored as standard Trailmark annotations:\n\n- **Kind**: `finding` (tool-generated) or `audit_note` (human notes)\n- **Source**: `sarif:\u003Ctool_name>` or `weaudit:\u003Cauthor>`\n- **Description**: Compact single-line:\n  `[SEVERITY] rule-id: message (tool)`\n\n## Subgraphs Created\n\n| Subgraph | Contents |\n|----------|----------|\n| `sarif:error` | Nodes with SARIF error-level findings |\n| `sarif:warning` | Nodes with SARIF warning-level findings |\n| `sarif:note` | Nodes with SARIF note-level findings |\n| `sarif:\u003Ctool>` | Nodes flagged by a specific tool |\n| `weaudit:high` | Nodes with high-severity weAudit findings |\n| `weaudit:medium` | Nodes with medium-severity weAudit findings |\n| `weaudit:low` | Nodes with low-severity weAudit findings |\n| `weaudit:findings` | All weAudit findings (entryType=0) |\n| `weaudit:notes` | All weAudit notes (entryType=1) |\n| `binary:\u003Cartifact>` | Binary function nodes imported from a v0.4+ binary graph |\n\n## How Matching Works\n\nFindings are matched to graph nodes by file path and line range overlap:\n\n1. Finding file path is normalized relative to the graph's `root_path`\n2. Nodes whose `location.file_path` matches AND whose line range overlaps are\n   selected\n3. The tightest match (smallest span) is preferred\n4. If a finding's location doesn't overlap any node, it counts as unmatched\n\nSARIF paths may be relative, absolute, or `file:\u002F\u002F` URIs — all are handled.\nweAudit uses 0-indexed lines which are converted to 1-indexed automatically.\n\nBinary graph imports create `origin=binary` function nodes, `origin=proxy`\nexternal proxy nodes for unresolved binary calls, and inferred\n`corresponds_to` edges when a binary function maps back to a source node. The\nexpected JSON shape is intentionally small:\n\n```json\n{\n  \"artifact\": {\"name\": \"libexample\", \"architecture\": \"x86_64\", \"sha256\": \"...\"},\n  \"functions\": [\n    {\"symbol\": \"parse_packet\", \"address\": \"0x401000\",\n     \"source\": {\"file\": \"src\u002Fparser.c\", \"line\": 42}}\n  ],\n  \"calls\": [\n    {\"source\": \"parse_packet\", \"target\": \"malloc\", \"confidence\": \"inferred\"}\n  ]\n}\n```\n\n## Supporting Documentation\n\n- **[references\u002Fformats.md](references\u002Fformats.md)** — SARIF 2.1.0 and\n  weAudit file format field reference\n",{"data":36,"body":37},{"name":4,"description":6},{"type":38,"children":39},"root",[40,48,63,70,116,122,156,162,317,321,327,346,385,391,403,429,457,463,470,668,681,687,891,903,909,919,929,950,960,970,1049,1090,1116,1126,1172,1184,1190,1195,1263,1269,1460,1466,1471,1509,1522,1551,2043,2049,2066],{"type":41,"tag":42,"props":43,"children":44},"element","h1",{"id":4},[45],{"type":46,"value":47},"text","Audit Augmentation",{"type":41,"tag":49,"props":50,"children":51},"p",{},[52,54,61],{"type":46,"value":53},"Projects findings from external tools (SARIF) and human auditors (weAudit)\nonto Trailmark code graphs as annotations and subgraphs. Trailmark 0.4.0+ can\nalso import an external binary-analysis graph JSON export via\n",{"type":41,"tag":55,"props":56,"children":58},"code",{"className":57},[],[59],{"type":46,"value":60},"engine.augment_binary()",{"type":46,"value":62},".",{"type":41,"tag":64,"props":65,"children":67},"h2",{"id":66},"when-to-use",[68],{"type":46,"value":69},"When to Use",{"type":41,"tag":71,"props":72,"children":73},"ul",{},[74,80,85,90,95,100,105],{"type":41,"tag":75,"props":76,"children":77},"li",{},[78],{"type":46,"value":79},"Importing Semgrep, CodeQL, or other SARIF-producing tool results into a graph",{"type":41,"tag":75,"props":81,"children":82},{},[83],{"type":46,"value":84},"Importing weAudit audit annotations into a graph",{"type":41,"tag":75,"props":86,"children":87},{},[88],{"type":46,"value":89},"Importing binary-analysis graph data into a source graph (Trailmark 0.4.0+)",{"type":41,"tag":75,"props":91,"children":92},{},[93],{"type":46,"value":94},"Cross-referencing static analysis findings with blast radius or taint data",{"type":41,"tag":75,"props":96,"children":97},{},[98],{"type":46,"value":99},"Querying which functions have high-severity findings",{"type":41,"tag":75,"props":101,"children":102},{},[103],{"type":46,"value":104},"Visualizing audit coverage alongside code structure",{"type":41,"tag":75,"props":106,"children":107},{},[108,110],{"type":46,"value":109},"Preparing one SARIF or weAudit result for ",{"type":41,"tag":55,"props":111,"children":113},{"className":112},[],[114],{"type":46,"value":115},"trailmark-finding-triage",{"type":41,"tag":64,"props":117,"children":119},{"id":118},"when-not-to-use",[120],{"type":46,"value":121},"When NOT to Use",{"type":41,"tag":71,"props":123,"children":124},{},[125,130,143],{"type":41,"tag":75,"props":126,"children":127},{},[128],{"type":46,"value":129},"Running static analysis tools (use semgrep\u002Fcodeql directly, then import)",{"type":41,"tag":75,"props":131,"children":132},{},[133,135,141],{"type":46,"value":134},"Building the code graph itself (use the ",{"type":41,"tag":55,"props":136,"children":138},{"className":137},[],[139],{"type":46,"value":140},"trailmark",{"type":46,"value":142}," skill)",{"type":41,"tag":75,"props":144,"children":145},{},[146,148,154],{"type":46,"value":147},"Generating diagrams (use the ",{"type":41,"tag":55,"props":149,"children":151},{"className":150},[],[152],{"type":46,"value":153},"diagramming-code",{"type":46,"value":155}," skill after augmenting)",{"type":41,"tag":64,"props":157,"children":159},{"id":158},"rationalizations-to-reject",[160],{"type":46,"value":161},"Rationalizations to Reject",{"type":41,"tag":163,"props":164,"children":165},"table",{},[166,190],{"type":41,"tag":167,"props":168,"children":169},"thead",{},[170],{"type":41,"tag":171,"props":172,"children":173},"tr",{},[174,180,185],{"type":41,"tag":175,"props":176,"children":177},"th",{},[178],{"type":46,"value":179},"Rationalization",{"type":41,"tag":175,"props":181,"children":182},{},[183],{"type":46,"value":184},"Why It's Wrong",{"type":41,"tag":175,"props":186,"children":187},{},[188],{"type":46,"value":189},"Required Action",{"type":41,"tag":191,"props":192,"children":193},"tbody",{},[194,221,239,263,281,299],{"type":41,"tag":171,"props":195,"children":196},{},[197,203,208],{"type":41,"tag":198,"props":199,"children":200},"td",{},[201],{"type":46,"value":202},"\"The user only asked about SARIF, skip pre-analysis\"",{"type":41,"tag":198,"props":204,"children":205},{},[206],{"type":46,"value":207},"Without pre-analysis, you can't cross-reference findings with blast radius or taint",{"type":41,"tag":198,"props":209,"children":210},{},[211,213,219],{"type":46,"value":212},"Always run ",{"type":41,"tag":55,"props":214,"children":216},{"className":215},[],[217],{"type":46,"value":218},"engine.preanalysis()",{"type":46,"value":220}," before augmenting",{"type":41,"tag":171,"props":222,"children":223},{},[224,229,234],{"type":41,"tag":198,"props":225,"children":226},{},[227],{"type":46,"value":228},"\"Unmatched findings don't matter\"",{"type":41,"tag":198,"props":230,"children":231},{},[232],{"type":46,"value":233},"Unmatched findings may indicate parsing gaps or out-of-scope files",{"type":41,"tag":198,"props":235,"children":236},{},[237],{"type":46,"value":238},"Report unmatched count and investigate if high",{"type":41,"tag":171,"props":240,"children":241},{},[242,247,252],{"type":41,"tag":198,"props":243,"children":244},{},[245],{"type":46,"value":246},"\"One severity subgraph is enough\"",{"type":41,"tag":198,"props":248,"children":249},{},[250],{"type":46,"value":251},"Different severities need different triage workflows",{"type":41,"tag":198,"props":253,"children":254},{},[255,257],{"type":46,"value":256},"Query all severity subgraphs, not just ",{"type":41,"tag":55,"props":258,"children":260},{"className":259},[],[261],{"type":46,"value":262},"error",{"type":41,"tag":171,"props":264,"children":265},{},[266,271,276],{"type":41,"tag":198,"props":267,"children":268},{},[269],{"type":46,"value":270},"\"SARIF results speak for themselves\"",{"type":41,"tag":198,"props":272,"children":273},{},[274],{"type":46,"value":275},"Findings without graph context lack blast radius and taint reachability",{"type":41,"tag":198,"props":277,"children":278},{},[279],{"type":46,"value":280},"Cross-reference with pre-analysis subgraphs",{"type":41,"tag":171,"props":282,"children":283},{},[284,289,294],{"type":41,"tag":198,"props":285,"children":286},{},[287],{"type":46,"value":288},"\"weAudit and SARIF overlap, pick one\"",{"type":41,"tag":198,"props":290,"children":291},{},[292],{"type":46,"value":293},"Human auditors and tools find different things",{"type":41,"tag":198,"props":295,"children":296},{},[297],{"type":46,"value":298},"Import both when available",{"type":41,"tag":171,"props":300,"children":301},{},[302,307,312],{"type":41,"tag":198,"props":303,"children":304},{},[305],{"type":46,"value":306},"\"Tool isn't installed, I'll do it manually\"",{"type":41,"tag":198,"props":308,"children":309},{},[310],{"type":46,"value":311},"Manual analysis misses what tooling catches",{"type":41,"tag":198,"props":313,"children":314},{},[315],{"type":46,"value":316},"Install trailmark first",{"type":41,"tag":318,"props":319,"children":320},"hr",{},[],{"type":41,"tag":64,"props":322,"children":324},{"id":323},"installation",[325],{"type":46,"value":326},"Installation",{"type":41,"tag":49,"props":328,"children":329},{},[330,336,338,344],{"type":41,"tag":331,"props":332,"children":333},"strong",{},[334],{"type":46,"value":335},"MANDATORY:",{"type":46,"value":337}," If ",{"type":41,"tag":55,"props":339,"children":341},{"className":340},[],[342],{"type":46,"value":343},"uv run trailmark",{"type":46,"value":345}," fails, install trailmark first:",{"type":41,"tag":347,"props":348,"children":353},"pre",{"className":349,"code":350,"language":351,"meta":352,"style":352},"language-bash shiki shiki-themes material-theme-lighter material-theme material-theme-palenight","uv pip install trailmark\n","bash","",[354],{"type":41,"tag":55,"props":355,"children":356},{"__ignoreMap":352},[357],{"type":41,"tag":358,"props":359,"children":362},"span",{"class":360,"line":361},"line",1,[363,369,375,380],{"type":41,"tag":358,"props":364,"children":366},{"style":365},"--shiki-light:#E2931D;--shiki-default:#FFCB6B;--shiki-dark:#FFCB6B",[367],{"type":46,"value":368},"uv",{"type":41,"tag":358,"props":370,"children":372},{"style":371},"--shiki-light:#91B859;--shiki-default:#C3E88D;--shiki-dark:#C3E88D",[373],{"type":46,"value":374}," pip",{"type":41,"tag":358,"props":376,"children":377},{"style":371},[378],{"type":46,"value":379}," install",{"type":41,"tag":358,"props":381,"children":382},{"style":371},[383],{"type":46,"value":384}," trailmark\n",{"type":41,"tag":64,"props":386,"children":388},{"id":387},"version-gate",[389],{"type":46,"value":390},"Version Gate",{"type":41,"tag":49,"props":392,"children":393},{},[394,396,401],{"type":46,"value":395},"SARIF and weAudit augmentation are v0.2-safe. Binary graph augmentation is\nTrailmark 0.4.0+ only. Before calling ",{"type":41,"tag":55,"props":397,"children":399},{"className":398},[],[400],{"type":46,"value":60},{"type":46,"value":402},", check:",{"type":41,"tag":347,"props":404,"children":408},{"className":405,"code":406,"language":407,"meta":352,"style":352},"language-python shiki shiki-themes material-theme-lighter material-theme material-theme-palenight","if not hasattr(engine, \"augment_binary\"):\n    raise RuntimeError(\"Binary augmentation requires Trailmark >= 0.4.0\")\n","python",[409],{"type":41,"tag":55,"props":410,"children":411},{"__ignoreMap":352},[412,420],{"type":41,"tag":358,"props":413,"children":414},{"class":360,"line":361},[415],{"type":41,"tag":358,"props":416,"children":417},{},[418],{"type":46,"value":419},"if not hasattr(engine, \"augment_binary\"):\n",{"type":41,"tag":358,"props":421,"children":423},{"class":360,"line":422},2,[424],{"type":41,"tag":358,"props":425,"children":426},{},[427],{"type":46,"value":428},"    raise RuntimeError(\"Binary augmentation requires Trailmark >= 0.4.0\")\n",{"type":41,"tag":49,"props":430,"children":431},{},[432,434,440,442,447,449,455],{"type":46,"value":433},"On Trailmark 0.5.0+, known links between source functions and imported binary\nor external endpoints can also be declared once in ",{"type":41,"tag":55,"props":435,"children":437},{"className":436},[],[438],{"type":46,"value":439},".trailmark\u002Flinks.toml",{"type":46,"value":441},"\n(see the main ",{"type":41,"tag":55,"props":443,"children":445},{"className":444},[],[446],{"type":46,"value":140},{"type":46,"value":448}," skill's Repository Links section) instead of being\nre-derived per session. Declared external endpoints materialize as\n",{"type":41,"tag":55,"props":450,"children":452},{"className":451},[],[453],{"type":46,"value":454},"proxy.external:\u003Csymbol>",{"type":46,"value":456}," nodes on every parse.",{"type":41,"tag":64,"props":458,"children":460},{"id":459},"quick-start",[461],{"type":46,"value":462},"Quick Start",{"type":41,"tag":464,"props":465,"children":467},"h3",{"id":466},"cli",[468],{"type":46,"value":469},"CLI",{"type":41,"tag":347,"props":471,"children":473},{"className":349,"code":472,"language":351,"meta":352,"style":352},"# Augment with SARIF\nuv run trailmark augment {targetDir} --sarif results.sarif\n\n# Augment with weAudit\nuv run trailmark augment {targetDir} --weaudit .vscode\u002Falice.weaudit\n\n# Both at once, output JSON\nuv run trailmark augment {targetDir} \\\n    --sarif results.sarif \\\n    --weaudit .vscode\u002Falice.weaudit \\\n    --json\n",[474],{"type":41,"tag":55,"props":475,"children":476},{"__ignoreMap":352},[477,486,523,533,542,576,584,593,623,641,659],{"type":41,"tag":358,"props":478,"children":479},{"class":360,"line":361},[480],{"type":41,"tag":358,"props":481,"children":483},{"style":482},"--shiki-light:#90A4AE;--shiki-light-font-style:italic;--shiki-default:#546E7A;--shiki-default-font-style:italic;--shiki-dark:#676E95;--shiki-dark-font-style:italic",[484],{"type":46,"value":485},"# Augment with SARIF\n",{"type":41,"tag":358,"props":487,"children":488},{"class":360,"line":422},[489,493,498,503,508,513,518],{"type":41,"tag":358,"props":490,"children":491},{"style":365},[492],{"type":46,"value":368},{"type":41,"tag":358,"props":494,"children":495},{"style":371},[496],{"type":46,"value":497}," run",{"type":41,"tag":358,"props":499,"children":500},{"style":371},[501],{"type":46,"value":502}," trailmark",{"type":41,"tag":358,"props":504,"children":505},{"style":371},[506],{"type":46,"value":507}," augment",{"type":41,"tag":358,"props":509,"children":510},{"style":371},[511],{"type":46,"value":512}," {targetDir}",{"type":41,"tag":358,"props":514,"children":515},{"style":371},[516],{"type":46,"value":517}," --sarif",{"type":41,"tag":358,"props":519,"children":520},{"style":371},[521],{"type":46,"value":522}," results.sarif\n",{"type":41,"tag":358,"props":524,"children":526},{"class":360,"line":525},3,[527],{"type":41,"tag":358,"props":528,"children":530},{"emptyLinePlaceholder":529},true,[531],{"type":46,"value":532},"\n",{"type":41,"tag":358,"props":534,"children":536},{"class":360,"line":535},4,[537],{"type":41,"tag":358,"props":538,"children":539},{"style":482},[540],{"type":46,"value":541},"# Augment with weAudit\n",{"type":41,"tag":358,"props":543,"children":545},{"class":360,"line":544},5,[546,550,554,558,562,566,571],{"type":41,"tag":358,"props":547,"children":548},{"style":365},[549],{"type":46,"value":368},{"type":41,"tag":358,"props":551,"children":552},{"style":371},[553],{"type":46,"value":497},{"type":41,"tag":358,"props":555,"children":556},{"style":371},[557],{"type":46,"value":502},{"type":41,"tag":358,"props":559,"children":560},{"style":371},[561],{"type":46,"value":507},{"type":41,"tag":358,"props":563,"children":564},{"style":371},[565],{"type":46,"value":512},{"type":41,"tag":358,"props":567,"children":568},{"style":371},[569],{"type":46,"value":570}," --weaudit",{"type":41,"tag":358,"props":572,"children":573},{"style":371},[574],{"type":46,"value":575}," .vscode\u002Falice.weaudit\n",{"type":41,"tag":358,"props":577,"children":579},{"class":360,"line":578},6,[580],{"type":41,"tag":358,"props":581,"children":582},{"emptyLinePlaceholder":529},[583],{"type":46,"value":532},{"type":41,"tag":358,"props":585,"children":587},{"class":360,"line":586},7,[588],{"type":41,"tag":358,"props":589,"children":590},{"style":482},[591],{"type":46,"value":592},"# Both at once, output JSON\n",{"type":41,"tag":358,"props":594,"children":596},{"class":360,"line":595},8,[597,601,605,609,613,617],{"type":41,"tag":358,"props":598,"children":599},{"style":365},[600],{"type":46,"value":368},{"type":41,"tag":358,"props":602,"children":603},{"style":371},[604],{"type":46,"value":497},{"type":41,"tag":358,"props":606,"children":607},{"style":371},[608],{"type":46,"value":502},{"type":41,"tag":358,"props":610,"children":611},{"style":371},[612],{"type":46,"value":507},{"type":41,"tag":358,"props":614,"children":615},{"style":371},[616],{"type":46,"value":512},{"type":41,"tag":358,"props":618,"children":620},{"style":619},"--shiki-light:#90A4AE;--shiki-default:#EEFFFF;--shiki-dark:#BABED8",[621],{"type":46,"value":622}," \\\n",{"type":41,"tag":358,"props":624,"children":626},{"class":360,"line":625},9,[627,632,637],{"type":41,"tag":358,"props":628,"children":629},{"style":371},[630],{"type":46,"value":631},"    --sarif",{"type":41,"tag":358,"props":633,"children":634},{"style":371},[635],{"type":46,"value":636}," results.sarif",{"type":41,"tag":358,"props":638,"children":639},{"style":619},[640],{"type":46,"value":622},{"type":41,"tag":358,"props":642,"children":644},{"class":360,"line":643},10,[645,650,655],{"type":41,"tag":358,"props":646,"children":647},{"style":371},[648],{"type":46,"value":649},"    --weaudit",{"type":41,"tag":358,"props":651,"children":652},{"style":371},[653],{"type":46,"value":654}," .vscode\u002Falice.weaudit",{"type":41,"tag":358,"props":656,"children":657},{"style":619},[658],{"type":46,"value":622},{"type":41,"tag":358,"props":660,"children":662},{"class":360,"line":661},11,[663],{"type":41,"tag":358,"props":664,"children":665},{"style":371},[666],{"type":46,"value":667},"    --json\n",{"type":41,"tag":49,"props":669,"children":670},{},[671,673,679],{"type":46,"value":672},"Binary graph augmentation is programmatic in Trailmark 0.4.0+; do not invent a\nCLI flag if ",{"type":41,"tag":55,"props":674,"children":676},{"className":675},[],[677],{"type":46,"value":678},"trailmark augment --help",{"type":46,"value":680}," does not show one.",{"type":41,"tag":464,"props":682,"children":684},{"id":683},"programmatic-api",[685],{"type":46,"value":686},"Programmatic API",{"type":41,"tag":347,"props":688,"children":690},{"className":405,"code":689,"language":407,"meta":352,"style":352},"from trailmark.query.api import QueryEngine\n\nengine = QueryEngine.from_directory(\"{targetDir}\", language=\"auto\")\n\n# Run pre-analysis first for cross-referencing\nengine.preanalysis()\n\n# Augment with SARIF\nresult = engine.augment_sarif(\"results.sarif\")\n# result: {matched_findings: 12, unmatched_findings: 3, subgraphs_created: [...]}\n\n# Augment with weAudit\nresult = engine.augment_weaudit(\".vscode\u002Falice.weaudit\")\n\n# Augment with an external binary graph export (v0.4+)\nif hasattr(engine, \"augment_binary\"):\n    result = engine.augment_binary(\"binary_graph.json\")\n\n# Query findings\nengine.findings()                                       # All findings\nengine.subgraph(\"sarif:error\")                          # High-severity SARIF\nengine.subgraph(\"weaudit:high\")                         # High-severity weAudit\nengine.subgraph(\"sarif:semgrep\")                        # By tool name\nengine.annotations_of(\"function_name\")                  # Per-node lookup\n",[691],{"type":41,"tag":55,"props":692,"children":693},{"__ignoreMap":352},[694,702,709,717,724,732,740,747,754,762,770,777,785,794,802,811,820,829,837,846,855,864,873,882],{"type":41,"tag":358,"props":695,"children":696},{"class":360,"line":361},[697],{"type":41,"tag":358,"props":698,"children":699},{},[700],{"type":46,"value":701},"from trailmark.query.api import QueryEngine\n",{"type":41,"tag":358,"props":703,"children":704},{"class":360,"line":422},[705],{"type":41,"tag":358,"props":706,"children":707},{"emptyLinePlaceholder":529},[708],{"type":46,"value":532},{"type":41,"tag":358,"props":710,"children":711},{"class":360,"line":525},[712],{"type":41,"tag":358,"props":713,"children":714},{},[715],{"type":46,"value":716},"engine = QueryEngine.from_directory(\"{targetDir}\", language=\"auto\")\n",{"type":41,"tag":358,"props":718,"children":719},{"class":360,"line":535},[720],{"type":41,"tag":358,"props":721,"children":722},{"emptyLinePlaceholder":529},[723],{"type":46,"value":532},{"type":41,"tag":358,"props":725,"children":726},{"class":360,"line":544},[727],{"type":41,"tag":358,"props":728,"children":729},{},[730],{"type":46,"value":731},"# Run pre-analysis first for cross-referencing\n",{"type":41,"tag":358,"props":733,"children":734},{"class":360,"line":578},[735],{"type":41,"tag":358,"props":736,"children":737},{},[738],{"type":46,"value":739},"engine.preanalysis()\n",{"type":41,"tag":358,"props":741,"children":742},{"class":360,"line":586},[743],{"type":41,"tag":358,"props":744,"children":745},{"emptyLinePlaceholder":529},[746],{"type":46,"value":532},{"type":41,"tag":358,"props":748,"children":749},{"class":360,"line":595},[750],{"type":41,"tag":358,"props":751,"children":752},{},[753],{"type":46,"value":485},{"type":41,"tag":358,"props":755,"children":756},{"class":360,"line":625},[757],{"type":41,"tag":358,"props":758,"children":759},{},[760],{"type":46,"value":761},"result = engine.augment_sarif(\"results.sarif\")\n",{"type":41,"tag":358,"props":763,"children":764},{"class":360,"line":643},[765],{"type":41,"tag":358,"props":766,"children":767},{},[768],{"type":46,"value":769},"# result: {matched_findings: 12, unmatched_findings: 3, subgraphs_created: [...]}\n",{"type":41,"tag":358,"props":771,"children":772},{"class":360,"line":661},[773],{"type":41,"tag":358,"props":774,"children":775},{"emptyLinePlaceholder":529},[776],{"type":46,"value":532},{"type":41,"tag":358,"props":778,"children":780},{"class":360,"line":779},12,[781],{"type":41,"tag":358,"props":782,"children":783},{},[784],{"type":46,"value":541},{"type":41,"tag":358,"props":786,"children":788},{"class":360,"line":787},13,[789],{"type":41,"tag":358,"props":790,"children":791},{},[792],{"type":46,"value":793},"result = engine.augment_weaudit(\".vscode\u002Falice.weaudit\")\n",{"type":41,"tag":358,"props":795,"children":797},{"class":360,"line":796},14,[798],{"type":41,"tag":358,"props":799,"children":800},{"emptyLinePlaceholder":529},[801],{"type":46,"value":532},{"type":41,"tag":358,"props":803,"children":805},{"class":360,"line":804},15,[806],{"type":41,"tag":358,"props":807,"children":808},{},[809],{"type":46,"value":810},"# Augment with an external binary graph export (v0.4+)\n",{"type":41,"tag":358,"props":812,"children":814},{"class":360,"line":813},16,[815],{"type":41,"tag":358,"props":816,"children":817},{},[818],{"type":46,"value":819},"if hasattr(engine, \"augment_binary\"):\n",{"type":41,"tag":358,"props":821,"children":823},{"class":360,"line":822},17,[824],{"type":41,"tag":358,"props":825,"children":826},{},[827],{"type":46,"value":828},"    result = engine.augment_binary(\"binary_graph.json\")\n",{"type":41,"tag":358,"props":830,"children":832},{"class":360,"line":831},18,[833],{"type":41,"tag":358,"props":834,"children":835},{"emptyLinePlaceholder":529},[836],{"type":46,"value":532},{"type":41,"tag":358,"props":838,"children":840},{"class":360,"line":839},19,[841],{"type":41,"tag":358,"props":842,"children":843},{},[844],{"type":46,"value":845},"# Query findings\n",{"type":41,"tag":358,"props":847,"children":849},{"class":360,"line":848},20,[850],{"type":41,"tag":358,"props":851,"children":852},{},[853],{"type":46,"value":854},"engine.findings()                                       # All findings\n",{"type":41,"tag":358,"props":856,"children":858},{"class":360,"line":857},21,[859],{"type":41,"tag":358,"props":860,"children":861},{},[862],{"type":46,"value":863},"engine.subgraph(\"sarif:error\")                          # High-severity SARIF\n",{"type":41,"tag":358,"props":865,"children":867},{"class":360,"line":866},22,[868],{"type":41,"tag":358,"props":869,"children":870},{},[871],{"type":46,"value":872},"engine.subgraph(\"weaudit:high\")                         # High-severity weAudit\n",{"type":41,"tag":358,"props":874,"children":876},{"class":360,"line":875},23,[877],{"type":41,"tag":358,"props":878,"children":879},{},[880],{"type":46,"value":881},"engine.subgraph(\"sarif:semgrep\")                        # By tool name\n",{"type":41,"tag":358,"props":883,"children":885},{"class":360,"line":884},24,[886],{"type":41,"tag":358,"props":887,"children":888},{},[889],{"type":46,"value":890},"engine.annotations_of(\"function_name\")                  # Per-node lookup\n",{"type":41,"tag":49,"props":892,"children":893},{},[894,896,902],{"type":46,"value":895},"If auto-detection is wrong for the target, rerun with an explicit language or\ncomma-separated list such as ",{"type":41,"tag":55,"props":897,"children":899},{"className":898},[],[900],{"type":46,"value":901},"python,rust",{"type":46,"value":62},{"type":41,"tag":64,"props":904,"children":906},{"id":905},"workflow",[907],{"type":46,"value":908},"Workflow",{"type":41,"tag":347,"props":910,"children":914},{"className":911,"code":913,"language":46},[912],"language-text","Augmentation Progress:\n- [ ] Step 1: Build graph and run pre-analysis\n- [ ] Step 2: Locate SARIF\u002FweAudit\u002Fbinary graph files\n- [ ] Step 3: Run augmentation\n- [ ] Step 4: Inspect results and subgraphs\n- [ ] Step 5: Cross-reference with pre-analysis\n",[915],{"type":41,"tag":55,"props":916,"children":917},{"__ignoreMap":352},[918],{"type":46,"value":913},{"type":41,"tag":49,"props":920,"children":921},{},[922,927],{"type":41,"tag":331,"props":923,"children":924},{},[925],{"type":46,"value":926},"Step 1:",{"type":46,"value":928}," Build the graph and run pre-analysis for blast radius and taint\ncontext:",{"type":41,"tag":347,"props":930,"children":932},{"className":405,"code":931,"language":407,"meta":352,"style":352},"engine = QueryEngine.from_directory(\"{targetDir}\", language=\"auto\")\nengine.preanalysis()\n",[933],{"type":41,"tag":55,"props":934,"children":935},{"__ignoreMap":352},[936,943],{"type":41,"tag":358,"props":937,"children":938},{"class":360,"line":361},[939],{"type":41,"tag":358,"props":940,"children":941},{},[942],{"type":46,"value":716},{"type":41,"tag":358,"props":944,"children":945},{"class":360,"line":422},[946],{"type":41,"tag":358,"props":947,"children":948},{},[949],{"type":46,"value":739},{"type":41,"tag":49,"props":951,"children":952},{},[953,954,959],{"type":46,"value":895},{"type":41,"tag":55,"props":955,"children":957},{"className":956},[],[958],{"type":46,"value":901},{"type":46,"value":62},{"type":41,"tag":49,"props":961,"children":962},{},[963,968],{"type":41,"tag":331,"props":964,"children":965},{},[966],{"type":46,"value":967},"Step 2:",{"type":46,"value":969}," Locate input files:",{"type":41,"tag":71,"props":971,"children":972},{},[973,997,1015],{"type":41,"tag":75,"props":974,"children":975},{},[976,981,983,989,991],{"type":41,"tag":331,"props":977,"children":978},{},[979],{"type":46,"value":980},"SARIF",{"type":46,"value":982},": Usually output by tools like ",{"type":41,"tag":55,"props":984,"children":986},{"className":985},[],[987],{"type":46,"value":988},"semgrep --sarif -o results.sarif",{"type":46,"value":990},"\nor ",{"type":41,"tag":55,"props":992,"children":994},{"className":993},[],[995],{"type":46,"value":996},"codeql database analyze --format=sarif-latest",{"type":41,"tag":75,"props":998,"children":999},{},[1000,1005,1007,1013],{"type":41,"tag":331,"props":1001,"children":1002},{},[1003],{"type":46,"value":1004},"weAudit",{"type":46,"value":1006},": Stored in ",{"type":41,"tag":55,"props":1008,"children":1010},{"className":1009},[],[1011],{"type":46,"value":1012},".vscode\u002F\u003Cusername>.weaudit",{"type":46,"value":1014}," within the workspace",{"type":41,"tag":75,"props":1016,"children":1017},{},[1018,1023,1025,1031,1033,1039,1041,1047],{"type":41,"tag":331,"props":1019,"children":1020},{},[1021],{"type":46,"value":1022},"Binary graph (v0.4+)",{"type":46,"value":1024},": External JSON with ",{"type":41,"tag":55,"props":1026,"children":1028},{"className":1027},[],[1029],{"type":46,"value":1030},"artifact",{"type":46,"value":1032},", ",{"type":41,"tag":55,"props":1034,"children":1036},{"className":1035},[],[1037],{"type":46,"value":1038},"functions",{"type":46,"value":1040},", and\n",{"type":41,"tag":55,"props":1042,"children":1044},{"className":1043},[],[1045],{"type":46,"value":1046},"calls",{"type":46,"value":1048}," fields. Trailmark imports this graph; it does not disassemble\nbinaries itself.",{"type":41,"tag":49,"props":1050,"children":1051},{},[1052,1057,1059,1065,1067,1073,1075,1080,1082,1088],{"type":41,"tag":331,"props":1053,"children":1054},{},[1055],{"type":46,"value":1056},"Step 3:",{"type":46,"value":1058}," Run augmentation via ",{"type":41,"tag":55,"props":1060,"children":1062},{"className":1061},[],[1063],{"type":46,"value":1064},"engine.augment_sarif()",{"type":46,"value":1066}," or\n",{"type":41,"tag":55,"props":1068,"children":1070},{"className":1069},[],[1071],{"type":46,"value":1072},"engine.augment_weaudit()",{"type":46,"value":1074},". For binary graphs, run ",{"type":41,"tag":55,"props":1076,"children":1078},{"className":1077},[],[1079],{"type":46,"value":60},{"type":46,"value":1081},"\nonly after the Version Gate succeeds. Check ",{"type":41,"tag":55,"props":1083,"children":1085},{"className":1084},[],[1086],{"type":46,"value":1087},"unmatched_findings",{"type":46,"value":1089}," in SARIF and\nweAudit results — these are findings whose file\u002Fline locations didn't overlap\nany parsed code unit.",{"type":41,"tag":49,"props":1091,"children":1092},{},[1093,1098,1100,1106,1108,1114],{"type":41,"tag":331,"props":1094,"children":1095},{},[1096],{"type":46,"value":1097},"Step 4:",{"type":46,"value":1099}," Query findings and subgraphs. Use ",{"type":41,"tag":55,"props":1101,"children":1103},{"className":1102},[],[1104],{"type":46,"value":1105},"engine.findings()",{"type":46,"value":1107}," to list all\nannotated nodes. Use ",{"type":41,"tag":55,"props":1109,"children":1111},{"className":1110},[],[1112],{"type":46,"value":1113},"engine.subgraph_names()",{"type":46,"value":1115}," to see available subgraphs.",{"type":41,"tag":49,"props":1117,"children":1118},{},[1119,1124],{"type":41,"tag":331,"props":1120,"children":1121},{},[1122],{"type":46,"value":1123},"Step 5:",{"type":46,"value":1125}," Cross-reference with pre-analysis data to prioritize:",{"type":41,"tag":71,"props":1127,"children":1128},{},[1129,1150,1161],{"type":41,"tag":75,"props":1130,"children":1131},{},[1132,1134,1140,1142,1148],{"type":46,"value":1133},"Findings on tainted nodes: overlap ",{"type":41,"tag":55,"props":1135,"children":1137},{"className":1136},[],[1138],{"type":46,"value":1139},"sarif:error",{"type":46,"value":1141}," with ",{"type":41,"tag":55,"props":1143,"children":1145},{"className":1144},[],[1146],{"type":46,"value":1147},"tainted",{"type":46,"value":1149}," subgraph",{"type":41,"tag":75,"props":1151,"children":1152},{},[1153,1155],{"type":46,"value":1154},"Findings on high blast radius nodes: overlap with ",{"type":41,"tag":55,"props":1156,"children":1158},{"className":1157},[],[1159],{"type":46,"value":1160},"high_blast_radius",{"type":41,"tag":75,"props":1162,"children":1163},{},[1164,1166],{"type":46,"value":1165},"Findings on privilege boundaries: overlap with ",{"type":41,"tag":55,"props":1167,"children":1169},{"className":1168},[],[1170],{"type":46,"value":1171},"privilege_boundary",{"type":41,"tag":49,"props":1173,"children":1174},{},[1175,1177,1182],{"type":46,"value":1176},"For one candidate finding that needs a reachability verdict or PoC handoff,\ncontinue with ",{"type":41,"tag":55,"props":1178,"children":1180},{"className":1179},[],[1181],{"type":46,"value":115},{"type":46,"value":1183}," and use the augmented node as the\nbound candidate.",{"type":41,"tag":64,"props":1185,"children":1187},{"id":1186},"annotation-format",[1188],{"type":46,"value":1189},"Annotation Format",{"type":41,"tag":49,"props":1191,"children":1192},{},[1193],{"type":46,"value":1194},"Findings are stored as standard Trailmark annotations:",{"type":41,"tag":71,"props":1196,"children":1197},{},[1198,1224,1247],{"type":41,"tag":75,"props":1199,"children":1200},{},[1201,1206,1208,1214,1216,1222],{"type":41,"tag":331,"props":1202,"children":1203},{},[1204],{"type":46,"value":1205},"Kind",{"type":46,"value":1207},": ",{"type":41,"tag":55,"props":1209,"children":1211},{"className":1210},[],[1212],{"type":46,"value":1213},"finding",{"type":46,"value":1215}," (tool-generated) or ",{"type":41,"tag":55,"props":1217,"children":1219},{"className":1218},[],[1220],{"type":46,"value":1221},"audit_note",{"type":46,"value":1223}," (human notes)",{"type":41,"tag":75,"props":1225,"children":1226},{},[1227,1232,1233,1239,1241],{"type":41,"tag":331,"props":1228,"children":1229},{},[1230],{"type":46,"value":1231},"Source",{"type":46,"value":1207},{"type":41,"tag":55,"props":1234,"children":1236},{"className":1235},[],[1237],{"type":46,"value":1238},"sarif:\u003Ctool_name>",{"type":46,"value":1240}," or ",{"type":41,"tag":55,"props":1242,"children":1244},{"className":1243},[],[1245],{"type":46,"value":1246},"weaudit:\u003Cauthor>",{"type":41,"tag":75,"props":1248,"children":1249},{},[1250,1255,1257],{"type":41,"tag":331,"props":1251,"children":1252},{},[1253],{"type":46,"value":1254},"Description",{"type":46,"value":1256},": Compact single-line:\n",{"type":41,"tag":55,"props":1258,"children":1260},{"className":1259},[],[1261],{"type":46,"value":1262},"[SEVERITY] rule-id: message (tool)",{"type":41,"tag":64,"props":1264,"children":1266},{"id":1265},"subgraphs-created",[1267],{"type":46,"value":1268},"Subgraphs Created",{"type":41,"tag":163,"props":1270,"children":1271},{},[1272,1288],{"type":41,"tag":167,"props":1273,"children":1274},{},[1275],{"type":41,"tag":171,"props":1276,"children":1277},{},[1278,1283],{"type":41,"tag":175,"props":1279,"children":1280},{},[1281],{"type":46,"value":1282},"Subgraph",{"type":41,"tag":175,"props":1284,"children":1285},{},[1286],{"type":46,"value":1287},"Contents",{"type":41,"tag":191,"props":1289,"children":1290},{},[1291,1307,1324,1341,1358,1375,1392,1409,1426,1443],{"type":41,"tag":171,"props":1292,"children":1293},{},[1294,1302],{"type":41,"tag":198,"props":1295,"children":1296},{},[1297],{"type":41,"tag":55,"props":1298,"children":1300},{"className":1299},[],[1301],{"type":46,"value":1139},{"type":41,"tag":198,"props":1303,"children":1304},{},[1305],{"type":46,"value":1306},"Nodes with SARIF error-level findings",{"type":41,"tag":171,"props":1308,"children":1309},{},[1310,1319],{"type":41,"tag":198,"props":1311,"children":1312},{},[1313],{"type":41,"tag":55,"props":1314,"children":1316},{"className":1315},[],[1317],{"type":46,"value":1318},"sarif:warning",{"type":41,"tag":198,"props":1320,"children":1321},{},[1322],{"type":46,"value":1323},"Nodes with SARIF warning-level findings",{"type":41,"tag":171,"props":1325,"children":1326},{},[1327,1336],{"type":41,"tag":198,"props":1328,"children":1329},{},[1330],{"type":41,"tag":55,"props":1331,"children":1333},{"className":1332},[],[1334],{"type":46,"value":1335},"sarif:note",{"type":41,"tag":198,"props":1337,"children":1338},{},[1339],{"type":46,"value":1340},"Nodes with SARIF note-level findings",{"type":41,"tag":171,"props":1342,"children":1343},{},[1344,1353],{"type":41,"tag":198,"props":1345,"children":1346},{},[1347],{"type":41,"tag":55,"props":1348,"children":1350},{"className":1349},[],[1351],{"type":46,"value":1352},"sarif:\u003Ctool>",{"type":41,"tag":198,"props":1354,"children":1355},{},[1356],{"type":46,"value":1357},"Nodes flagged by a specific tool",{"type":41,"tag":171,"props":1359,"children":1360},{},[1361,1370],{"type":41,"tag":198,"props":1362,"children":1363},{},[1364],{"type":41,"tag":55,"props":1365,"children":1367},{"className":1366},[],[1368],{"type":46,"value":1369},"weaudit:high",{"type":41,"tag":198,"props":1371,"children":1372},{},[1373],{"type":46,"value":1374},"Nodes with high-severity weAudit findings",{"type":41,"tag":171,"props":1376,"children":1377},{},[1378,1387],{"type":41,"tag":198,"props":1379,"children":1380},{},[1381],{"type":41,"tag":55,"props":1382,"children":1384},{"className":1383},[],[1385],{"type":46,"value":1386},"weaudit:medium",{"type":41,"tag":198,"props":1388,"children":1389},{},[1390],{"type":46,"value":1391},"Nodes with medium-severity weAudit findings",{"type":41,"tag":171,"props":1393,"children":1394},{},[1395,1404],{"type":41,"tag":198,"props":1396,"children":1397},{},[1398],{"type":41,"tag":55,"props":1399,"children":1401},{"className":1400},[],[1402],{"type":46,"value":1403},"weaudit:low",{"type":41,"tag":198,"props":1405,"children":1406},{},[1407],{"type":46,"value":1408},"Nodes with low-severity weAudit findings",{"type":41,"tag":171,"props":1410,"children":1411},{},[1412,1421],{"type":41,"tag":198,"props":1413,"children":1414},{},[1415],{"type":41,"tag":55,"props":1416,"children":1418},{"className":1417},[],[1419],{"type":46,"value":1420},"weaudit:findings",{"type":41,"tag":198,"props":1422,"children":1423},{},[1424],{"type":46,"value":1425},"All weAudit findings (entryType=0)",{"type":41,"tag":171,"props":1427,"children":1428},{},[1429,1438],{"type":41,"tag":198,"props":1430,"children":1431},{},[1432],{"type":41,"tag":55,"props":1433,"children":1435},{"className":1434},[],[1436],{"type":46,"value":1437},"weaudit:notes",{"type":41,"tag":198,"props":1439,"children":1440},{},[1441],{"type":46,"value":1442},"All weAudit notes (entryType=1)",{"type":41,"tag":171,"props":1444,"children":1445},{},[1446,1455],{"type":41,"tag":198,"props":1447,"children":1448},{},[1449],{"type":41,"tag":55,"props":1450,"children":1452},{"className":1451},[],[1453],{"type":46,"value":1454},"binary:\u003Cartifact>",{"type":41,"tag":198,"props":1456,"children":1457},{},[1458],{"type":46,"value":1459},"Binary function nodes imported from a v0.4+ binary graph",{"type":41,"tag":64,"props":1461,"children":1463},{"id":1462},"how-matching-works",[1464],{"type":46,"value":1465},"How Matching Works",{"type":41,"tag":49,"props":1467,"children":1468},{},[1469],{"type":46,"value":1470},"Findings are matched to graph nodes by file path and line range overlap:",{"type":41,"tag":1472,"props":1473,"children":1474},"ol",{},[1475,1486,1499,1504],{"type":41,"tag":75,"props":1476,"children":1477},{},[1478,1480],{"type":46,"value":1479},"Finding file path is normalized relative to the graph's ",{"type":41,"tag":55,"props":1481,"children":1483},{"className":1482},[],[1484],{"type":46,"value":1485},"root_path",{"type":41,"tag":75,"props":1487,"children":1488},{},[1489,1491,1497],{"type":46,"value":1490},"Nodes whose ",{"type":41,"tag":55,"props":1492,"children":1494},{"className":1493},[],[1495],{"type":46,"value":1496},"location.file_path",{"type":46,"value":1498}," matches AND whose line range overlaps are\nselected",{"type":41,"tag":75,"props":1500,"children":1501},{},[1502],{"type":46,"value":1503},"The tightest match (smallest span) is preferred",{"type":41,"tag":75,"props":1505,"children":1506},{},[1507],{"type":46,"value":1508},"If a finding's location doesn't overlap any node, it counts as unmatched",{"type":41,"tag":49,"props":1510,"children":1511},{},[1512,1514,1520],{"type":46,"value":1513},"SARIF paths may be relative, absolute, or ",{"type":41,"tag":55,"props":1515,"children":1517},{"className":1516},[],[1518],{"type":46,"value":1519},"file:\u002F\u002F",{"type":46,"value":1521}," URIs — all are handled.\nweAudit uses 0-indexed lines which are converted to 1-indexed automatically.",{"type":41,"tag":49,"props":1523,"children":1524},{},[1525,1527,1533,1535,1541,1543,1549],{"type":46,"value":1526},"Binary graph imports create ",{"type":41,"tag":55,"props":1528,"children":1530},{"className":1529},[],[1531],{"type":46,"value":1532},"origin=binary",{"type":46,"value":1534}," function nodes, ",{"type":41,"tag":55,"props":1536,"children":1538},{"className":1537},[],[1539],{"type":46,"value":1540},"origin=proxy",{"type":46,"value":1542},"\nexternal proxy nodes for unresolved binary calls, and inferred\n",{"type":41,"tag":55,"props":1544,"children":1546},{"className":1545},[],[1547],{"type":46,"value":1548},"corresponds_to",{"type":46,"value":1550}," edges when a binary function maps back to a source node. The\nexpected JSON shape is intentionally small:",{"type":41,"tag":347,"props":1552,"children":1556},{"className":1553,"code":1554,"language":1555,"meta":352,"style":352},"language-json shiki shiki-themes material-theme-lighter material-theme material-theme-palenight","{\n  \"artifact\": {\"name\": \"libexample\", \"architecture\": \"x86_64\", \"sha256\": \"...\"},\n  \"functions\": [\n    {\"symbol\": \"parse_packet\", \"address\": \"0x401000\",\n     \"source\": {\"file\": \"src\u002Fparser.c\", \"line\": 42}}\n  ],\n  \"calls\": [\n    {\"source\": \"parse_packet\", \"target\": \"malloc\", \"confidence\": \"inferred\"}\n  ]\n}\n","json",[1557],{"type":41,"tag":55,"props":1558,"children":1559},{"__ignoreMap":352},[1560,1569,1702,1726,1803,1889,1897,1920,2028,2036],{"type":41,"tag":358,"props":1561,"children":1562},{"class":360,"line":361},[1563],{"type":41,"tag":358,"props":1564,"children":1566},{"style":1565},"--shiki-light:#39ADB5;--shiki-default:#89DDFF;--shiki-dark:#89DDFF",[1567],{"type":46,"value":1568},"{\n",{"type":41,"tag":358,"props":1570,"children":1571},{"class":360,"line":422},[1572,1577,1582,1587,1592,1597,1601,1606,1610,1614,1619,1624,1628,1633,1637,1642,1646,1650,1654,1659,1663,1667,1671,1676,1680,1684,1688,1693,1697],{"type":41,"tag":358,"props":1573,"children":1574},{"style":1565},[1575],{"type":46,"value":1576},"  \"",{"type":41,"tag":358,"props":1578,"children":1580},{"style":1579},"--shiki-light:#9C3EDA;--shiki-default:#C792EA;--shiki-dark:#C792EA",[1581],{"type":46,"value":1030},{"type":41,"tag":358,"props":1583,"children":1584},{"style":1565},[1585],{"type":46,"value":1586},"\"",{"type":41,"tag":358,"props":1588,"children":1589},{"style":1565},[1590],{"type":46,"value":1591},":",{"type":41,"tag":358,"props":1593,"children":1594},{"style":1565},[1595],{"type":46,"value":1596}," {",{"type":41,"tag":358,"props":1598,"children":1599},{"style":1565},[1600],{"type":46,"value":1586},{"type":41,"tag":358,"props":1602,"children":1603},{"style":365},[1604],{"type":46,"value":1605},"name",{"type":41,"tag":358,"props":1607,"children":1608},{"style":1565},[1609],{"type":46,"value":1586},{"type":41,"tag":358,"props":1611,"children":1612},{"style":1565},[1613],{"type":46,"value":1591},{"type":41,"tag":358,"props":1615,"children":1616},{"style":1565},[1617],{"type":46,"value":1618}," \"",{"type":41,"tag":358,"props":1620,"children":1621},{"style":371},[1622],{"type":46,"value":1623},"libexample",{"type":41,"tag":358,"props":1625,"children":1626},{"style":1565},[1627],{"type":46,"value":1586},{"type":41,"tag":358,"props":1629,"children":1630},{"style":1565},[1631],{"type":46,"value":1632},",",{"type":41,"tag":358,"props":1634,"children":1635},{"style":1565},[1636],{"type":46,"value":1618},{"type":41,"tag":358,"props":1638,"children":1639},{"style":365},[1640],{"type":46,"value":1641},"architecture",{"type":41,"tag":358,"props":1643,"children":1644},{"style":1565},[1645],{"type":46,"value":1586},{"type":41,"tag":358,"props":1647,"children":1648},{"style":1565},[1649],{"type":46,"value":1591},{"type":41,"tag":358,"props":1651,"children":1652},{"style":1565},[1653],{"type":46,"value":1618},{"type":41,"tag":358,"props":1655,"children":1656},{"style":371},[1657],{"type":46,"value":1658},"x86_64",{"type":41,"tag":358,"props":1660,"children":1661},{"style":1565},[1662],{"type":46,"value":1586},{"type":41,"tag":358,"props":1664,"children":1665},{"style":1565},[1666],{"type":46,"value":1632},{"type":41,"tag":358,"props":1668,"children":1669},{"style":1565},[1670],{"type":46,"value":1618},{"type":41,"tag":358,"props":1672,"children":1673},{"style":365},[1674],{"type":46,"value":1675},"sha256",{"type":41,"tag":358,"props":1677,"children":1678},{"style":1565},[1679],{"type":46,"value":1586},{"type":41,"tag":358,"props":1681,"children":1682},{"style":1565},[1683],{"type":46,"value":1591},{"type":41,"tag":358,"props":1685,"children":1686},{"style":1565},[1687],{"type":46,"value":1618},{"type":41,"tag":358,"props":1689,"children":1690},{"style":371},[1691],{"type":46,"value":1692},"...",{"type":41,"tag":358,"props":1694,"children":1695},{"style":1565},[1696],{"type":46,"value":1586},{"type":41,"tag":358,"props":1698,"children":1699},{"style":1565},[1700],{"type":46,"value":1701},"},\n",{"type":41,"tag":358,"props":1703,"children":1704},{"class":360,"line":525},[1705,1709,1713,1717,1721],{"type":41,"tag":358,"props":1706,"children":1707},{"style":1565},[1708],{"type":46,"value":1576},{"type":41,"tag":358,"props":1710,"children":1711},{"style":1579},[1712],{"type":46,"value":1038},{"type":41,"tag":358,"props":1714,"children":1715},{"style":1565},[1716],{"type":46,"value":1586},{"type":41,"tag":358,"props":1718,"children":1719},{"style":1565},[1720],{"type":46,"value":1591},{"type":41,"tag":358,"props":1722,"children":1723},{"style":1565},[1724],{"type":46,"value":1725}," [\n",{"type":41,"tag":358,"props":1727,"children":1728},{"class":360,"line":535},[1729,1734,1738,1743,1747,1751,1755,1760,1764,1768,1772,1777,1781,1785,1789,1794,1798],{"type":41,"tag":358,"props":1730,"children":1731},{"style":1565},[1732],{"type":46,"value":1733},"    {",{"type":41,"tag":358,"props":1735,"children":1736},{"style":1565},[1737],{"type":46,"value":1586},{"type":41,"tag":358,"props":1739,"children":1740},{"style":365},[1741],{"type":46,"value":1742},"symbol",{"type":41,"tag":358,"props":1744,"children":1745},{"style":1565},[1746],{"type":46,"value":1586},{"type":41,"tag":358,"props":1748,"children":1749},{"style":1565},[1750],{"type":46,"value":1591},{"type":41,"tag":358,"props":1752,"children":1753},{"style":1565},[1754],{"type":46,"value":1618},{"type":41,"tag":358,"props":1756,"children":1757},{"style":371},[1758],{"type":46,"value":1759},"parse_packet",{"type":41,"tag":358,"props":1761,"children":1762},{"style":1565},[1763],{"type":46,"value":1586},{"type":41,"tag":358,"props":1765,"children":1766},{"style":1565},[1767],{"type":46,"value":1632},{"type":41,"tag":358,"props":1769,"children":1770},{"style":1565},[1771],{"type":46,"value":1618},{"type":41,"tag":358,"props":1773,"children":1774},{"style":365},[1775],{"type":46,"value":1776},"address",{"type":41,"tag":358,"props":1778,"children":1779},{"style":1565},[1780],{"type":46,"value":1586},{"type":41,"tag":358,"props":1782,"children":1783},{"style":1565},[1784],{"type":46,"value":1591},{"type":41,"tag":358,"props":1786,"children":1787},{"style":1565},[1788],{"type":46,"value":1618},{"type":41,"tag":358,"props":1790,"children":1791},{"style":371},[1792],{"type":46,"value":1793},"0x401000",{"type":41,"tag":358,"props":1795,"children":1796},{"style":1565},[1797],{"type":46,"value":1586},{"type":41,"tag":358,"props":1799,"children":1800},{"style":1565},[1801],{"type":46,"value":1802},",\n",{"type":41,"tag":358,"props":1804,"children":1805},{"class":360,"line":544},[1806,1811,1816,1820,1824,1828,1832,1838,1842,1846,1850,1855,1859,1863,1867,1871,1875,1879,1884],{"type":41,"tag":358,"props":1807,"children":1808},{"style":1565},[1809],{"type":46,"value":1810},"     \"",{"type":41,"tag":358,"props":1812,"children":1813},{"style":365},[1814],{"type":46,"value":1815},"source",{"type":41,"tag":358,"props":1817,"children":1818},{"style":1565},[1819],{"type":46,"value":1586},{"type":41,"tag":358,"props":1821,"children":1822},{"style":1565},[1823],{"type":46,"value":1591},{"type":41,"tag":358,"props":1825,"children":1826},{"style":1565},[1827],{"type":46,"value":1596},{"type":41,"tag":358,"props":1829,"children":1830},{"style":1565},[1831],{"type":46,"value":1586},{"type":41,"tag":358,"props":1833,"children":1835},{"style":1834},"--shiki-light:#F76D47;--shiki-default:#F78C6C;--shiki-dark:#F78C6C",[1836],{"type":46,"value":1837},"file",{"type":41,"tag":358,"props":1839,"children":1840},{"style":1565},[1841],{"type":46,"value":1586},{"type":41,"tag":358,"props":1843,"children":1844},{"style":1565},[1845],{"type":46,"value":1591},{"type":41,"tag":358,"props":1847,"children":1848},{"style":1565},[1849],{"type":46,"value":1618},{"type":41,"tag":358,"props":1851,"children":1852},{"style":371},[1853],{"type":46,"value":1854},"src\u002Fparser.c",{"type":41,"tag":358,"props":1856,"children":1857},{"style":1565},[1858],{"type":46,"value":1586},{"type":41,"tag":358,"props":1860,"children":1861},{"style":1565},[1862],{"type":46,"value":1632},{"type":41,"tag":358,"props":1864,"children":1865},{"style":1565},[1866],{"type":46,"value":1618},{"type":41,"tag":358,"props":1868,"children":1869},{"style":1834},[1870],{"type":46,"value":360},{"type":41,"tag":358,"props":1872,"children":1873},{"style":1565},[1874],{"type":46,"value":1586},{"type":41,"tag":358,"props":1876,"children":1877},{"style":1565},[1878],{"type":46,"value":1591},{"type":41,"tag":358,"props":1880,"children":1881},{"style":1834},[1882],{"type":46,"value":1883}," 42",{"type":41,"tag":358,"props":1885,"children":1886},{"style":1565},[1887],{"type":46,"value":1888},"}}\n",{"type":41,"tag":358,"props":1890,"children":1891},{"class":360,"line":578},[1892],{"type":41,"tag":358,"props":1893,"children":1894},{"style":1565},[1895],{"type":46,"value":1896},"  ],\n",{"type":41,"tag":358,"props":1898,"children":1899},{"class":360,"line":586},[1900,1904,1908,1912,1916],{"type":41,"tag":358,"props":1901,"children":1902},{"style":1565},[1903],{"type":46,"value":1576},{"type":41,"tag":358,"props":1905,"children":1906},{"style":1579},[1907],{"type":46,"value":1046},{"type":41,"tag":358,"props":1909,"children":1910},{"style":1565},[1911],{"type":46,"value":1586},{"type":41,"tag":358,"props":1913,"children":1914},{"style":1565},[1915],{"type":46,"value":1591},{"type":41,"tag":358,"props":1917,"children":1918},{"style":1565},[1919],{"type":46,"value":1725},{"type":41,"tag":358,"props":1921,"children":1922},{"class":360,"line":595},[1923,1927,1931,1935,1939,1943,1947,1951,1955,1959,1963,1968,1972,1976,1980,1985,1989,1993,1997,2002,2006,2010,2014,2019,2023],{"type":41,"tag":358,"props":1924,"children":1925},{"style":1565},[1926],{"type":46,"value":1733},{"type":41,"tag":358,"props":1928,"children":1929},{"style":1565},[1930],{"type":46,"value":1586},{"type":41,"tag":358,"props":1932,"children":1933},{"style":365},[1934],{"type":46,"value":1815},{"type":41,"tag":358,"props":1936,"children":1937},{"style":1565},[1938],{"type":46,"value":1586},{"type":41,"tag":358,"props":1940,"children":1941},{"style":1565},[1942],{"type":46,"value":1591},{"type":41,"tag":358,"props":1944,"children":1945},{"style":1565},[1946],{"type":46,"value":1618},{"type":41,"tag":358,"props":1948,"children":1949},{"style":371},[1950],{"type":46,"value":1759},{"type":41,"tag":358,"props":1952,"children":1953},{"style":1565},[1954],{"type":46,"value":1586},{"type":41,"tag":358,"props":1956,"children":1957},{"style":1565},[1958],{"type":46,"value":1632},{"type":41,"tag":358,"props":1960,"children":1961},{"style":1565},[1962],{"type":46,"value":1618},{"type":41,"tag":358,"props":1964,"children":1965},{"style":365},[1966],{"type":46,"value":1967},"target",{"type":41,"tag":358,"props":1969,"children":1970},{"style":1565},[1971],{"type":46,"value":1586},{"type":41,"tag":358,"props":1973,"children":1974},{"style":1565},[1975],{"type":46,"value":1591},{"type":41,"tag":358,"props":1977,"children":1978},{"style":1565},[1979],{"type":46,"value":1618},{"type":41,"tag":358,"props":1981,"children":1982},{"style":371},[1983],{"type":46,"value":1984},"malloc",{"type":41,"tag":358,"props":1986,"children":1987},{"style":1565},[1988],{"type":46,"value":1586},{"type":41,"tag":358,"props":1990,"children":1991},{"style":1565},[1992],{"type":46,"value":1632},{"type":41,"tag":358,"props":1994,"children":1995},{"style":1565},[1996],{"type":46,"value":1618},{"type":41,"tag":358,"props":1998,"children":1999},{"style":365},[2000],{"type":46,"value":2001},"confidence",{"type":41,"tag":358,"props":2003,"children":2004},{"style":1565},[2005],{"type":46,"value":1586},{"type":41,"tag":358,"props":2007,"children":2008},{"style":1565},[2009],{"type":46,"value":1591},{"type":41,"tag":358,"props":2011,"children":2012},{"style":1565},[2013],{"type":46,"value":1618},{"type":41,"tag":358,"props":2015,"children":2016},{"style":371},[2017],{"type":46,"value":2018},"inferred",{"type":41,"tag":358,"props":2020,"children":2021},{"style":1565},[2022],{"type":46,"value":1586},{"type":41,"tag":358,"props":2024,"children":2025},{"style":1565},[2026],{"type":46,"value":2027},"}\n",{"type":41,"tag":358,"props":2029,"children":2030},{"class":360,"line":625},[2031],{"type":41,"tag":358,"props":2032,"children":2033},{"style":1565},[2034],{"type":46,"value":2035},"  ]\n",{"type":41,"tag":358,"props":2037,"children":2038},{"class":360,"line":643},[2039],{"type":41,"tag":358,"props":2040,"children":2041},{"style":1565},[2042],{"type":46,"value":2027},{"type":41,"tag":64,"props":2044,"children":2046},{"id":2045},"supporting-documentation",[2047],{"type":46,"value":2048},"Supporting Documentation",{"type":41,"tag":71,"props":2050,"children":2051},{},[2052],{"type":41,"tag":75,"props":2053,"children":2054},{},[2055,2064],{"type":41,"tag":331,"props":2056,"children":2057},{},[2058],{"type":41,"tag":2059,"props":2060,"children":2062},"a",{"href":2061},"references\u002Fformats.md",[2063],{"type":46,"value":2061},{"type":46,"value":2065}," — SARIF 2.1.0 and\nweAudit file format field reference",{"type":41,"tag":2067,"props":2068,"children":2069},"style",{},[2070],{"type":46,"value":2071},"html .light .shiki span {color: var(--shiki-light);background: var(--shiki-light-bg);font-style: var(--shiki-light-font-style);font-weight: var(--shiki-light-font-weight);text-decoration: var(--shiki-light-text-decoration);}html.light .shiki span {color: var(--shiki-light);background: var(--shiki-light-bg);font-style: var(--shiki-light-font-style);font-weight: var(--shiki-light-font-weight);text-decoration: var(--shiki-light-text-decoration);}html .default .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .dark .shiki span {color: var(--shiki-dark);background: var(--shiki-dark-bg);font-style: var(--shiki-dark-font-style);font-weight: var(--shiki-dark-font-weight);text-decoration: var(--shiki-dark-text-decoration);}html.dark .shiki span {color: var(--shiki-dark);background: var(--shiki-dark-bg);font-style: var(--shiki-dark-font-style);font-weight: var(--shiki-dark-font-weight);text-decoration: var(--shiki-dark-text-decoration);}",{"items":2073,"total":2217},[2074,2091,2101,2119,2132,2145,2156,2162,2174,2185,2195,2206],{"slug":2075,"name":2075,"fn":2076,"description":2077,"org":2078,"tags":2079,"stars":23,"repoUrl":24,"updatedAt":2090},"address-sanitizer","detect memory errors during fuzzing","AddressSanitizer detects memory errors during fuzzing. Use when fuzzing C\u002FC++ code to find buffer overflows and use-after-free bugs.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2080,2083,2086,2087],{"name":2081,"slug":2082,"type":16},"C#","c",{"name":2084,"slug":2085,"type":16},"Debugging","debugging",{"name":14,"slug":15,"type":16},{"name":2088,"slug":2089,"type":16},"Testing","testing","2026-07-17T06:05:14.925095",{"slug":2092,"name":2092,"fn":2093,"description":2094,"org":2095,"tags":2096,"stars":23,"repoUrl":24,"updatedAt":2100},"aflpp","perform multi-core fuzzing of C\u002FC++ projects","AFL++ is a fork of AFL with better fuzzing performance and advanced features. Use for multi-core fuzzing of C\u002FC++ projects.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2097,2098,2099],{"name":2081,"slug":2082,"type":16},{"name":14,"slug":15,"type":16},{"name":2088,"slug":2089,"type":16},"2026-07-17T06:05:12.433192",{"slug":2102,"name":2102,"fn":2103,"description":2104,"org":2105,"tags":2106,"stars":23,"repoUrl":24,"updatedAt":2118},"agentic-actions-auditor","audit GitHub Actions for security vulnerabilities","Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI, OpenAI Codex, and GitHub AI Inference. Detects attack vectors where attacker-controlled input reaches AI agents running in CI\u002FCD pipelines, including env var intermediary patterns, direct expression injection, dangerous sandbox configurations, and wildcard user allowlists. Use when reviewing workflow files that invoke AI coding agents, auditing CI\u002FCD pipeline security for prompt injection risks, or evaluating agentic action configurations.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2107,2110,2113,2114,2117],{"name":2108,"slug":2109,"type":16},"Agents","agents",{"name":2111,"slug":2112,"type":16},"CI\u002FCD","ci-cd",{"name":21,"slug":22,"type":16},{"name":2115,"slug":2116,"type":16},"GitHub Actions","github-actions",{"name":14,"slug":15,"type":16},"2026-07-18T05:47:48.564744",{"slug":2120,"name":2120,"fn":2121,"description":2122,"org":2123,"tags":2124,"stars":23,"repoUrl":24,"updatedAt":2131},"algorand-vulnerability-scanner","scan Algorand smart contracts for vulnerabilities","Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TEAL\u002FPyTeal).",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2125,2126,2127,2128],{"name":18,"slug":19,"type":16},{"name":21,"slug":22,"type":16},{"name":14,"slug":15,"type":16},{"name":2129,"slug":2130,"type":16},"Smart Contracts","smart-contracts","2026-07-18T05:47:43.989063",{"slug":2133,"name":2133,"fn":2134,"description":2135,"org":2136,"tags":2137,"stars":23,"repoUrl":24,"updatedAt":2144},"ask-questions-if-underspecified","clarify requirements before implementation","Clarify requirements before implementing. Use when serious doubts arise.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2138,2141],{"name":2139,"slug":2140,"type":16},"Engineering","engineering",{"name":2142,"slug":2143,"type":16},"Productivity","productivity","2026-07-17T06:05:33.543262",{"slug":2146,"name":2146,"fn":2147,"description":2148,"org":2149,"tags":2150,"stars":23,"repoUrl":24,"updatedAt":2155},"atheris","fuzz Python code with Atheris","Atheris is a coverage-guided Python fuzzer based on libFuzzer. Use for fuzzing pure Python code and Python C extensions.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2151,2153,2154],{"name":2152,"slug":407,"type":16},"Python",{"name":14,"slug":15,"type":16},{"name":2088,"slug":2089,"type":16},"2026-07-17T06:05:14.575191",{"slug":4,"name":4,"fn":5,"description":6,"org":2157,"tags":2158,"stars":23,"repoUrl":24,"updatedAt":25},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2159,2160,2161],{"name":18,"slug":19,"type":16},{"name":21,"slug":22,"type":16},{"name":14,"slug":15,"type":16},{"slug":2163,"name":2163,"fn":2164,"description":2165,"org":2166,"tags":2167,"stars":23,"repoUrl":24,"updatedAt":2173},"audit-context-building","build architectural context for code analysis","Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug finding.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2168,2170,2171,2172],{"name":2169,"slug":1641,"type":16},"Architecture",{"name":18,"slug":19,"type":16},{"name":21,"slug":22,"type":16},{"name":2139,"slug":2140,"type":16},"2026-07-18T05:47:40.122449",{"slug":2175,"name":2175,"fn":2176,"description":2177,"org":2178,"tags":2179,"stars":23,"repoUrl":24,"updatedAt":2184},"audit-prep-assistant","prepare codebases for security audits","Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes dead code, ensures accessibility, and generates documentation (flowcharts, user stories, inline comments).",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2180,2181,2182,2183],{"name":18,"slug":19,"type":16},{"name":21,"slug":22,"type":16},{"name":2139,"slug":2140,"type":16},{"name":14,"slug":15,"type":16},"2026-07-18T05:47:39.210985",{"slug":2186,"name":2186,"fn":2187,"description":2188,"org":2189,"tags":2190,"stars":23,"repoUrl":24,"updatedAt":2194},"burpsuite-project-parser","parse Burp Suite project files","Searches and explores Burp Suite project files (.burp) from the command line. Use when searching response headers or bodies with regex patterns, extracting security audit findings, dumping proxy history or site map data, or analyzing HTTP traffic captured in a Burp project.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2191,2192,2193],{"name":18,"slug":19,"type":16},{"name":469,"slug":466,"type":16},{"name":14,"slug":15,"type":16},"2026-07-17T06:05:33.198077",{"slug":2196,"name":2196,"fn":2197,"description":2198,"org":2199,"tags":2200,"stars":23,"repoUrl":24,"updatedAt":2205},"c-review","audit C and C++ code","Performs comprehensive C\u002FC++ security review for memory corruption, integer overflows, race conditions, and platform-specific vulnerabilities. Use when auditing native C\u002FC++ applications, reviewing daemons or services for memory safety, or hunting integer overflow \u002F use-after-free \u002F race conditions in userspace code.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2201,2202,2203,2204],{"name":18,"slug":19,"type":16},{"name":2081,"slug":2082,"type":16},{"name":21,"slug":22,"type":16},{"name":14,"slug":15,"type":16},"2026-07-17T06:05:11.333374",{"slug":2207,"name":2207,"fn":2208,"description":2209,"org":2210,"tags":2211,"stars":23,"repoUrl":24,"updatedAt":2216},"cairo-vulnerability-scanner","scan Cairo and StarkNet contracts for vulnerabilities","Scans Cairo\u002FStarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet projects.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2212,2213,2214,2215],{"name":18,"slug":19,"type":16},{"name":21,"slug":22,"type":16},{"name":14,"slug":15,"type":16},{"name":2129,"slug":2130,"type":16},"2026-07-18T05:47:42.84568",111,{"items":2219,"total":2265},[2220,2227,2233,2241,2248,2253,2259],{"slug":2075,"name":2075,"fn":2076,"description":2077,"org":2221,"tags":2222,"stars":23,"repoUrl":24,"updatedAt":2090},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2223,2224,2225,2226],{"name":2081,"slug":2082,"type":16},{"name":2084,"slug":2085,"type":16},{"name":14,"slug":15,"type":16},{"name":2088,"slug":2089,"type":16},{"slug":2092,"name":2092,"fn":2093,"description":2094,"org":2228,"tags":2229,"stars":23,"repoUrl":24,"updatedAt":2100},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2230,2231,2232],{"name":2081,"slug":2082,"type":16},{"name":14,"slug":15,"type":16},{"name":2088,"slug":2089,"type":16},{"slug":2102,"name":2102,"fn":2103,"description":2104,"org":2234,"tags":2235,"stars":23,"repoUrl":24,"updatedAt":2118},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2236,2237,2238,2239,2240],{"name":2108,"slug":2109,"type":16},{"name":2111,"slug":2112,"type":16},{"name":21,"slug":22,"type":16},{"name":2115,"slug":2116,"type":16},{"name":14,"slug":15,"type":16},{"slug":2120,"name":2120,"fn":2121,"description":2122,"org":2242,"tags":2243,"stars":23,"repoUrl":24,"updatedAt":2131},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2244,2245,2246,2247],{"name":18,"slug":19,"type":16},{"name":21,"slug":22,"type":16},{"name":14,"slug":15,"type":16},{"name":2129,"slug":2130,"type":16},{"slug":2133,"name":2133,"fn":2134,"description":2135,"org":2249,"tags":2250,"stars":23,"repoUrl":24,"updatedAt":2144},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2251,2252],{"name":2139,"slug":2140,"type":16},{"name":2142,"slug":2143,"type":16},{"slug":2146,"name":2146,"fn":2147,"description":2148,"org":2254,"tags":2255,"stars":23,"repoUrl":24,"updatedAt":2155},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2256,2257,2258],{"name":2152,"slug":407,"type":16},{"name":14,"slug":15,"type":16},{"name":2088,"slug":2089,"type":16},{"slug":4,"name":4,"fn":5,"description":6,"org":2260,"tags":2261,"stars":23,"repoUrl":24,"updatedAt":25},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[2262,2263,2264],{"name":18,"slug":19,"type":16},{"name":21,"slug":22,"type":16},{"name":14,"slug":15,"type":16},77]