Исходное сообщение
"OpenNews: Открытый, расширяемый инструмент проверки правил кодирования может стать частью GCC." Отправлено opennews, 29-Май-08 00:57
Разработчики, задействованные в проекте GlobalGCC (http://www.ggcc.info/) представят на саммите разработчиков GCC 2008 открытый расширяемый инструмент автоматической проверки правил кодирования C++ для GCC и надеются что он войдет в основную ветку GCC и будет расширен и на остальные языки. Проект особенно интересен тем что в отличие от известных коммерческих аналогов (Parasoft, Klocwork, Coverity), его можно адаптировать под собственные правила кодирования. Модифицированный предоставленными патчами компилятор GCC строит по программе базу знаний в виде Пролог-утверждений и затем программа на Прологе производит валидацию стиля кодирования в соответствии с правилами. В настоящий момент на Прологе реализована часть правил HICPP (High-Integrity C++), реализуются остальные правила стандарта правил кодирования и ведутся работы над созданием специализированного языка описания правил кодирования CRISP (Coding Rules In Sugared Prolog). В ходе тестирования были проанализированы проекты... URL: http://lwn.net/Articles/284112/ Новость: http://www.opennet.ru/opennews/art.shtml?num=16153