Autonomiczne systemy łączące fuzzing, analizę statyczną i modele językowe, które znajdują podatność, potwierdzają ją i generują przetestowaną łatkę.
Autonomous systems combining fuzzing, static analysis and language models that find a vulnerability, confirm it and generate a tested patch.
Zautomatyzowane systemy, które bez udziału człowieka znajdują błąd bezpieczeństwa w programie, udowadniają go i piszą poprawkę.
Automated systems that, without human help, find a security bug in a program, prove it and write the fix.
Nawet gdy błąd jest znany, jego naprawa w darmowym projekcie czeka tygodniami, bo opiekunowie mają za mało czasu.
Even once a bug is known, fixing it in a free project can wait weeks, because maintainers lack time.
Jak pogotowie techniczne, które samo zauważa wyciek, zakręca zawór, wymienia rurę i zostawia notatkę, co zrobiło.
Like an emergency repair crew that spots a leak itself, shuts the valve, replaces the pipe and leaves a note on what it did.
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.
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.