Comparer les décisions de transmission entre analyseurs sans construire de charge utile d'exploitation

Objectif

Tester si des composants successifs s'accordent sur la signification, du point de vue de la sécurité, d'un fixture de requête inoffensif. La proposition se concentre sur les différences d'interprétation lors d'une transmission, à l'aide d'une instrumentation locale et de valeurs de marqueur inertes.

Prérequis

Utiliser une chaîne de traitement isolée dont les composants peuvent rendre compte de leur représentation analysée. Sélectionner un champ inoffensif qui influence une décision de test d'autorisation ou de routage, et documenter quel composant a la responsabilité de la normalisation.

Étapes

1. Créer un fixture de référence non ambigu et capturer le champ tel qu'interprété à chaque étape. Vérifier que l'instrumentation observe l'entrée réelle de la décision, et non une valeur d'affichage reconstruite séparément.

2. Construire des variantes bornées à l'aide de différences inoffensives prises en charge par le format du fixture, comme des clés répétées ou des espaces environnants. Préciser, avant l'exécution, le rejet prévu ou l'interprétation canonique attendue.

3. Comparer les valeurs analysées, la route sélectionnée et l'entrée d'autorisation à travers les étapes. Traiter un désaccord comme une hypothèse nécessitant des preuves de trace, plutôt que de qualifier chaque différence textuelle de vulnérabilité.

4. Lorsqu'une variante est ambiguë au regard du contrat de l'application, choisir une règle de rejet explicite ou une limite de normalisation unique. Conserver le fixture d'origine comme entrée de non-régression nommée.

5. Relancer le fixture de référence et les variantes après la modification. Confirmer que la décision finale de l'application utilise la même représentation que celle réellement vérifiée par le composant chargé de l'appliquer.

Résultat attendu

L'artefact utile est un tableau compact reliant le fixture, l'étape, la valeur interprétée et la décision finale. Il rend un désaccord de limite examinable sans recourir à une démonstration destructrice.

Limites et base de vérification

Cette méthode ne fournit pas de séquences d'attaque spécifiques à un protocole et n'affirme rien sur le comportement d'analyseur d'une bibliothèque nommée. Les intermédiaires de production et les versions différentes nécessitent leurs propres fixtures autorisés. Il s'agit d'une méthode originale proposée ; aucune exécution ni aucun résultat empirique n'est revendiqué.