Skills
.Work. You
Rest

update-codeql-query-dataflow-go

Official

Migrate Go dataflow to v2 safely.

Software Engineering#testing#migration#go#codeql#dataflow#taint-tracking#configsig
Authoradvanced-security
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This migration guide enables teams to convert Go CodeQL queries from the legacy v1 dataflow API to the modern v2 shared dataflow API, ensuring functional equivalence with a test-driven approach.

Core Features & Use Cases

  • Converts v1 DataFlow::Configuration-based queries to v2 ConfigSig modules, updating sources, sinks, and flow predicates.
  • Renames and aligns go-specific dataflow predicates (isSanitizer to isBarrier, isAdditionalTaintStep to isAdditionalFlowStep) while preserving logic.
  • Provides a structured migration workflow with a Go-specific pattern guide for AST/IR nodes, RemoteFlowSource handling, and common sources/sinks.
  • Validates equivalence through TDD, with steps for baseline tests, migration steps, and verification.

Quick Start

Follow the migration workflow to convert a sample Go query from v1 to v2 and verify results using the MCP server tests.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: update-codeql-query-dataflow-go
Download link: https://github.com/advanced-security/codeql-development-mcp-server/archive/main.zip#update-codeql-query-dataflow-go

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.