Исходное сообщение
"Уязвимость в oFono, эксплуатируемая через SMS" Отправлено Аноним, 21-Дек-23 19:59
> Ну переписали бы на расте "безопасном" за вечер, там на С 9000 строк кода. > Все равно код будет эволюционировать. Ты совсем не понимаешь о чем речь? Это ядро верифицировали 11 человеко-лет. "The total effort for the seL4-specific proof was 11 py." Плюс еще 9 человеко-лет для разработки методологии, фреймворков и тд. Чтобы это повторить - нужно будет потратить 6-8 человеко-лет. "We expect that re-doing a similar verification for a new kernel, using the same overall methodology, would reduce this figure to 6 py, for a total (kernel plus proof) of 8 py." Если ты хоть что-то в нем поменяешь, то придется переделывать, как минимум частично. Это не твой ####код быстренько на проде править.