Detects timing side-channels in cryptographic code
Copy the command definition below into:
~/.claude/commands/trailofbits-ct-check.md---
name: trailofbits:ct-check
description: Detects timing side-channels in cryptographic code
argument-hint: "<source-file> [--warnings] [--json] [--arch <arch>]"
allowed-tools: Bash Read Grep Glob
---
# Check Constant-Time Properties
**Arguments:** $ARGUMENTS
Parse arguments:
1. **Source file** (required): Path to source file to analyze
2. **Flags** (optional): `--warnings`, `--json`, `--arch <arch>`, `--opt-level <level>`, `--func <pattern>`
Invoke the `constant-time-analysis` skill with these arguments for the full workflow.
Walk the receipt chain in ./receipts/ verifying every signature and hash link. Detects insertions, deletions, and tampering across the entire audit trail.