Исходное сообщение
"Компания Microsoft открыла систему динамической проверки ука..." Отправлено opennews, 16-Июн-16 10:15
Компания Microsoft перевела в разряд открытых проектов Checked C (http://research.microsoft.com/en-us/projects/checkedc/defaul... расширение для языка Си, вводящее дополнительные статические и динамические проверки для выявления и блокирования типовых ошибок, таких как переполнения буферов, выход за границы выделенной области памяти и некорректное приведение типов. Наработки открыты (https://github.com/Microsoft/checkedc) под лицензией MIT. Практические реализации расширения Checked C подготовлены для LLVM (https://github.com/Microsoft/checkedc-llvm) и Clang (https://github.com/Microsoft/checkedc-clang), и доступны под свободной лицензией NCSA (https://en.wikipedia.org/wiki/University_of_Illinois/NCSA_Op... (лицензия LLVM). Спецификация (https://github.com/Microsoft/checkedc/releases/download/v0.5... с описанием Checked C включает 140 страниц. Checked C вводит серию новых типов указателей и массивов, совместимых с существующими указателями и массивами, для которых во время выполнения программы производится автоматическая проверка выхода за допустимые границы. Расширение полностью обратно совместимо с имеющимся кодом на языке Си и не требует переработки программ. При помощи Checked C разработчики получают возможность дополнительно описать, как они намерены использовать указатели и блоки памяти, на которые ссылаются данные указатели. Предлагается три типа контролируемых указателей: простые указатели на фиксированные структуры, указатели на массивы известного размера и указатели на произвольные блоки памяти переменного размера. Также доступен специальный тип для создания массивов. URL: http://www.theregister.co.uk/2016/06/16/microsoft_releases_o.../ Новость: http://www.opennet.ru/opennews/art.shtml?num=44608