https://www.opennet.dev/openforum/vsluhforumID3/113717.html Состоялся (http://frama-c.com/frama-clang.html) релиз fragma-clang 0.0.5, плагина для Сlang на базе свободной платформы для статического анализа кода Fragma-C (http://frama-c.com/). Несмотря на то, что проект существует около года, он уже является рабочим полнофункциональным анализатором кода, написанного на языках Си и Си++, выявляющим возможные проблемы в файлах .cpp, .c++, .C, .cxx, .cc и .ii (файлы препроцессора). Плагин Fragma-C для Clang поставляется под смешанной лицензией LGPL/BSD. <br><br>URL: http://frama-c.com/frama-clang.html<br>Новость: https://www.opennet.ru/opennews/art.shtml?num=48174<br> https://www.opennet.dev/openforum/vsluhforumID3/113717.html#48 Sun, 04 Mar 2018 12:44:40 GMT &gt; Если BSDшную шапку не удалять, никакие лицензии не нарушаются. <br>&gt; А то что линуксоиды пишут свой код под GPL, логично<br><br>http://lkml.org/lkml/2007/8/28/157<br>&gt; The files are available only under GPLv2 since now.<br><br>И шапку удалил и лицензию сменил, забыв спросить авторов )<br><br>&gt; Если вы хотели коммиты назад, наверное лицензию надо было писать иначе. А <br>&gt; так - "лицензия позволяет". Так что если проприерасам можно, то и <br>&gt; остальным тоже. Задолбали со своими двойными стандартами, когда перед проприетарщиками <br>&gt; ноги раздвигаются, а остальным почему-то фига. Лицензии для всех одинаковые, ниипет. <br>&gt; Если хотите чего-то иное, вот и пишите в лицензии именно это. <br>&gt; Формализация пожеланий спасает от кучи проблем.<br><br>http://lkml.org/lkml/2007/9/5/131<br>&gt; I'm the author of the free hardware driver layer for wireless Atheros devices in OpenBSD, also known as "OpenHAL".<br>&gt; Some time ago, I got repeated requests to change the license of the code to GPL or to dual-license it but I always rejected these requests. I clea https://www.opennet.dev/openforum/vsluhforumID3/113717.html#47 Sun, 04 Mar 2018 07:39:52 GMT &gt;&gt; может быть до 30% <br><br>Здесь есть люди, которые знакомы с математикой, статистикой и пределами. Поэтому частные "может быть" здесь вряд ли таковых впечатлят. Сделайте комплексное приложение из хотя бы 5 процессов (в каждом из которых ещё и потоки работают), придумайте, как замерять его производительность (выполнение конечной задачи), тогда и хвалитесь своими парой процентов.<br> https://www.opennet.dev/openforum/vsluhforumID3/113717.html#46 Sun, 04 Mar 2018 01:28:56 GMT Кто и кого вылечит - это мы еще будем посмотреть. GPL изменил мир и не буду скрывать - очень приятно когда проприетарных жлоборасов выносит в пользу открытых решений, которые не заюимают никому ничего и не устраивают внезапные кидки. А сам факт открытости проекта как-то стал гарантировать определенные зрительские симпатии с самого начала. Давая солидные репутационные преимущества относительно жадных м...ков.<br> https://www.opennet.dev/openforum/vsluhforumID3/113717.html#45 Sun, 04 Mar 2018 01:23:26 GMT &gt; мы все помним как GPL-ный линукс умолял дать им лицензию на дрова <br>&gt; к ath wifi, OpenBSD дал.<br><br>А что значит умолял? Если BSDшную шапку не удалять, никакие лицензии не нарушаются. А то что линуксоиды пишут свой код под GPL, логично. Это и не дает им превратиться в дамп токсичных корпоративных отходов типа всяких freebsd. Куда отработанный код сливают в абы каком виде а майнтайнит это потом пусть А.С.Пушкин. А OpenBSD это вообще отличный образец - нихрена не работает, сервера оплачивает чуть ли не лично Тео, а проприетарные паразиты растаскивают код себе в норы. Так что потом Тео же и плакается выклянчивая деньги, потому что иначе дескать счета за электричество оплачивать нечем. Наверное именно так и надо взаимодействовать, когда апстрим на котором все держится - пресмыкается. Но знаете, апстриму однажды может надоесть работать работу и пресмыкаться. И тут халява для акул бизнеса может резко и внезапно закончиться.<br><br>&gt; А потом этот самый линукс зажал отдавать правки, вот же жлобы..<br><br>Если вы хотели коммиты https://www.opennet.dev/openforum/vsluhforumID3/113717.html#44 Sat, 03 Mar 2018 17:23:02 GMT &gt; А зажатый сорц вам случайно нужен не для того чтобы клиентура не <br>&gt; догадалась как вы их нае...ете феерично? :) <br><br>В этом все больные GPL-мозга. Все им кажется что их ... . это болезнь батенька.<br>Сходите к психиатру - он вылечит.<br> https://www.opennet.dev/openforum/vsluhforumID3/113717.html#43 Sat, 03 Mar 2018 17:20:06 GMT мы все помним как GPL-ный линукс умолял дать им лицензию на дрова к ath wifi, OpenBSD дал.<br>А потом этот самый линукс зажал отдавать правки, вот же жлобы..<br> https://www.opennet.dev/openforum/vsluhforumID3/113717.html#42 Sat, 03 Mar 2018 10:45:07 GMT &gt; Не люблю я подобных фраз. А вот если бы как у frama <br>&gt; удалось бы стать open & free software с возможностью коммерческой поддержки <br>&gt; - тогда бы точно цены не было!<br><br>Они отстали лет на цать. Кейл они блин поддержали и IAR :). Самые кривые да еще и платные компилеры. Вообще не понимаю зачем ими пользоваться когда gcc есть. Он бесплатный и код генерит очень даже.<br> https://www.opennet.dev/openforum/vsluhforumID3/113717.html#41 Sat, 03 Mar 2018 10:41:24 GMT &gt; У нас комплексное приложение,<br><br>Понятно, с этого надо было начинать - в отличие от конкретных пруфлинков мы не увидим от вас никакой конкретики, зато маркетингового булшита - будет.<br><br>&gt; никакой нет. Даже при программировании микроконтроллеров никто не задумывается о тестировании <br>&gt; разных компиляторов (при реальной разработке), - берут то, что работает.<br><br>Странно, почему же я тогда прогнал бенчи на cortex M3 с разными версиями gcc и ключами? Может быть, потому что мне нужен и компактный и быстрый код? И желательно все и сразу? Особенно на микроконтроллере, где камень с дополнительным объемом флеша стоит дороже :)<br><br>&gt; Не могу представить, чем нужно заниматься, чтобы примерно +/-1% разницы играл роль,<br><br>Какой к черту 1%? В зависимости от флагов, набора команд, и того бреда который компилер выдал разница может быть до 30% по коду и до пары раз по скорости. И это в пределах одного семейства компилеров, в зависимости от того насколько компилятор в неудачном месте ступил. <br> <br>&gt; при том, что в общей сумме всей https://www.opennet.dev/openforum/vsluhforumID3/113717.html#40 Sat, 03 Mar 2018 10:32:59 GMT Мы помним чем закончилась BSDшная свобода, кода всякими проприетарными бздами руки выворачивали. А потом пришел GPLный Linux - и наконец стало хорошо. Без произвола полутора корпораций.<br>