Добро пожаловать,
Свежие материалы
Обсуждения
Микропроцессор "Эверест" (1)
Запрет регистрации на osrc.info (1)
Ответ Javе и Flash'у (70)
Новая программа поддержки от Microsoft (2)
Solaris будет портирован на Itanium и POWER? (3)
9 декабря вышла новая сборка Xameleon (9)
рассылка (2)
ЗРОС (3)
Новый стиль OSRC.info (2)
Обсуждение статьи "Взгляд на развитие YellowTAB" (124)В Сети
Гостей: 7, Пользователей: 0 ...
рекорд он-лайн: 2015
(Пользователей: 1, Гостей: 2014) в 29.03.2010 00:07
Пользователей: 1007
Новичок: alicemokas
рекорд он-лайн: 2015
(Пользователей: 1, Гостей: 2014) в 29.03.2010 00:07
Пользователей: 1007
Новичок: alicemokas
Вышел RTL-check 0.1.5
 RTL-check - инструментарий для статического анализа программ с точки зрения безопасности и корректности. Он выполняет анализ кода на уровне RTL (Register Transfer Language), который является промежуточным представлением кода для всех языков, поддерживаемых GCC. Инструментарий был создан для исследовательского проекта, работающего над статическим анализом и обеспечением безопасной работы с памятью программ, разработанных на небезопасных языках, вроде C или C++. Анализ, например, позволяет выявить переполнения буфера или подтвердить их отсутствие. |
Наши новости доступны в формате RSS.