trace-flow

Name: trace-flow
Availability: InStock
Author: darylmcd

Trace a symbol or file:line across control, data, and exception paths in C#.

Updated Mar 13, 2026

Search Tags:#csharp #mcp #trace #static-analysis #roslyn #flow-analysis #symbol-resolution

Ready to run

npx skills add https://github.com/darylmcd/Roslyn-Backed-MCP --skill trace-flow

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: trace-flow
Source: https://github.com/darylmcd/Roslyn-Backed-MCP/tree/main/skills/trace-flow
Command: npx skills add https://github.com/darylmcd/Roslyn-Backed-MCP --skill trace-flow

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Walk a value, parameter, or symbol through control flow, data flow, and exception flow paths to understand how data and exceptions propagate in C# code.

Core Features & Use Cases

Resolve a symbol or file:line to a concrete Roslyn target and select applicable analyses based on the target kind.
Run control-flow, data-flow, and exception-flow analyses, producing a unified trace that combines results across multiple analyses.
Work with a live Roslyn MCP server: load workspaces, query symbol information, and present the end-to-end trace to help debugging and refactoring.

Quick Start

Trace a symbol or file:line to view its flow across control, data, and exception paths.

Frequently Asked Questions about trace-flow

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I trace value propagation through C# control flow and exception paths?▼

Trace value propagation by resolving a symbol or file:line to a concrete Roslyn target, which then runs control-flow, data-flow, and exception-flow analyses to produce a unified trace of how data and exceptions propagate.

Can I use Roslyn static analysis to locate catch sites for a specific exception?▼

Yes, Roslyn static analysis locates catch sites by tracing exception-flow paths from a resolved symbol, returning a structured trace that reveals exactly where exceptions are caught within methods or blocks.

How do I analyze how a parameter propagates through data flow paths in C#?▼

Analyze parameter propagation by targeting the parameter symbol with Roslyn data-flow analysis, which walks the value through assignments and method calls to map its end-to-end data path.

Do I need a Roslyn MCP server to run cross-cutting flow analyses on my code?▼

Yes, you need a live Roslyn MCP server to load workspaces, query symbol information, and execute the cross-cutting control, data, and exception flow analyses required to generate the unified trace.

What is the best way to debug path choices within a specific C# method block?▼

Debug path choices within a method block by tracing a file:line location to a Roslyn target, which selects applicable control-flow analyses to reveal the specific branching paths taken.

Why does static analysis return incomplete results when tracing symbols across complex code flows?▼

Static analysis returns incomplete results when symbol resolution fails to find a concrete Roslyn target, preventing the unified trace from combining control, data, and exception analyses across the flow.