Ocena jakości

Differential Oracle

2026BadawczyOpublikowano: 2 września 2026Aktualizacja: 2 września 2026Opublikowany

Programowalny test oracle uznający wejście za poprawny PoC podatności tylko, gdy powoduje awarię w buildzie sprzed łatki i nie powoduje jej w buildzie po łatce.

Kluczowa innowacja

Przeformułowuje ważność exploita/PoC jako maszynowo sprawdzalny, dwustronny predykat różnicowy między buildem sprzed i po łatce, zamieniając generację exploitów w pętlę zaproponuj–zweryfikuj–popraw.

Kategoria

Ocena jakości

Poziom abstrakcji

Wzorzec

Poziom operacji

Ewaluacja (runtime)Środowisko agentowe

Zastosowania

Automatyczna generacja dowodów podatności (PoC)Weryfikacja skuteczności łatek bezpieczeństwaTrening i ewaluacja agentów cyberbezpieczeństwaDifferential testing oprogramowania

Jak działa

Dla instancji podatności przygotowuje się dwa buildy tego samego oprogramowania: podatny (b⁻) i załatany (b⁺). Kandydujące wejście x jest uruchamiane na obu buildach z instrumentacją sanitizerem. Oracle uznaje x za poprawny PoC tylko, gdy b⁻ ulega docelowej awarii sanitizera, a b⁺ nie. Ponieważ predykat jest programowalny i rozstrzygalny, agent może testować każdego kandydata bez nadzoru; werdykt wraz ze śladem sanitizera stanowi ugruntowaną informację zwrotną, zamieniając konstrukcję PoC w wykonywalną pętlę zaproponuj–zweryfikuj–popraw.

Rozwiązany problem

Jak obiektywnie i bez nadzoru człowieka rozstrzygnąć, czy wygenerowany przez model exploit/PoC faktycznie wykorzystuje daną podatność, a nie zawiesza programu z przypadkowego powodu.