2582 Run Analysis 8da60238

Run Analysis Workflow

Execute CodeQL security queries on an existing database with ruleset selection and result formatting.

Scan Modes

Two modes control analysis scope. Both use all installed packs — the difference is filtering.

WARNING: Do NOT pass pack names directly to codeql database analyze (e.g., -- codeql/cpp-queries). Each pack's defaultSuiteFile silently applies strict filters and can produce zero results. Always use an explicit suite reference.

Task System

Create these tasks on workflow start:

TaskCreate: "Select database and detect language" (Step 1)
TaskCreate: "Select scan mode, check additional packs" (Step 2) - blockedBy: Step 1
TaskCreate: "Select query packs, model packs, and threat models" (Step 3) - blockedBy: Step 2
TaskCreate: "Execute analysis" (Step 4) - blockedBy: Step 3
TaskCreate: "Process and report results" (Step 5) - blockedBy: Step 4

Gates

Auto-skip rule: If the user already specified a choice in the invocation, skip the corresponding AskUserQuestion and use the provided value directly.

Steps

Step 1: Select Database and Detect Language

Entry: $OUTPUT_DIR is set (from parent skill). $DB_NAME may already be set if the parent skill resolved database selection. Exit: DB_NAME and CODEQL_LANG variables set; database resolves successfully.

If $DB_NAME is already set (parent skill handled database selection): validate it and proceed.

If $DB_NAME is not set: discover databases by looking for codeql-database.yml marker files. Search inside $OUTPUT_DIR first, then fall back to the project root (top-level and one subdirectory deep).

