Исходное сообщение
"Дэниэл Бернштейн выступил с инициативой создания Си-компилят..." Отправлено opennews, 22-Дек-15 13:48
Дэниэл Бернштейн (Daniel J. Bernstein (http://cr.yp.to/djb.html)), известный эксперт в области криптографии и создания защищённого ПО, разработавший такие проекты, как qmail, djbdns, Ed25519, Curve25519 и ChaCha20-Poly1305, предложил (https://groups.google.com/forum/#!msg/boring-crypto/48qa1kWi... создать новый компилятор для языка Си, рассчитанный на сборку защищённого ПО. По мнению Бернштейна сообществу не хватает компилятора, который мог бы обеспечить предсказуемое поведение и предоставить чётко определённую семантику для всех ситуаций, отмеченных в стандарте Си как неопределённые (undefined (https://ru.wikipedia.org/wiki/%D0%9D%D0%... неспецифицированные (unspecified) или зависящие от конкретных реализаций. Большинство приложений используют подобные возможности, но существующие компиляторы могут трактовать их по разному, что может  привести (https://www.opennet.ru/opennews/art.shtml?num=40281) к   разным результатам при сборке в разных компиляторах, уязвимостям (https://www.opennet.ru/opennews/art.shtml?num=38293) и  непредвиденным проблемам (https://www.opennet.ru/opennews/art.shtml?num=39992). Новый компилятор мог бы стать эталоном для разработчиков на языке Си и принести большую пользу тем, кто занимается аудитом и верификацией Си-кода. URL: https://news.ycombinator.com/item?id=10772841 Новость: http://www.opennet.ru/opennews/art.shtml?num=43571