https://us.icncd.dev/openforum/vsluhforumID3/42034.html Разработчики, задействованные в проекте GlobalGCC (http://www.ggcc.info/) представят на саммите разработчиков GCC 2008 открытый расширяемый инструмент автоматической проверки правил кодирования C++ для GCC и надеются что он войдет в основную ветку GCC и будет расширен и на остальные языки.<br>Проект особенно интересен тем что в отличие от известных коммерческих аналогов (Parasoft, Klocwork, Coverity), его можно адаптировать под собственные правила кодирования.<br><br><br>Модифицированный предоставленными патчами компилятор GCC строит по программе базу знаний в виде Пролог-утверждений и затем программа на Прологе производит валидацию стиля кодирования в соответствии с правилами.<br>В настоящий момент на Прологе реализована часть правил HICPP (High-Integrity C++), реализуются остальные правила стандарта правил кодирования и ведутся работы над созданием специализированного языка описания правил кодирования CRISP (Coding Rules In Sugared Prolog).<br><br><br><br>В ходе тестирования были проанализированы проекты...<br><br>URL: http://lwn.net https://us.icncd.dev/openforum/vsluhforumID3/42034.html#23 Thu, 29 May 2008 21:04:59 GMT &gt;ммм.. то, что под чёрточками - это программа юзкейса на прологе :-? <br><br>Да нет, МатАнал 1-й курс. :) <br> https://us.icncd.dev/openforum/vsluhforumID3/42034.html#22 Thu, 29 May 2008 21:03:18 GMT &gt;На prolog кто-нибудь пишет? <br><br>Ага, ядро Linux портируем на Visal Mono Sharp Prolog++ .NEту# <br><br><br> https://us.icncd.dev/openforum/vsluhforumID3/42034.html#21 Thu, 29 May 2008 20:43:47 GMT &gt; Сам не выкуришь, <br>&gt;другие отнимут. <br>&gt;<br>&gt;--------------------------------- <br>&gt;<br><br>ммм.. то, что под чёрточками - это программа юзкейса на прологе :-?<br><br>// wbr<br> https://us.icncd.dev/openforum/vsluhforumID3/42034.html#20 Thu, 29 May 2008 18:48:56 GMT На prolog кто-нибудь пишет?<br> https://us.icncd.dev/openforum/vsluhforumID3/42034.html#19 Thu, 29 May 2008 18:35:26 GMT а мужики то клюют! :-)<br> https://us.icncd.dev/openforum/vsluhforumID3/42034.html#18 Thu, 29 May 2008 17:58:25 GMT Хорошая новость. Спасибо!<br><br><br> https://us.icncd.dev/openforum/vsluhforumID3/42034.html#17 Thu, 29 May 2008 17:14:55 GMT У Светочки одна пробма - autotools в каждом коменте пишет. =)<br> https://us.icncd.dev/openforum/vsluhforumID3/42034.html#16 Thu, 29 May 2008 16:20:33 GMT Autotools = MUST DIE!!! Они медленные, часто скрипт весит больше самой программы, ужасно работают под Windows (пусть у Windows много недостатков, но многие ей пользуются), при этом сама программа может не использовать платформенно-зависимые API и, соответственно, нормально работать и в Linux, и в Windows, но из-за automustdie компиляция программы под Windows может стать кошмаром. Чем не подходит cmake или scons в качестве замены - не знаю? Вполне нормальные современные системы сборки. Может быть их не используют из-за их объектно-ориентированности (ведь настоящие программы пишут только на C, bash и m4 :] )? Или из-за того, что какой-нибудь пользователь соберет их под так многими нелюбимом Windows? Как же так, то возможно бы он GNU/Linux поставил, а тут так и будет пользоваться проприетарщиной.<br> https://us.icncd.dev/openforum/vsluhforumID3/42034.html#15 Thu, 29 May 2008 15:24:27 GMT &gt;Use Python babe !:-) <br><br>Python? А какое он имеет отношение к программированию? ;-)<br>