Parser-Übergabeentscheidungen vergleichen, ohne eine Exploit-Nutzlast zu bauen

Ziel

Prüft, ob aufeinanderfolgende Komponenten in der sicherheitsrelevanten Bedeutung einer harmlosen Anfrage-Testvorrichtung übereinstimmen. Der Vorschlag konzentriert sich auf Interpretationsunterschiede an einer Übergabestelle und nutzt lokale Instrumentierung und inerte Markierungswerte.

Voraussetzungen

Eine isolierte Verarbeitungskette verwenden, deren Komponenten ihre geparste Darstellung melden können. Ein harmloses Feld auswählen, das eine Test-Autorisierungs- oder Routing-Entscheidung beeinflusst, und dokumentieren, welche Komponente für die Normalisierung zuständig ist.

Schritte

1. Eine eindeutige Ausgangs-Testvorrichtung erstellen und das Feld so erfassen, wie es auf jeder Stufe interpretiert wird. Prüfen, dass die Instrumentierung die tatsächliche Entscheidungseingabe beobachtet und nicht einen separat rekonstruierten Anzeigewert.

2. Begrenzte Varianten mit harmlosen, vom Format der Testvorrichtung unterstützten Unterschieden erstellen, etwa wiederholte Schlüssel oder umgebenden Leerraum. Die beabsichtigte Ablehnung oder kanonische Interpretation vor der Ausführung festlegen.

3. Geparste Werte, gewählte Route und Autorisierungseingabe über die Stufen hinweg vergleichen. Eine Abweichung als Hypothese behandeln, die einen Nachweis durch Nachverfolgung erfordert, statt jeden textlichen Unterschied als Schwachstelle zu bezeichnen.

4. Ist eine Variante gemäss dem Anwendungsvertrag mehrdeutig, eine explizite Ablehnungsregel oder eine einzige Normalisierungsgrenze wählen. Die ursprüngliche Testvorrichtung als benannte Regressionseingabe erhalten.

5. Ausgangsfall und Varianten nach der Änderung erneut ausführen. Bestätigen, dass die endgültige Anwendungsentscheidung dieselbe Darstellung verwendet, die die durchsetzende Komponente tatsächlich geprüft hat.

Erwartetes Ergebnis

Das nützliche Artefakt ist eine kompakte Tabelle, die Testvorrichtung, Stufe, interpretierten Wert und endgültige Entscheidung verknüpft. Sie macht eine Grenzabweichung überprüfbar, ohne auf eine destruktive Demonstration angewiesen zu sein.

Grenzen und Prüfbasis

Diese Methode liefert keine protokollspezifischen Angriffssequenzen und trifft keine Aussage über das Parser-Verhalten einer bestimmten Bibliothek. Produktive Zwischenstationen und andere Versionen benötigen eigene autorisierte Testvorrichtungen. Dies ist eine eigenständig vorgeschlagene Methode; es wird weder eine Durchführung noch ein empirisches Ergebnis behauptet.