(no subject)

[ufm]

"Всего сопровождающие открытые проекты получили сведения о 1596 проблемах и подтвердили наличие 1451 уязвимостей. При этом в кодовых базах пока исправлено только 97 проблем и выпущено 88 публичных отчётов об уязвимостях."

"...патчи выходят одновременно с молоточками..."

Ну-ну...

Comments

[juan_gandhi]

Надеюсь, такую красивую тулзу и к авионике уже применяют?

[amarao]

Я ставлю на то, что там либо формальные системы (и low hanging fruits нет), либо процессо-ориентированные защиты, что означает, что AI не может пойти и сделать. Процессы дорогие, итерировать их как /goal make tests green не получится, потому что один test run стоит несколько миллионов.