Utilisez $codex-security:vulnerability-writeup pour créer un rapport autonome pour chaque vulnérabilité distincte. Vous pouvez partir des résultats d’une analyse Codex Security ou utiliser directement les constats, les notes de divulgation, les preuves de concept (PoC) et le code source fournis. L’analyse Codex Security est facultative.
Préparez les éléments de preuve
Fournissez au workflow les éléments suivants :
- Les constats, les notes de divulgation ou les documents d’évaluation à examiner.
- L’arborescence du code source à examiner et la révision ou la version concernée.
- Les PoC, journaux, traces, captures d’écran ou sorties de diagnostic disponibles.
- Les commits correctifs ou les diffs correspondants, si vous en disposez.
Avant de rédiger le rapport, Codex vérifie chaque affirmation dans le code source concerné. Si vous n’avez pas accès au code source ou à la révision concernée, décidez si vous souhaitez tout de même produire un rapport qui signale les affirmations non vérifiées.
Lancez le workflow
Envoyez un prompt comme celui-ci :
Utilisez $codex-security:vulnerability-writeup pour créer un rapport autonome pour chaque vulnérabilité distincte décrite dans [input paths]. Vérifiez chaque affirmation dans le code source, au chemin et à la révision indiqués dans [source path and revision]. Conservez ou améliorez les PoC fournis, puis enregistrez les rapports dans [output directory]. Utilisez un environnement de test local pour reproduire les vulnérabilités.Codex recense les éléments fournis, regroupe les rapports qui décrivent la même cause profonde et le même chemin d’exécution vulnérable, puis crée un répertoire par vulnérabilité distincte. Chaque répertoire contient un rapport Markdown et, si des fichiers de PoC sont disponibles, un sous-répertoire poc/ qui les contient.
Vérifiez chaque rapport
Avant de diffuser un rapport, vérifiez qu’il remplit les critères suivants :
- Il retrace le déroulement du bug depuis le point d’entrée contrôlé par l’attaquant et explique quel invariant de sécurité est violé et quelles en sont les conséquences.
- Il distingue les comportements vérifiés des hypothèses et des contraintes qui restent à clarifier.
- Il présente des extraits de code source en précisant les chemins des fichiers, les fonctions et la révision concernée.
- Lorsqu’un PoC est réalisable, il fournit son code source, les instructions de compilation ou d’exécution et un exemple représentatif de sortie. Il précise aussi les limites à respecter pour l’utiliser en toute sécurité.
- Il utilise des chemins portables et ne dépend ni d’un stockage interne ni de chemins absolus propres à une machine.
Utilisez les rapports issus d’une analyse
Les rapports de vulnérabilité détaillés sont facultatifs pour les analyses standard, les analyses approfondies et les analyses de modifications. Si vous les demandez, Codex enregistre chaque rapport dans findings/<slug>/<slug>.md, place les fichiers associés dans findings/<slug>/poc/ et ajoute un lien vers le rapport dans report.md.
Lorsque vous partagez ou archivez une analyse, conservez son répertoire dans son intégralité. Pour trouver des améliorations qui répondent à des problèmes récurrents dans plusieurs rapports, consultez la page Proposez des mesures de durcissement.