Исходное сообщение
"Серия уязвимостей в ядре OpenBSD" Отправлено Comdiv, 16-Июл-16 00:06
> типа MISRA C, который может реализовываться как компилятором так и проверкой > сорца внешней программой. Кто именно завернет билд - не принципиально. Далеко не все ограничения MISRA C могут быть проверены автоматически, но тут главное другое - MISRA, фактически, предоставляет другой язык, пусть и совместимый с Си. Также, это свидетельствует о признании проблемы со стороны промышленности. И тут интересен подход: - Выпустить нечто мало пригодное для надёжного прогаммирования. - Начать применять его для критичных к корректности задач. - Получить кучу проблем, и объявить половину возможностей небезопасными. - Выпустить об этом документ и начать продавать его за деньги. - Выпустить утилиту для проверки на соответствие документу и начать продавать его за деньги - Всё равно иметь кучу проблем, но продолжать использовать.