https://www.opennet.me/openforum/vsluhforumID3/87605.html Агентство по перспективным оборонным научно-исследовательским разработкам США (DARPA) начало (http://www.phoronix.com/scan.php?page=news_item&px=MTI0MDc) проект по разработке фреймворка для анализа исходных текстов C/C++ приложений с целью автоматизированного выявления уязвимостей и ошибок, влияющих на безопасность. Фреймворк использует в своей работе возможности виртуальной машины LLVM (http://llvm.org/), компилятора Clang и отладчика LLDB.<br><br><br>Начатый в рамках инициативы Cyber Fast Track, проект базируется на технологиях LLVM и включает в себя как средства для статического анализа кода, так и функциональность динамического анализатора состояния, а также фаззера. Фреймворк написан на языке Python и может быть легко расширен за счет сторонних модулей. На данный момент код проекта закрыт и никакой документации, кроме 41-страничной презентации (http://llvm.org/devmtg/2012-11/Carlson-FromSource.pdf) не существует. После окончания разработки планируется перевести фреймворк в разряд открытых продуктов.<br><br><br>URL: ht https://www.opennet.me/openforum/vsluhforumID3/87605.html#105 Tue, 11 Dec 2012 06:22:03 GMT &gt;&gt;&gt;&gt;Соответственно, и GCC не при делах.<br>&gt;&gt;&gt; Продукт сделан на основе GCC. Продукт закрытый, <br>&gt;&gt; Да. И да.<br><br>---^^^ &lt;Первое "Да".<br><br>&gt;&gt;&gt; но в виде исключения FSF предоставило право не соблюдать лицензию GPL (точнее <br>&gt;&gt;&gt; лицензировали gcc под другой лицензией) <br>&gt;&gt; А это ложь. //И успехов Вам в поисках пруфов.<br><br>Приведёте ссылку на то, что _FSF давала **кому бы то ни было** gcc, или любой из проектов в GNU?, под специально отпроприертаренной лицензией вместо GPL?<br><br>Про расширение прав на линковку плагинов не надо: это не перелицензирование _в_виде_исключения_ для одного проприертарщика. И было это "слегка после" Coverity и GPLv3.<br><br>&gt; Стыдно не знать историю.<br>&gt; http://lwn.net/Articles/174769/ <br><br>Там в статье написано, что не откроют соурс. Первое "да" видишь? Ну делали они _в начале_ на основе gcc. Лицензию не нарушили. Я не говорю, что это "хорошо", я хочу сказать, что _ничего _с _этим _не _сделать. Внутреннее использование без распространения. Дыра в *обход* лицензии а-ля подвиги нВидия.<br><br>"""of the pre https://www.opennet.me/openforum/vsluhforumID3/87605.html#104 Mon, 10 Dec 2012 23:28:32 GMT только дурацкие.<br> https://www.opennet.me/openforum/vsluhforumID3/87605.html#103 Mon, 10 Dec 2012 23:28:03 GMT &gt; &#8230;да так, что сам лезешь туда, где эти редкие зверьки обитают?<br><br>ну так зачем вы сюда лезете-то?<br><br>&gt; Какое милое передергивание. Лицензии на код &#8212; это то, чего от тебя <br>&gt; не убудет, если поделишься. В отличие от кредитки.<br><br>я и не сомневался, что не поймёшь.<br><br>&gt; Только ты что-то на этот круг не похож.<br><br>ты себе даже представить не можешь, как я рад, что не состою у тебя в списке &#171;хороших людей&#187;.<br><br>&gt; Это называется бревно в своем глазу. Упорно обвиняешь других в том, <br>&gt; в чем повинен сам. Ненавязчиво передернул с BSDL на Apple, и <br>&gt; теперь, дескать, вред. Продолжай.<br><br>q.e.d.<br> https://www.opennet.me/openforum/vsluhforumID3/87605.html#102 Mon, 10 Dec 2012 21:52:24 GMT &gt;&gt; Лично тебе существование BSDL мешает?<br>&gt; нет. а вот её фанбои &#8212; да.<br><br>...да так, что сам лезешь туда, где эти редкие зверьки обитают? Мазохист, не иначе. "А вы на шкаф залезьте".<br><br>&gt;&gt; Для тех, кто действительно готов делиться, вот для тех BSDL. Чистый альтруизм, <br>&gt;&gt; &#171;счастье для всех, даром, и пусть никто не уйдет обиженный&#187;. А <br>&gt;&gt; в GPL меркантильность под вывеской добра!<br>&gt; номера своей кредитки не дашь, альтруист? а то мне как раз кое-что <br>&gt; прикупить надо.<br><br>Какое милое передергивание. Лицензии на код - это то, чего от тебя не убудет, если поделишься. В отличие от кредитки.<br><br>P.S. Я с хорошими людьми и деньгами делился, в размере больше ползарплаты, неоднократно. Только ты что-то на этот круг не похож.<br><br>&gt;&gt; Еще б ты смог этот бред доказать, лол.<br>&gt; патенты огрызка &#8212; поддержка добра, конечно же. поэтому любая польза для огрызка <br>&gt; &#8212; это поддержка добра при помощи патентов огрызка. на прямоугольник, на <br>&gt; листание. сплошная польза для всех.<br>&gt; впрочем, когда дело касае https://www.opennet.me/openforum/vsluhforumID3/87605.html#101 Mon, 10 Dec 2012 21:41:31 GMT Да-да, и неудобные вопросы ты тоже игнорируешь. Известное дело.<br> https://www.opennet.me/openforum/vsluhforumID3/87605.html#100 Mon, 10 Dec 2012 21:22:43 GMT (задумчиво) интересно, как бы у тебя треснул шаблон, если бы ты узнал, что кроме использования мной WTFPL в качестве основной лицензии я ещё и авторов некоторых проектов убедил внести её в список &#171;допустимых свободных&#187;. BSDL-щики просто фашисты какие-то с точки зрения WTFPL-щика.<br><br>впрочем, на слово ты не поверишь, а доказывать я не собираюсь.<br> https://www.opennet.me/openforum/vsluhforumID3/87605.html#99 Mon, 10 Dec 2012 21:18:02 GMT &gt; Лично тебе существование BSDL мешает?<br><br>нет. а вот её фанбои &#8212; да.<br><br>&gt; Для тех, кто действительно готов делиться, вот для тех BSDL. Чистый альтруизм, <br>&gt; &#171;счастье для всех, даром, и пусть никто не уйдет обиженный&#187;. А <br>&gt; в GPL меркантильность под вывеской добра!<br><br>номера своей кредитки не дашь, альтруист? а то мне как раз кое-что прикупить надо.<br><br>&gt; Еще б ты смог этот бред доказать, лол.<br><br>патенты огрызка &#8212; поддержка добра, конечно же. поэтому любая польза для огрызка &#8212; это поддержка добра при помощи патентов огрызка. на прямоугольник, на листание. сплошная польза для всех.<br><br>впрочем, когда дело касается твоей священной коровы, у тебя мышление отказывает, остаются только рефлексы, я знаю. поэтому тебе хоть сто раз поясняй, хоть кол теши.<br> https://www.opennet.me/openforum/vsluhforumID3/87605.html#98 Mon, 10 Dec 2012 20:38:18 GMT &gt;&gt; Какая в конце концов разница GPL или BSDL <br>&gt; большая.<br><br>Лично тебе существование BSDL мешает? ЗАССД.<br><br>&gt;&gt; Была бы польза&#8230; <br>&gt; для кого? GPL &#8212; это польза в первую очередь для тех, кто <br>&gt; готов делиться. а BSDL &#8212; &#171;нам ваще пофигу, нас прикалывает буковки <br>&gt; писать&#187;. вполне логично, что это два разных лагеря.<br><br>Для тех, кто действительно готов делиться, вот для тех BSDL. Чистый альтруизм, "счастье для всех, даром, и пусть никто не уйдет обиженный". А в GPL меркантильность под вывеской добра!<br><br>&gt;&gt; В конце концов порождается здоровая конкуренция между проектами, которая в конечном <br>&gt;&gt; счете приносит пользу всем.<br>&gt; польза, принесённая огрызку == вред всем остальным.<br><br>Еще б ты смог этот бред доказать, лол.<br> https://www.opennet.me/openforum/vsluhforumID3/87605.html#97 Sat, 08 Dec 2012 20:53:21 GMT &gt;&gt;&gt;Соответственно, и GCC не при делах.<br>&gt;&gt; Продукт сделан на основе GCC. Продукт закрытый, <br>&gt; Да. И да.<br>&gt;&gt; но в виде исключения FSF предоставило право не соблюдать лицензию GPL (точнее <br>&gt;&gt; лицензировали gcc под другой лицензией) <br>&gt; А это ложь. //И успехов Вам в поисках пруфов.<br><br>Стыдно не знать историю.<br>http://lwn.net/Articles/174769/<br>Собственно по оригинальной лицензии на внутреннее состояние gcc в виде xml - тоже накладываются ограничения. А первые версии Coverity вообще были gcc based.<br><br><br>