skills.rest
darylmcd
darylmcdCOMMUNITY
Explore all skills by this author →
GitHub

trace-flow

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
One-click install
npx skills add https://github.com/darylmcd/Roslyn-Backed-MCP --skill trace-flow
Or copy as Structured Prompt for Agent▼
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.

Related Skills

Explore More Software Engineering Skills→
infotechsrealminfotechsrealm

script-execute

Compile and execute C# code dynamically within Unity environments.

Community
Advanced
HZeroxiumHZeroxium

java-observability-tracing

Implement distributed tracing across microservices with OpenTelemetry and W3C Trace Context.

Community
Advanced
darylmcddarylmcd

generate-tests

Generate green-compiling test stubs for untested public APIs.

Community
Advanced
quangphu1912quangphu1912
1

trace-data-flows

Trace data flows through codebases to detect security vulnerabilities and integrity issues.

Community
Advanced