Suporte upstream incluído

Arquivos de suporte são incluídos em caminhos relativos à skill. Veja UPSTREAM-NOTICE.md para suas fontes fixadas, licenças, hashes e alterações de importação.

Análise de Tempo Constante

Analisa código criptográfico para detectar operações que vazam dados secretos através de variações no tempo de execução.

Quando Usar

User writing crypto code? ──yes──> Use this skill
         │
         no
         │
         v
User asking about timing attacks? ──yes──> Use this skill
         │
         no
         │
         v
Code handles secret keys/tokens? ──yes──> Use this skill
         │
         no
         │
         v
Skip this skill

Gatilhos concretos:

• O usuário implementa assinatura, criptografia ou derivação de chave
• O código contém operadores / ou % em valores derivados de segredos
• O usuário menciona "tempo constante", "ataque de tempo", "canal lateral", "KyberSlash"
• Revisando funções nomeadas sign, verify, encrypt, decrypt, derive_key

Quando NÃO Usar

• Código não criptográfico (lógica de negócios, UI, etc.)
• Processamento de dados públicos onde vazamentos de tempo não importam
• Código que não lida com segredos, chaves ou tokens de autenticação
• Uso de API de alto nível onde o tempo é tratado pela biblioteca

Seleção de Idioma

Com base na extensão do arquivo ou no contexto do idioma, consulte o guia apropriado:

Início Rápido

# Analyze any supported file type
uv run {baseDir}/ct_analyzer/analyzer.py <source_file>

# Include conditional branch warnings
uv run {baseDir}/ct_analyzer/analyzer.py --warnings <source_file>

# Filter to specific functions
uv run {baseDir}/ct_analyzer/analyzer.py --func 'sign|verify' <source_file>

# JSON output for CI
uv run {baseDir}/ct_analyzer/analyzer.py --json <source_file>

Apenas Linguagens Compiladas Nativas (C, C++, Go, Rust)

# Cross-architecture testing (RECOMMENDED)
uv run {baseDir}/ct_analyzer/analyzer.py --arch x86_64 crypto.c
uv run {baseDir}/ct_analyzer/analyzer.py --arch arm64 crypto.c

# Multiple optimization levels
uv run {baseDir}/ct_analyzer/analyzer.py --opt-level O0 crypto.c
uv run {baseDir}/ct_analyzer/analyzer.py --opt-level O3 crypto.c

Linguagens Compiladas por VM (Java, Kotlin, C#)

# Analyze Java bytecode
uv run {baseDir}/ct_analyzer/analyzer.py CryptoUtils.java

# Analyze Kotlin bytecode (Android/JVM)
uv run {baseDir}/ct_analyzer/analyzer.py CryptoUtils.kt

# Analyze C# IL
uv run {baseDir}/ct_analyzer/analyzer.py CryptoUtils.cs

Nota: Java, Kotlin e C# compilam para bytecode (JVM/CIL) que roda em uma máquina virtual com compilação JIT. O analisador examina o bytecode diretamente, não o código nativo compilado por JIT. As flags --arch e --opt-level não se aplicam a essas linguagens.

Swift (iOS/macOS)

# Analyze Swift for native architecture
uv run {baseDir}/ct_analyzer/analyzer.py crypto.swift

# Analyze for specific architecture (iOS devices)
uv run {baseDir}/ct_analyzer/analyzer.py --arch arm64 crypto.swift

# Analyze with different optimization levels
uv run {baseDir}/ct_analyzer/analyzer.py --opt-level O0 crypto.swift

Nota: Swift compila para código nativo como C/C++/Go/Rust, portanto, usa análise em nível de assembly e suporta as flags --arch e --opt-level.

Pré-requisitos

…