Call Graph Reachability Analysis

Call Graph Reachability Analysis is a skill for Claude Code, Codex from wangke19/gemini-ai-helpers. It costs 22 tokens per session (2,428 once invoked), scanned B, a copy of call-graph-analysis, Apache-2.0.

A Go code analysis method that checks whether a vulnerable function can actually be reached from a program's entry points.

In plain words
What is it for?
Use it to verify CVE impact, support security audits, and produce execution-path evidence.
Why use it?
It helps distinguish a vulnerability that exists in dependencies from one that the application can really execute.

Skill for Claude CodeCodex

Written for no agent in particular: nothing here depends on one.

Good fit Use it to verify CVE impact, support security audits, and produce execution-path evidence.

Compare 6 skills from other repositories ↓
Install with agentmods
npx agentmods add skills/wangke19/gemini-ai-helpers/call-graph-analysis
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent
npx skills add wangke19/gemini-ai-helpers --skill call-graph-analysis
Clone the repo
git clone --depth 1 https://github.com/wangke19/gemini-ai-helpers

Made for: Claude Code, Codex.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for Call Graph Reachability Analysis

README.md
[![agentmods](https://agentmods.dev/badge/skills/wangke19/gemini-ai-helpers/call-graph-analysis/github.svg)](https://agentmods.dev/skills/wangke19/gemini-ai-helpers/call-graph-analysis)
Your own site
<a href="https://agentmods.dev/skills/wangke19/gemini-ai-helpers/call-graph-analysis"><img src="https://agentmods.dev/badge/skills/wangke19/gemini-ai-helpers/call-graph-analysis/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for Call Graph Reachability Analysis

Your own site · 80×15
<a href="https://agentmods.dev/skills/wangke19/gemini-ai-helpers/call-graph-analysis"><img src="https://agentmods.dev/badge/skills/wangke19/gemini-ai-helpers/call-graph-analysis.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 22 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 2,428 The whole file, excluding the scripts and references it only reads on demand.
Security scan B 1 finding. A grade says what 26 rules found in the file — not that it is safe.
Origin 95% copy Near-identical to another mod in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00022 $0.02428
Opus 5 $0.00011 $0.01214
Sonnet 5 $0.00004 $0.00486
Haiku 4.5 $0.00002 $0.00243

Measured 5d ago against content hash 9ac09072d33a, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-09, from the pricing page.

Security

Grade B, and why

Call Graph Reachability Analysis scanned grade B with 1 finding against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 5d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Asks for rootmediumPrivilege escalation

A mod that escalates privileges can change anything on the machine, not only the project.

- `graphviz` (for visualization): `brew install graphviz` (macOS) or `sudo apt-get install graphviz` (Linux)
Origin

This is a copy

95% identical to call-graph-analysis — 4 lines differ, which has more behind it and is treated as the original. This page carries a canonical link to it rather than competing with it.

extensions/compliance/skills/call-graph-analysis/SKILL.md · 275 lines

How it starts

The opening of the file, as written. The whole thing — 275 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Call Graph Reachability Analysis

Provides highest-confidence vulnerability assessment by proving whether vulnerable functions can actually be reached during program execution.

When to Use This Skill

Use this skill when:

  • You need definitive proof that a vulnerable function is or isn't reachable
  • Medium/high confidence analysis shows possible vulnerability but needs confirmation
  • Generating evidence for security compliance or audit requirements
  • govulncheck is unavailable or didn't find the CVE
  • You need visual proof of execution paths for stakeholders

Prerequisites

Required Tools

  • callgraph: go install golang.org/x/tools/cmd/callgraph@latest
  • digraph: go install golang.org/x/tools/cmd/digraph@latest
  • Go workspace with go.mod file

Optional Tools

  • graphviz (for visualization): brew install graphviz (macOS) or sudo apt-get install graphviz (Linux)
  • sfdp or dot command (part of graphviz)

Input Requirements

  • CVE vulnerable function signature (e.g., <package-path>.<function-name>)
  • Package path from CVE analysis
  • Workspace path to analyze
  • Algorithm preference (optional, default: vta) — passed via --algo from parent command
  • CVE_ID — used to construct the output directory
  • OUT_DIR (optional, default: .work/compliance/analyze-cve/${CVE_ID}) — where artifacts are written

Timeout and Algorithm Convention

  • Use the algorithm specified by the user via --algo (default: vta).
  • All callgraph invocations use timeout 300 (5 minutes) to prevent hanging on large codebases.
  • If the chosen algorithm times out: fall back to the next faster algorithm (vtartacha), then narrow scope to specific packages (e.g., ./cmd/..., ./pkg/...).

Implementation Steps

Step 1: Verify Tools Are Available

# Check for callgraph
which callgraph || echo "callgraph not found - install with: go install golang.org/x/tools/cmd/callgraph@latest"

# Check for digraph
which digraph || echo "digraph not found - install with: go install golang.org/x/tools/cmd/digraph@latest"

# Optional: Check for graphviz
which sfdp || echo "graphviz not found - visual graphs won't be generated (optional)"

Read the full file on GitHub · 275 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 5d ago First seen · 275 lines · 22 tokens per session scan B 9ac09072d33a

Subscribe to this mod's changes

Call Graph Reachability Analysis is a skill published in the GitHub repository wangke19/gemini-ai-helpers (2 stars, last pushed 5mo ago), licensed Apache-2.0. It adds 22 tokens to every session and 2,428 once invoked, about $0.0001 per session on Opus 5. A static security scan graded it B with 1 finding (asks for root). It is 95% identical to call-graph-analysis, differing in 4 lines, and is treated as a copy.

Related

Other skills, from other repositories

mongodb-query-optimizer

Help with MongoDB query optimization and indexing. Use only when the user asks for optimization or performance: "How do I optimize this query?", "How do I index this?", "Why is this query slow?", "Can you fix my slow queries?", "What are the slow queries on my cluster?", etc. Do not invoke for general MongoDB query…

fcakyon/claude-codex-settings · 98 tokens

lov-article-creator

A skill that turns source material or a draft into a complete, branded WeChat public-account article package.

lovstudio/skills · 75 tokens

lov-bp-outline

A process for turning project information into a source-backed business-plan brief, evidence record, and 12–15-slide outline. A business plan explains how a company works, grows, and makes money.

lovstudio/skills · 97 tokens

convert-to-devto

Converts Markdown content into the format required for Dev.to publication, ensuring correct YAML frontmatter, headers, liquid tags, and inline formatting. Use when the user asks to format or convert an existing blog post or Markdown file for Dev.to.

derailed-dash/dazbo-agent-skills · 53 tokens

lov-install-tauri-logo

A Tauri desktop-app branding tool that connects an approved logo to the application bundle icon and system tray icon. Tauri is a framework for packaging web interfaces as desktop applications.

lovstudio/skills · 45 tokens

recon-dir-scan

Directory and file enumeration using ffuf, gobuster, dirsearch, and feroxbuster. Use this skill when user needs to discover hidden directories, enumerate files, find backup files, or map application structure through path fuzzing.

crazyMarky/pentest-skills · 52 tokens