Сервис для выявления логических ошибок в коде

Началось тестирование web-сервиса [URL="http://www.checkmycode.org/"]checkmycode.org[/URL], позволяющего проанализировать на предмет ошибок заданный участок кода на языке Си. [URL="http://www.checkmycode.org/index.php?action=tutorial"]Анализ[/URL] осуществляется путем выявления нарушений в типовом формировании блоков кода, путем сравнения подобных конструкций в базе знаний, построенной на основе 200 млн. строк исходных текстов различных открытых проектов. Отдельно отмечается, что система не выявляет синтаксические ошибки и предназначена исключительно для поиска логических проблем.

[INDENT][RIGHT][URL="http://www.opennet.ru/opennews/art.shtml?num=25647"]opennet.ru[/URL][/RIGHT][/INDENT]

:O

Эмм. МС у себя нечто подобное тоже применяет, если я не ошибаюсь

[url=http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis#C.2FC.2B.2B]Из Википедии[/url] на эту тему.

[url=http://www.microsoft.com/whdc/DevTools/tools/PREfast.mspx]От товарищей из Редмонда[/url].

[url=http://www.parasoft.com/jsp/products/cpptest.jsp]Еще один инструмент[/url] для профессиональных разработчиков ПО.

[url=http://www.unitesk.ru/content/category/5/13/32/]Продукт от ИСП РАН[/url]. Для тех разработчиков, которые работают в области mission-critical & realtime решений.