Trail of Bits veröffentlichte am 21. Oktober 2026 patching-bugs und regression-hunt. Die Plugins entstanden im Rahmen von Patch the Planet, einer Initiative mit OpenAI, die Hunderte Sicherheitspatches für verbreitete Open-Source-Projekte hervorgebracht hat. Das erste Plugin reproduziert gemeldete Fehler, entwickelt Korrektionen und testet sie. Das zweite prüft auf Regressionen – neue Fehler, die zuvor korrektes Verhalten beschädigen. Ingenieure geben die Arbeit vor und prüfen die Ergebnisse; Maintainer hinterlegen projektspezifische Sicherheitsannahmen und Regeln.

Eine Prüfung von über 130 gemergten Pull Requests ergab 21 bestätigte Regressionen. Sechzehn betrafen die Funktionalität, die übrigen den Build oder die Tests. Keine Regression setzte einen Sicherheitsschutz außer Kraft. In einem Durchlauf fanden Agenten 58 Kandidaten und bestätigten 21, was einer Präzision von rund 36 Prozent entspricht. Dieses Rauschen führte Trail of Bits zu zwei Erkenntnissen: Sowohl Patch-Entwicklung als auch Regressionsprüfung benötigen wiederholbare Verfahren. Unterschiedliche Agentenläufe erzeugen unterschiedliche Kandidaten und erhöhen den manuellen Prüfaufwand.

Die Plugins verwenden kurze, verbindliche Vorgaben und lassen sich modular einsetzen. Jeder Schritt hat ein festgelegtes Ein- und Ausgabeschema mit Behauptung, Code-Revision, erforderlicher Prüfung, Rohbelegen und offenen Fragen. Jede Schlussfolgerung beruht auf einem Proof of Concept gegen eine gebaute, laufende Projektinstanz über eine reale Nutzerschnittstelle. Ohne solchen Live-Nachweis bleibt das Ergebnis nicht schlüssig.

regression-hunt verfolgt geänderten Code über seine Aufrufer bis zu tatsächlichen Schnittstellen. Es reproduziert jeden Kandidaten in einer laufenden Bereitstellung und wiederholt den Nachweis mit einem Agenten in frischem Kontext. Ein abschließender Bewertungsschritt muss zeigen, dass kein Fehlalarm, keine unvollständige Korrektur, kein latenter oder vorhandener Fehler vorliegt. Liegt ein Bedrohungsmodell vor, erhalten alle Agentenschritte es als gemeinsamen Kontext.

Beim Vergleich mit einem grundlegenden Codex-Agenten, der einen Pull Request prüfen sollte, erzeugte regression-hunt 25 Prozent weniger Fehlalarme über die 21 bestätigten Regressionen. Das 95-Prozent-Konfidenzintervall lag zwischen 14 und 38 Prozent. Strengere Beleganforderungen ließen einige bekannte Regressionen Grenzfälle bleiben, weil das Plugin sie nicht bestätigen konnte. Trail of Bits will die Beweiserhebung verbessern.

patching-bugs arbeitet mit einem dreiteiligen Nachweis: Der ursprüngliche Code muss scheitern, der gepatchte Code muss funktionieren, und das vollständige Zurückziehen des Patches muss den Fehler wiederherstellen. Das beweist, dass der Patch selbst das Problem behoben hat, nicht eine unbeobachtete Änderung. Die Reparatur soll die verletzte Sicherheitsinvariante beheben, nicht nur das gemeldete Symptom. Anschließend führt das Plugin regression-hunt für den geplanten Änderung durch.

Beiden Werkzeugen können THREAT_MODEL.md und PATCHING_GUIDELINES.md (oder AGENTS.md) aus Repositories einlesen. Das Bedrohungsmodell sollte wichtige Werte, Vertrauensgrenzen, Zugriffskontrollen, unterstützte Konfigurationen, Schwachstellenkriterien und erforderliche Belege für gültige Berichte definieren. Die Patch-Richtlinie sollte Build und Tests, Patch-Umfang und -Ort, Präsentation der Änderungen und geforderte Regressionstests beschreiben.

Für GPAC erstellte Trail of Bits projektspezifische Richtlinien, verbunden mit Pull Request 3953. Liboqs und validator.js haben Bedrohungsmodelle nach den Empfehlungen des Unternehmens veröffentlicht. Umfassendere Projektdokumentation führt zu besseren Agentenergebnissen.

Trail of Bits prüft nun, ob patching-bugs gemeldete Fehler und ihre Varianten behebt, ohne neue Regressionen einzuführen. Es wertet Ablaufdaten aus, um zu sehen, welche Regeln Codex befolgt, welche Schritte es überspringt und wo Belege schwach sind. Künftige Versionen sollten es Maintainern erlauben, zwischen minimalen Patches und umfassenderen Prüfungen mit höherer Fehlalarmrate zu wählen. Die Plugins sind bereits bei Patch-the-Planet-Arbeiten im Einsatz.