# Systemy automatycznego znajdowania i łatania błędów

EN: **Cyber reasoning systems for automated find-and-patch** · id `cyberreasoning` · aliases: cyber reasoning system, CRS, AIxCC, automated vulnerability repair, autonomiczne łatanie podatności, AI patching

Path: [AI Atlas](https://aiatlasgraph.com/llms.txt) › [AI w cyberbezpieczeństwie](https://aiatlasgraph.com/t/cyberai.md) › [Szukanie i łatanie podatności z AI](https://aiatlasgraph.com/t/vulndiscovery.md) › Systemy automatycznego znajdowania i łatania błędów

## Description

- PL: Autonomiczne systemy łączące fuzzing, analizę statyczną i modele językowe, które znajdują podatność, potwierdzają ją i generują przetestowaną łatkę.
- EN: Autonomous systems combining fuzzing, static analysis and language models that find a vulnerability, confirm it and generate a tested patch.

## In one sentence

- PL: Zautomatyzowane systemy, które bez udziału człowieka znajdują błąd bezpieczeństwa w programie, udowadniają go i piszą poprawkę.
- EN: Automated systems that, without human help, find a security bug in a program, prove it and write the fix.

## Problem it solves

- PL: Nawet gdy błąd jest znany, jego naprawa w darmowym projekcie czeka tygodniami, bo opiekunowie mają za mało czasu.
- EN: Even once a bug is known, fixing it in a free project can wait weeks, because maintainers lack time.

## What it does

- PL: Jak pogotowie techniczne, które samo zauważa wyciek, zakręca zawór, wymienia rurę i zostawia notatkę, co zrobiło.
- EN: Like an emergency repair crew that spots a leak itself, shuts the valve, replaces the pipe and leaves a note on what it did.

## Everyday example

- PL: Podczas zawodów system wskazuje błąd w bibliotece Javy, dołącza dane wywołujące awarię i proponuje łatkę sprawdzoną wobec błędu i dostępnych testów.
- EN: During a contest, a system flags a bug in a Java library, attaches the crashing input and proposes a patch checked against the bug and available tests.

## This concerns you if you…

- PL: utrzymujesz projekt open source
- PL: zarządzasz łataniem podatności w firmie
- PL: śledzisz, jak daleko sięga autonomia agentów
- EN: maintain an open-source project
- EN: manage vulnerability patching at a company
- EN: follow how far agent autonomy reaches

## Keywords

AIxCC · cyber reasoning system · Buttercup · automated program repair · proof of vulnerability · DARPA Cyber Grand Challenge · patch validation

## How it works

- PL: System uruchamia fuzzery i analizę statyczną, a modele językowe kierują poszukiwaniem, generują dane wejściowe i proponują łatki. Znalezisko potwierdza się danymi wywołującymi błąd, a poprawkę sprawdza się tymi danymi i testami projektu. DARPA poinformowała później, że wszystkie siedem systemów finalistów AIxCC udostępniono jako open source.
- EN: The system runs fuzzers and static analysis while language models steer the search, generate inputs and propose patches. A finding is confirmed with a crashing input, and a patch is checked against that input and project tests. DARPA later reported that all seven AIxCC finalist systems had been open-sourced.

## Limits

- PL: W konkursie systemy znalazły większość wstrzykniętych błędów, ale załatały wyraźnie mniej. Łatka przechodząca testy może zmienić zachowanie programu w sposób niewidoczny dla testów. Uruchomienie takiego systemu wymaga dużej mocy obliczeniowej i budżetu na modele.
- EN: In the contest, systems found most injected bugs but patched noticeably fewer. A patch that passes tests can change program behaviour in ways tests don't see. Running such a system takes substantial compute and model budget.

## Key terms

- PL: **cyber reasoning system**: Autonomiczny system obrony: znajduje, potwierdza i łata błędy.
- PL: **proof of vulnerability**: Dane wejściowe, które dowodzą istnienia błędu, wywołując awarię.
- PL: **automatyczna naprawa programów**: Generowanie poprawek kodu bez udziału programisty.
- EN: **cyber reasoning system**: An autonomous defence system that finds, confirms and patches bugs.
- EN: **proof of vulnerability**: Input that proves a bug exists by triggering a crash.
- EN: **automated program repair**: Generating code fixes without a programmer.

## Know first

- [Uprząż agenta (Agent harness)](https://aiatlasgraph.com/t/agentharness.md)
- [Autor i recenzent (Maker–checker review)](https://aiatlasgraph.com/t/makerchecker.md)

## Subtopics (1 direct, 1 in total)

- [Generowanie łatek na podatności przez modele językowe (LLM-based vulnerability patch generation)](https://aiatlasgraph.com/t/vulnpatchgen.md): Generative models propose code changes intended to repair a known vulnerability. A candidate requires functional testing and security evaluation before use.

## Related topics

Untyped, symmetric "see also" links.

- [Fuzzing wspomagany modelami językowymi (LLM-assisted fuzzing)](https://aiatlasgraph.com/t/llmfuzzing.md)

## Sources

- [AI Cyber Challenge marks pivotal inflection point for cyber defense (AIxCC final results)](<https://www.darpa.mil/news/2025/aixcc-results>) `darpa-aixcc-results-2025` · by DARPA

---

AI Atlas revision 122 (2026-10-30) · HTML: https://aiatlasgraph.com/t/cyberreasoning · index: https://aiatlasgraph.com/llms.txt · everything: https://aiatlasgraph.com/llms-full.txt · updated 2026-10-30