# Skip discovery if DB_NAME was already resolved by parent skill
if [ -z "$DB_NAME" ]; then
  # Discover databases inside OUTPUT_DIR
  FOUND_DBS=()
  while IFS= read -r yml; do
    FOUND_DBS+=("$(dirname "$yml")")
  done < <(find "$OUTPUT_DIR" -maxdepth 2 -name "codeql-database.yml" 2>/dev/null)

  # Fallback: search project root (top-level and one subdir deep)
  if [ ${#FOUND_DBS[@]} -eq 0 ]; then
    while IFS= read -r yml; do
      FOUND_DBS+=("$(dirname "$yml")")
    done < <(find . -maxdepth 3 -name "codeql-database.yml" -not -path "*/\.*" 2>/dev/null)
  fi

  if [ ${#FOUND_DBS[@]} -eq 0 ]; then
    echo "ERROR: No CodeQL database found in $OUTPUT_DIR or project root"
    exit 1
  elif [ ${#FOUND_DBS[@]} -eq 1 ]; then
    DB_NAME="${FOUND_DBS[0]}"
  else
    # Multiple databases found — present to user
    # Use AskUserQuestion with each DB's path and language
    # SKIP if user already specified which database in their prompt
  fi
fi

CODEQL_LANG=$(codeql resolve database --format=json -- "$DB_NAME" | jq -r '.languages[0]')
echo "Using: $DB_NAME (language: $CODEQL_LANG)"

When multiple databases are found, use AskUserQuestion to let user select — list each database with its path and language. Skip AskUserQuestion if the user already specified which database to use in their prompt.

If multi-language database, ask which language to analyze.

Step 2: Select Scan Mode, Check Additional Packs

Entry: Step 1 complete (DB_NAME and CODEQL_LANG set) Exit: Scan mode selected; all available packs (official, ToB, community) checked for installation status; model packs detected

2a: Select Scan Mode

Skip if user already specified. Otherwise use AskUserQuestion:

header: "Scan Mode"
question: "Which scan mode should be used?"
options:
  - label: "Run all (Recommended)"
    description: "Maximum coverage — all queries from all installed packs"
  - label: "Important only"
    description: "Security vulnerabilities only — medium-high precision, security-severity threshold"

2b: Query Packs

For each pack available for the detected language (see ruleset-catalog.md):

Check if installed (codeql resolve qlpacks | grep -i "<PACK_NAME>"). If not, ask user to install or ignore.

2c: Detect Model Packs

Search three locations for data extension model packs:

1. In-repo model packs — qlpack.yml/codeql-pack.yml with dataExtensions
2. In-repo standalone data extensions — .yml files with extensions: key
3. Installed model packs — resolved by CodeQL

Record all detected packs for Step 3.

Step 3: Select Query Packs and Model Packs

Entry: Step 2 complete (scan mode, pack availability, and model packs all determined) Exit: User confirmed query packs, model packs, and threat model selection; all flags built (THREAT_MODEL_FLAG, MODEL_PACK_FLAGS, ADDITIONAL_PACK_FLAGS)

CHECKPOINT — Present available packs to user for confirmation. Skip if user already specified pack preferences.

3a: Confirm Query Packs

Important-only mode: Inform user all installed packs included with filtering. Proceed to 3b.

Run-all mode: Use AskUserQuestion to confirm "Use all" or "Select individually".

3b: Select Model Packs (if any detected)

Skip if no model packs detected in Step 2c.

Use AskUserQuestion: "Use all (Recommended)" / "Select individually" / "Skip".

Notes:

• In-repo standalone extensions (.yml) are auto-discovered — pass source directory via --additional-packs
• In-repo model packs (with qlpack.yml) need parent directory via --additional-packs
• Installed model packs use --model-packs

3c: Select Threat Models

Threat models control which input sources CodeQL treats as tainted. See threat-models.md.

Use AskUserQuestion:

header: "Threat Models"
question: "Which input sources should CodeQL treat as tainted?"
options:
  - label: "Remote only (Recommended)"
    description: "Default — HTTP requests, network input"
  - label: "Remote + Local"
    description: "Add CLI args, local files"
  - label: "All sources"
    description: "Remote, local, environment, database, file"
  - label: "Custom"
    description: "Select specific threat models individually"

Build the flag: THREAT_MODEL_FLAG="" (remote only needs no flag), --threat-model local, etc.

Step 4: Execute Analysis

Entry: Step 3 complete (all flags and pack selections finalized) Exit: $RAW_DIR/results.sarif exists and contains valid SARIF output

Log selected query packs

Write the selected query packs, model packs, and threat models to $OUTPUT_DIR/rulesets.txt:

cat > "$OUTPUT_DIR/rulesets.txt" << RULESETS
# CodeQL Analysis — Selected Query Packs
# Generated: $(date -Iseconds)
# Scan mode: <run-all|important-only>
# Database: $DB_NAME
# Language: $CODEQL_LANG

## Query packs:
<one pack per line>

## Model packs:
<one pack per line, or "None">

## Threat models:
<threat model selection, or "default (remote)">
RULESETS

Generate custom suite

Important-only mode: Generate the custom .qls suite using the template and script in important-only-suite.md.

Run-all mode: Generate the custom .qls suite using the template in run-all-suite.md.

RAW_DIR="$OUTPUT_DIR/raw"
RESULTS_DIR="$OUTPUT_DIR/results"
mkdir -p "$RAW_DIR" "$RESULTS_DIR"
SUITE_FILE="$RAW_DIR/<mode>.qls"

# Verify suite resolves correctly before running
codeql resolve queries "$SUITE_FILE" | wc -l

Run analysis

Output goes to $RAW_DIR/results.sarif (unfiltered). The final results are produced in Step 5.

codeql database analyze $DB_NAME \
  --format=sarif-latest \
  --output="$RAW_DIR/results.sarif" \
  --threads=0 \
  $THREAT_MODEL_FLAG \
  $MODEL_PACK_FLAGS \
  $ADDITIONAL_PACK_FLAGS \
  -- "$SUITE_FILE"

Flag reference for model packs:

Performance

If codebase is large, read performance-tuning.md and apply relevant optimizations.

Step 5: Process and Report Results

Entry: Step 4 complete ($RAW_DIR/results.sarif exists) Exit: $RESULTS_DIR/results.sarif contains final results; findings summarized by severity, rule, and location; zero-finding results investigated; final report presented to user

Produce final results

• Run-all mode: Copy unfiltered results to the final location:

  cp "$RAW_DIR/results.sarif" "$RESULTS_DIR/results.sarif"
  

• Important-only mode: Apply the post-analysis filter from sarif-processing.md to remove medium-precision results with security-severity < 6.0. The filter reads from $RAW_DIR/results.sarif and writes to $RESULTS_DIR/results.sarif, preserving the unfiltered original.

Process the final SARIF output ($RESULTS_DIR/results.sarif) using the jq commands in sarif-processing.md: count findings, summarize by level, summarize by security severity, summarize by rule.

Final Output

Report to user:

## CodeQL Analysis Complete

**Output directory:** $OUTPUT_DIR
**Database:** $DB_NAME
**Language:** <LANG>
**Scan mode:** Run all | Important only
**Query packs:** <list of query packs used>
**Model packs:** <list of model packs used, or "None">
**Threat models:** <list of threat models, or "default (remote)">

### Results Summary:
- Total findings: <N>
- Error: <N>
- Warning: <N>
- Note: <N>

### Output Files:
- SARIF (final): $OUTPUT_DIR/results/results.sarif
- SARIF (unfiltered): $OUTPUT_DIR/raw/results.sarif
- Rulesets: $OUTPUT_DIR/rulesets.txt