Revue de code et tests · FICHE DU SKILL

codeql

Analyse de sécurité interprocédurale avec contrôles explicites de qualité de la base et des suites de requêtes.

Le meilleur usage

Ingénieurs en sécurité applicative qui analysent des dépôts importants

Ce qu’il apporte

Construire une base de données fiable + Modéliser les flux de données du projet

Limite principale

Nécessite CodeQL, jq, uv, une cible compilable et potentiellement une longue construction de base de données.

Premier risque

Effets secondaires de la compilation et de l’analyse. La création de la base exécute les commandes de compilation du projet et peut télécharger des paquets de requêtes. Utilisez une copie isolée, examinez les scripts de compilation et gardez les identifiants hors de l’environnement d’analyse.

DATE ET PÉRIMÈTRE DES PREUVES

Trois vérifications distinctes

Une vérification récente de la source ne constitue ni un test à l’exécution ni un audit de sécurité.

Source amontVérifiée le 2026-09-23

Révision épinglée · 32e34f81

Ouvrir la révision épinglée ↗
Fiche SkillSignalMétadonnées éditoriales

Mise à jour le 2026-09-23

Exécution et sécuritéNon vérifiées indépendamment

La revue de la source ne certifie ni le comportement ni la sécurité.

EN CLAIR

À quoi sert ce skill ?

CodeQL est le processus d’analyse de sécurité interprocédurale de Trail of Bits pour huit familles de langages. Il considère la qualité d’extraction de la base, les modèles de flux de données propres au projet, les suites de requêtes explicites et l’analyse des résultats nuls comme des contrôles obligatoires, et non comme du nettoyage facultatif.

Ce qu’il permet
  • Construire une base de données fiableEssayez les stratégies de compilation prises en charge et rejetez les bases qui ont extrait trop peu de code.
  • Modéliser les flux de données du projetAjoutez des sources, puits et résumés personnalisés pour les enveloppes de frameworks.
  • Exécuter des suites explicitesConservez le SARIF brut et vérifiez que l’ensemble de requêtes sélectionné n’est pas vide.
Ses points forts
  • Les contrôles qualité réduisent les faux résultats sans anomalie dus à une extraction vide ou à des requêtes filtrées silencieusement.
  • Prend en charge l’analyse approfondie des flux de données dans les principaux langages compilés et interprétés.
Retour communautaireAucun avis vérifié

Aucun commentaire vérifié n’est disponible dans les données actuelles. Consultez la source indiquée pour les discussions récentes.

Lire la source ↗

INSTALLER SELON L’AGENT

Choisir votre agent

Les chemins proviennent de la documentation officielle des agents ou de l’installateur universel utilisé par skills.sh. La compatibilité dépend toujours de la fiche du skill.

Natif

La fiche actuelle de ce skill nomme explicitement cet agent. Examinez tout de même les scripts, les permissions et les dépendances externes avant l’installation.

Installation dans le projet (recommandée)
npx skills add trailofbits/skills --skill codeql --agent claude-code
Installation personnelle
npx skills add trailofbits/skills --skill codeql --agent claude-code -g

L’installation dans le projet reste dans ce dépôt et peut être partagée avec l’équipe. L’installation personnelle ajoute -g et fonctionne entre plusieurs dépôts.

Voir les chemins d’installation
Chemin du projet.claude/skills/codeql/
Chemin personnel~/.claude/skills/codeql/
Documentation officielle de l’agent

Claude Code détecte automatiquement les dossiers de skills personnalisés dans le projet ou le répertoire personnel.

Voir la source du chemin ↗

PROCESSUS TYPIQUE

Des usages concrets

01

Construire une base de données fiable

Essayez les stratégies de compilation prises en charge et rejetez les bases qui ont extrait trop peu de code.

02

Modéliser les flux de données du projet

Ajoutez des sources, puits et résumés personnalisés pour les enveloppes de frameworks.

03

Exécuter des suites explicites

Conservez le SARIF brut et vérifiez que l’ensemble de requêtes sélectionné n’est pas vide.

AVANTAGES ET LIMITES

Ce qu’il apporte et ses limites

Points forts

  1. Les contrôles qualité réduisent les faux résultats sans anomalie dus à une extraction vide ou à des requêtes filtrées silencieusement.
  2. Prend en charge l’analyse approfondie des flux de données dans les principaux langages compilés et interprétés.

Limites

  1. Nécessite CodeQL, jq, uv, une cible compilable et potentiellement une longue construction de base de données.
  2. Les constats d’analyse statique nécessitent toujours une revue manuelle de leur exploitabilité et peuvent manquer des comportements uniquement visibles à l’exécution.

PUBLIC CONCERNÉ

Pour qui ?

→

Ingénieurs en sécurité applicative qui analysent des dépôts importants

→

Équipes qui ont besoin de preuves SARIF reproductibles plutôt que d’une recherche rapide de motifs

AVANT UTILISATION

Risques à examiner

Élevé

Effets secondaires de la compilation et de l’analyse

La création de la base exécute les commandes de compilation du projet et peut télécharger des paquets de requêtes. Utilisez une copie isolée, examinez les scripts de compilation et gardez les identifiants hors de l’environnement d’analyse.

SÉCURITÉ

Comprendre les permissions

  • Exécutez les compilations non fiables dans un bac à sable jetable sans identifiants de production.
  • Considérez l’absence de constat comme non concluante tant que les contrôles d’extraction et de suite ne sont pas réussis.

Aucune certification de sécurité. Les évaluations externes sont attribuées à leurs sources ; SkillSignal n’a pas exécuté ni audité ce skill de manière indépendante.

DANS LE PAQUET

Fichiers répertoriés

SKILL.mdContenu du paquet amontLien vers la source
workflows/Contenu du paquet amontLien vers la source
references/Contenu du paquet amontLien vers la source
scripts/Contenu du paquet amontLien vers la source

MOTS-CLÉS

CodeQLSASTflux de données

Fiche éditoriale originale de SkillSignal fondée sur le commit 32e34f81 de Trail of Bits, vérifiée le 2026-09-23 ; elle n’a pas été exécutée ni certifiée de façon indépendante en matière de sécurité.