Benachbarte Zugriffspfade nach einer eng begrenzten Sicherheitskorrektur prüfen

Ziel

Eine Regression gerade so weit ausweiten, dass geprüft wird, ob eine reparierte Richtliniengrenze auch für benachbarte Pfade gilt. Diese ursprüngliche Methode vermeidet, ein ganzes Feature allein deshalb als behoben zu erklären, weil eine gemeldete Anfrage nun abgelehnt wird.

Voraussetzungen

Eine validierte lokale Reproduktion mit synthetischen Daten verwenden, dazu den vorgeschlagenen Patch und eine Liste von Anwendungsrouten oder -operationen, die dasselbe geschützte Objekt erreichen. Den Geltungsbereich an die gemeldete Invariante gebunden halten.

Schritte

1. Den ursprünglichen Mangel als Regel aus Principal, Objekt und Operation neu formulieren. Die minimale fehlschlagende Fixture sowie eine erlaubte Kontrolle bewahren, die nach der Reparatur weiterhin funktionieren muss.

2. Benachbarte unterstützte Pfade anhand der eigenen Routing- und Aufrufstruktur der Anwendung identifizieren. Beispiele können eine alternative Repräsentation, eine Batch-Operation oder eine asynchrone Version derselben Aktion sein.

3. Für jeden relevanten Pfad die erwartete Entscheidung unter derselben nicht autorisierten Beziehung festhalten. Keine themenfremden Schwachstellenklassen ergänzen, nur um die Testliste umfassender wirken zu lassen.

4. Die gepatchte Fixture über die ausgewählten Pfade laufen lassen und die geschützten Effekte prüfen. Nicht getestete Pfade explizit festhalten, statt ihre Sicherheit aus dem Namen einer gemeinsam genutzten Hilfsfunktion abzuleiten.

5. Verhält sich ein Pfad anders, nachverfolgen, ob er die reparierte Grenze mit gleichwertigem Kontext erreicht. Den konkret fehlenden Kontext oder Aufrufpfad der Regression hinzufügen, bevor der Patch erweitert wird.

Erwartetes Ergebnis

Das Ergebnis sollte festhalten, welche Routen die ursprüngliche Invariante nun einhalten und welche ungetestet bleiben, und so den überprüfenden Personen eine begrenzte und begründbare Beschreibung der Patch-Abdeckung liefern.

Grenzen und Prüfbasis

Diese Methodik stellt kein vollständiges Sicherheitsaudit dar und beweist nicht die Abwesenheit verwandter Mängel. Die Nachbarschaftskarte hängt von der untersuchten Revision ab und sollte überprüft werden, sobald neue Zugriffspfade eingeführt werden. Dies ist eine ursprünglich vorgeschlagene Methode; es wird weder eine Ausführung noch ein empirisches Ergebnis behauptet.