> man operating_systems
Вышел RTL-check 0.1.5
RTL-check - инструментарий для статического анализа программ с точки зрения безопасности и корректности. Он выполняет анализ кода на уровне RTL (Register Transfer Language), который является промежуточным представлением кода для всех языков, поддерживаемых GCC. Инструментарий был создан для исследовательского проекта, работающего над статическим анализом и обеспечением безопасной работы с памятью программ, разработанных на небезопасных языках, вроде C или C++. Анализ, например, позволяет выявить переполнения буфера или подтвердить их отсутствие.
Roman I Khimov  в  Пятница, 23 Декабрь 2005, 17:51  |   Комментарии: 0  |  для печати


Комментарии доступны только авторизованным пользователям, авторизуйтесь или зарегистрируйтесь на сайте здесь

© OSRC.info, 2004-2010.
Авторские права на любые материалы, авторы которых явно указаны, принадлежат их авторам. По вопросам публикации таких материалов обращайтесь к авторам.
Авторские права на любые другие материалы принадлежат OSRC.info.
Сайт является помещением библиотеки. Копирование, сохранение на жестком диске или иной способ сохранения произведений осуществляются пользователями на свой риск.
При использовании материалов сайта ссылка на OSRC.info обязательна.