Статический анализ кода
Кто какие бесплатные(!) ну или..кхм.. условно бесплатные тулзы знает для анализа С-кода на предмет багов вроде переполнения буфера. Можно не шибко мощное и навороченные, главный критерий - бесплатность, ну или наличие... посторонних приложений для бесплатности =)
для линуксы есть такая вещь как Frama-C кажется... вроде то что тебе надо, не знаю портировано ли оно на форточку, погугли.
ЗЫ: засмотрел, под форточку собирается ручками из сорсов, ман по сборке есть у них на вики.
ЗЫ: засмотрел, под форточку собирается ручками из сорсов, ман по сборке есть у них на вики.
Бесплатная лицензия на статический анализатор PVS-Studio для разработчиков, блоггеров и авторов статей в тематических IT изданиях:
http://www.viva64.com/ru/b/0092/
http://www.viva64.com/ru/b/0092/
Не совсем то, но упомяну:
http://research.microsoft.com/en-us/projects/vcc/
http://vcc.codeplex.com/
Насколько мне известно, VCC вовсю используется Мелкософтом при написании драйверов для Винды.
http://research.microsoft.com/en-us/projects/vcc/
http://vcc.codeplex.com/
Насколько мне известно, VCC вовсю используется Мелкософтом при написании драйверов для Винды.