Новость: Вышел RTL-check 0.1.5
(Категория: Разработка)
Добавил Roman I Khimov
Пятница, 23 Декабрь 2005, 17:51
RTL-check - инструментарий для статического анализа программ с точки зрения безопасности и корректности. Он выполняет анализ кода на уровне RTL (Register Transfer Language), который является промежуточным представлением кода для всех языков, поддерживаемых GCC. Инструментарий был создан для исследовательского проекта, работающего над статическим анализом и обеспечением безопасной работы с памятью программ, разработанных на небезопасных языках, вроде C или C++. Анализ, например, позволяет выявить переполнения буфера или подтвердить их отсутствие.
Источник этой новости Центр информации по операционным системам
( http://www.osrc.info/news.php?extend.3499 )
(Категория: Разработка)
Добавил Roman I Khimov
Пятница, 23 Декабрь 2005, 17:51
RTL-check - инструментарий для статического анализа программ с точки зрения безопасности и корректности. Он выполняет анализ кода на уровне RTL (Register Transfer Language), который является промежуточным представлением кода для всех языков, поддерживаемых GCC. Инструментарий был создан для исследовательского проекта, работающего над статическим анализом и обеспечением безопасной работы с памятью программ, разработанных на небезопасных языках, вроде C или C++. Анализ, например, позволяет выявить переполнения буфера или подтвердить их отсутствие.
Источник этой новости Центр информации по операционным системам
( http://www.osrc.info/news.php?extend.3499 )