forum.opennet.ru - "Релиз свободного статического анализатора кода fragma-clang ..." (43)

"Релиз свободного статического анализатора кода fragma-clang ..."

Форум Разговоры, обсуждение новостей
Вариант для распечатки		Пред. тема \| След. тема
Изначальное сообщение		[ Отслеживать ]

"Релиз свободного статического анализатора кода fragma-clang ..."	+/–
Сообщение от opennews (??) on 02-Мрт-18, 09:19
Состоялся (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. URL: http://frama-c.com/frama-clang.html Новость: https://www.opennet.me/opennews/art.shtml?num=48174
Ответить \| Правка \| Cообщить модератору

Оглавление

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 09:19 , 02-Мрт-18, (1) –4

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 09:35 , 02-Мрт-18, (2) –14

Релиз свободного статического анализатора кода fragma-clang ..., Ne01eX, 09:49 , 02-Мрт-18, (5) +1

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 19:08 , 02-Мрт-18, (30) +1

Релиз свободного статического анализатора кода fragma-clang ..., Mezozoysky, 12:06 , 02-Мрт-18, (15)

Релиз свободного статического анализатора кода fragma-clang ..., Ю.Т., 15:05 , 02-Мрт-18, (24) –3

Релиз свободного статического анализатора кода fragma-clang ..., Mezozoysky, 15:31 , 02-Мрт-18, (25)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 17:10 , 02-Мрт-18, (29)
Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 13:32 , 03-Мрт-18, (40) –1

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 20:20 , 03-Мрт-18, (43)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 04:23 , 04-Мрт-18, (45)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 15:44 , 04-Мрт-18, (48)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 17:09 , 02-Мрт-18, (28) +1

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 19:29 , 02-Мрт-18, (31) –1

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 20:15 , 02-Мрт-18, (32)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 21:06 , 02-Мрт-18, (33) –1

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 13:41 , 03-Мрт-18, (41) –1

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 20:23 , 03-Мрт-18, (44)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 04:28 , 04-Мрт-18, (46)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 10:39 , 04-Мрт-18, (47)

Релиз свободного статического анализатора кода fragma-clang ..., Ne01eX, 09:41 , 02-Мрт-18, (4) –1

Релиз свободного статического анализатора кода fragma-clang ..., sadasd, 16:33 , 02-Мрт-18, (27) –1

Релиз свободного статического анализатора кода fragma-clang ..., x0r, 10:14 , 02-Мрт-18, (6) +1

Релиз свободного статического анализатора кода fragma-clang ..., Ne01eX, 11:03 , 02-Мрт-18, (11)

Релиз свободного статического анализатора кода fragma-clang ..., x0r, 11:21 , 02-Мрт-18, (13) –1

Релиз свободного статического анализатора кода fragma-clang ..., Вареник, 10:15 , 02-Мрт-18, (7) +3
Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 10:25 , 02-Мрт-18, (9)

Релиз свободного статического анализатора кода fragma-clang ..., Ne01eX, 10:40 , 02-Мрт-18, (10) +1

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 13:06 , 02-Мрт-18, (18)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 11:24 , 02-Мрт-18, (14) +3

Релиз свободного статического анализатора кода fragma-clang ..., leap42, 12:46 , 02-Мрт-18, (16) +2

Релиз свободного статического анализатора кода fragma-clang ..., Анонис, 13:03 , 02-Мрт-18, (17) –2

Релиз свободного статического анализатора кода fragma-clang ..., leap42, 15:52 , 02-Мрт-18, (26)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 13:08 , 02-Мрт-18, (19) –3

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 13:21 , 02-Мрт-18, (20)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 13:38 , 02-Мрт-18, (21) +1

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 13:52 , 02-Мрт-18, (22) +1

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 14:06 , 02-Мрт-18, (23)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 21:14 , 02-Мрт-18, (34)

Релиз свободного статического анализатора кода fragma-clang ..., Andrey_Karpov, 22:15 , 02-Мрт-18, (35) –1

Релиз свободного статического анализатора кода fragma-clang ..., Andrey_Karpov, 22:19 , 02-Мрт-18, (36) –3

Релиз свободного статического анализатора кода fragma-clang ..., Андрей, 03:02 , 03-Мрт-18, (38)

Релиз свободного статического анализатора кода fragma-clang ..., Аноним, 13:45 , 03-Мрт-18, (42)

Сообщения по теме [Сортировка по времени | RSS]

1. "Релиз свободного статического анализатора кода fragma-clang ..." –4 +/–

Сообщение от Аноним (??) on 02-Мрт-18, 09:19

"Гори-гори ясно, чтобы не погасло!"

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

2. "Релиз свободного статического анализатора кода fragma-clang ..." –14 +/–

Сообщение от Аноним (??) on 02-Мрт-18, 09:35

Гори оно огнём, если там шланг.

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

5. "Релиз свободного статического анализатора кода fragma-clang ..." +1 +/–

Сообщение от Ne01eX (ok) on 02-Мрт-18, 09:49

> Гори оно огнём, если там шланг.
Fragma-C отдельный статический анализатор. fragma-clang отдельный плагин для Clang. Мухи отдельно, котлеты отдельно.

Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

30. "Релиз свободного статического анализатора кода fragma-clang ..." +1 +/–

Сообщение от Аноним (??) on 02-Мрт-18, 19:08

Он не fragma, а frama.

Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

15. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Mezozoysky on 02-Мрт-18, 12:06

Пардон за оффтоп. А в чем проблема шланга? 4 года использую, как основной компилятор на работе и дома и за это время не уловил, чем он принципиально хуже гцц. Поясните, плз, если не сложно.

Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

24. "Релиз свободного статического анализатора кода fragma-clang ..." –3 +/–

Сообщение от Ю.Т. on 02-Мрт-18, 15:05

Мол, несвободный в сымсле ГПЛ.

Ответить | Правка | ^ к родителю #15 | Наверх | Cообщить модератору

25. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Mezozoysky on 02-Мрт-18, 15:31

Странная история. У них годная свободная лицензия - свободная, в том числе, от ограничений копилефта. Не вижу проблемы здесь.

Ответить | Правка | ^ к родителю #24 | Наверх | Cообщить модератору

29. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 02-Мрт-18, 17:10

> Не вижу проблемы здесь.
А она есть.

Ответить | Правка | ^ к родителю #25 | Наверх | Cообщить модератору

40. "Релиз свободного статического анализатора кода fragma-clang ..." –1 +/–

Сообщение от Аноним (??) on 03-Мрт-18, 13:32

Мы помним чем закончилась BSDшная свобода, кода всякими проприетарными бздами руки выворачивали. А потом пришел GPLный Linux - и наконец стало хорошо. Без произвола полутора корпораций.

Ответить | Правка | ^ к родителю #25 | Наверх | Cообщить модератору

43. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 03-Мрт-18, 20:20

мы все помним как GPL-ный линукс умолял дать им лицензию на дрова к ath wifi, OpenBSD дал.
А потом этот самый линукс зажал отдавать правки, вот же жлобы..

Ответить | Правка | ^ к родителю #40 | Наверх | Cообщить модератору

45. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 04-Мрт-18, 04:23

> мы все помним как GPL-ный линукс умолял дать им лицензию на дрова
> к ath wifi, OpenBSD дал.
А что значит умолял? Если BSDшную шапку не удалять, никакие лицензии не нарушаются. А то что линуксоиды пишут свой код под GPL, логично. Это и не дает им превратиться в дамп токсичных корпоративных отходов типа всяких freebsd. Куда отработанный код сливают в абы каком виде а майнтайнит это потом пусть А.С.Пушкин. А OpenBSD это вообще отличный образец - нихрена не работает, сервера оплачивает чуть ли не лично Тео, а проприетарные паразиты растаскивают код себе в норы. Так что потом Тео же и плакается выклянчивая деньги, потому что иначе дескать счета за электричество оплачивать нечем. Наверное именно так и надо взаимодействовать, когда апстрим на котором все держится - пресмыкается. Но знаете, апстриму однажды может надоесть работать работу и пресмыкаться. И тут халява для акул бизнеса может резко и внезапно закончиться.
> А потом этот самый линукс зажал отдавать правки, вот же жлобы..
Если вы хотели коммиты назад, наверное лицензию надо было писать иначе. А так - "лицензия позволяет". Так что если проприерасам можно, то и остальным тоже. Задолбали со своими двойными стандартами, когда перед проприетарщиками ноги раздвигаются, а остальным почему-то фига. Лицензии для всех одинаковые, ниипет. Если хотите чего-то иное, вот и пишите в лицензии именно это. Формализация пожеланий спасает от кучи проблем.

Ответить | Правка | ^ к родителю #43 | Наверх | Cообщить модератору

48. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 04-Мрт-18, 15:44

> Если BSDшную шапку не удалять, никакие лицензии не нарушаются.
> А то что линуксоиды пишут свой код под GPL, логично
http://lkml.org/lkml/2007/8/28/157
> The files are available only under GPLv2 since now.
И шапку удалил и лицензию сменил, забыв спросить авторов )
> Если вы хотели коммиты назад, наверное лицензию надо было писать иначе. А
> так - "лицензия позволяет". Так что если проприерасам можно, то и
> остальным тоже. Задолбали со своими двойными стандартами, когда перед проприетарщиками
> ноги раздвигаются, а остальным почему-то фига. Лицензии для всех одинаковые, ниипет.
> Если хотите чего-то иное, вот и пишите в лицензии именно это.
> Формализация пожеланий спасает от кучи проблем.
http://lkml.org/lkml/2007/9/5/131
> I'm the author of the free hardware driver layer for wireless Atheros devices in OpenBSD, also known as "OpenHAL".
> 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 clearly explained my reasons against dual-licensing in the past. It needed some time, but it had seemed to me that the involved people had finally accepted my decision.
Ответ на вопрос автора
>> - Are there any plans to release the "ath5k" code using a modified/"extended" license?
> No.
Смотрите дети внимательно! Двойные стандарты, это теперь вот так!
Главное, не забыть первым упрекнуть в использовании двойных стандартов )

Ответить | Правка | ^ к родителю #45 | Наверх | Cообщить модератору

28. "Релиз свободного статического анализатора кода fragma-clang ..." +1 +/–

Сообщение от Аноним (??) on 02-Мрт-18, 17:09

Clang производит объектный код, который медленнее и больше чем объектный код, производимый GCC. Особенно для не-х86.
Немного пруфлинков:
https://github.com/android-ndk/ndk/issues/495
https://github.com/android-ndk/ndk/issues/21
https://github.com/android-ndk/ndk/issues/133

Ответить | Правка | ^ к родителю #15 | Наверх | Cообщить модератору

31. "Релиз свободного статического анализатора кода fragma-clang ..." –1 +/–

Сообщение от Аноним (??) on 02-Мрт-18, 19:29

Выглядит не очень убедительно. По одной ссылке просела скорость, а про размер ничего не говорится. По другой вырос размер, но скорость увеличилась. По третьей тоже вырос размер, но гораздо меньше. Логично предположить, что это нормальные флуктуации; у кого-то наверняка с clang стало лучше, но они, естественно, не идут на это жаловаться в багтрекер.

Ответить | Правка | ^ к родителю #28 | Наверх | Cообщить модератору

32. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 02-Мрт-18, 20:15

Мой опыт подтверждает, что Clang генерит код хуже, чем GCC. И по скорости, и по размеру. Итого, у меня есть мой опыт и 3 ссылки, а у вас только недоверие к моим ссылкам.
У Мозиллы на Андроиде бинарник на 30% больше с Clang-ом, чем с GCC - это неубедительно? Ну ОК.
Если хотите, чтоб было убедительно - проведите свои тесты, опубликуйте результаты, всем будет полезно.

Ответить | Правка | ^ к родителю #31 | Наверх | Cообщить модератору

33. "Релиз свободного статического анализатора кода fragma-clang ..." –1 +/–

Сообщение от Аноним (??) on 02-Мрт-18, 21:06

У нас комплексное приложение, которое требовательно по части производительности и по потреблению памяти (embedded). Так вот, ощутимой разницы между gcc и clang абсолютно никакой нет. Даже при программировании микроконтроллеров никто не задумывается о тестировании разных компиляторов (при реальной разработке), - берут то, что работает.
Не могу представить, чем нужно заниматься, чтобы примерно +/-1% разницы играл роль, при том, что в общей сумме всей частей приложения скорее всего разница будет стремиться к нулю.

Ответить | Правка | ^ к родителю #32 | Наверх | Cообщить модератору

41. "Релиз свободного статического анализатора кода fragma-clang ..." –1 +/–

Сообщение от Аноним (??) on 03-Мрт-18, 13:41

> У нас комплексное приложение,
Понятно, с этого надо было начинать - в отличие от конкретных пруфлинков мы не увидим от вас никакой конкретики, зато маркетингового булшита - будет.
> никакой нет. Даже при программировании микроконтроллеров никто не задумывается о тестировании
> разных компиляторов (при реальной разработке), - берут то, что работает.
Странно, почему же я тогда прогнал бенчи на cortex M3 с разными версиями gcc и ключами? Может быть, потому что мне нужен и компактный и быстрый код? И желательно все и сразу? Особенно на микроконтроллере, где камень с дополнительным объемом флеша стоит дороже :)
> Не могу представить, чем нужно заниматься, чтобы примерно +/-1% разницы играл роль,
Какой к черту 1%? В зависимости от флагов, набора команд, и того бреда который компилер выдал разница может быть до 30% по коду и до пары раз по скорости. И это в пределах одного семейства компилеров, в зависимости от того насколько компилятор в неудачном месте ступил.

> при том, что в общей сумме всей частей приложения скорее всего
> разница будет стремиться к нулю.
Гугля вон в своем кодеке давится за 0.03% улучшений а вам, значит, 1% не величина? Ну вот поэтому где гугл, а где вы. Хотя кто б спорил - впарить гамна за много денег любители "комплексных приложений" размахивающие BSDшными свободами любят.
А зажатый сорц вам случайно нужен не для того чтобы клиентура не догадалась как вы их нае...ете феерично? :)

Ответить | Правка | ^ к родителю #33 | Наверх | Cообщить модератору

44. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 03-Мрт-18, 20:23

> А зажатый сорц вам случайно нужен не для того чтобы клиентура не
> догадалась как вы их нае...ете феерично? :)
В этом все больные GPL-мозга. Все им кажется что их ... . это болезнь батенька.
Сходите к психиатру - он вылечит.

Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору

46. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 04-Мрт-18, 04:28

Кто и кого вылечит - это мы еще будем посмотреть. GPL изменил мир и не буду скрывать - очень приятно когда проприетарных жлоборасов выносит в пользу открытых решений, которые не заюимают никому ничего и не устраивают внезапные кидки. А сам факт открытости проекта как-то стал гарантировать определенные зрительские симпатии с самого начала. Давая солидные репутационные преимущества относительно жадных м...ков.

Ответить | Правка | ^ к родителю #44 | Наверх | Cообщить модератору

47. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 04-Мрт-18, 10:39

>> может быть до 30%
Здесь есть люди, которые знакомы с математикой, статистикой и пределами. Поэтому частные "может быть" здесь вряд ли таковых впечатлят. Сделайте комплексное приложение из хотя бы 5 процессов (в каждом из которых ещё и потоки работают), придумайте, как замерять его производительность (выполнение конечной задачи), тогда и хвалитесь своими парой процентов.

Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору

4. "Релиз свободного статического анализатора кода fragma-clang ..." –1 +/–

Сообщение от Ne01eX (ok) on 02-Мрт-18, 09:41

Не погаснет, я думаю. :-) В отличии от проприетарных продуктов, здесь есть полная возможность для развития (как плагина для Сlang, так и Fragma-С) силами сообщества. :-)

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

27. "Релиз свободного статического анализатора кода fragma-clang ..." –1 +/–

Сообщение от sadasd on 02-Мрт-18, 16:33

Силами сообщества можно развивать что-то небольшое, а такие крупные вещи как компилятор только сообществом не разовьешь. Вот и получается, что корпорасты забирают то что делает сообщество, а свое держат при себе. В том-же GCC вечно патчи то от Intel, то еще от кого появляются.
Тот-же illumos сильно силами сообщества развивается?

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

6. "Релиз свободного статического анализатора кода fragma-clang ..." +1 +/–

Сообщение от x0r (??) on 02-Мрт-18, 10:14

Классная штука, но похоже задолбаешься собирать

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

11. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Ne01eX (ok) on 02-Мрт-18, 11:03

А под какой дистрибутив надо?

Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

13. "Релиз свободного статического анализатора кода fragma-clang ..." –1 +/–

Сообщение от x0r (??) on 02-Мрт-18, 11:21

centos 6

Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

7. "Релиз свободного статического анализатора кода fragma-clang ..." +3 +/–

Сообщение от Вареник on 02-Мрт-18, 10:15

Успехов проекту!

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

9. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 02-Мрт-18, 10:25

Как оно в сравнении со scan-build?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

10. "Релиз свободного статического анализатора кода fragma-clang ..." +1 +/–

Сообщение от Ne01eX (ok) on 02-Мрт-18, 10:40

Да вроде не делал никто таких сравнений. Ниша свободна, можете попробовать fragma-clang и отписаться по результатам. Будьте первопроходцем. :-)

Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

18. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 02-Мрт-18, 13:06

Не, не буду. Вспомнил, что пробовал его безо всяких шлангов. Чтобы был толк, надо добавлять в код ACSL-аннотации, иначе вывалит кучу фолсов. То есть годится только при написании новых проектов с нуля, если готов заморочиться.

Ответить | Правка | ^ к родителю #10 | Наверх | Cообщить модератору

14. "Релиз свободного статического анализатора кода fragma-clang ..." +3 +/–

Сообщение от Аноним (??) on 02-Мрт-18, 11:24

PVS-Studioкапец?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

16. "Релиз свободного статического анализатора кода fragma-clang ..." +2 +/–

Сообщение от leap42 (ok) on 02-Мрт-18, 12:46

ещё с момента появления
cppcheck -q -x c --enable=all --suppress=missingIncludeSystem .
прост у cppcheck отдел маркетинга послабее

Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

17. "Релиз свободного статического анализатора кода fragma-clang ..." –2 +/–

Сообщение от Анонис on 02-Мрт-18, 13:03

нету такой опции -x

Ответить | Правка | ^ к родителю #16 | Наверх | Cообщить модератору

26. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от leap42 (ok) on 02-Мрт-18, 15:52

--language=<language>, -x <language>
Forces cppcheck to check all files as the given
cppcheck-1.80-1.fc26.x86_64

Ответить | Правка | ^ к родителю #17 | Наверх | Cообщить модератору

19. "Релиз свободного статического анализатора кода fragma-clang ..." –3 +/–

Сообщение от Аноним (??) on 02-Мрт-18, 13:08

> прост у cppcheck отдел маркетинга послабее
cppcheck — искючительно примитивный инструмент. Какие-то элементарные ошибки он вылавливает, конечно, но это совершенно не та весовая категория. Вот scan-build вполне может с пивасом потягаться.

Ответить | Правка | ^ к родителю #16 | Наверх | Cообщить модератору

20. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 02-Мрт-18, 13:21

cppcheck умеет согласно Wikipedia (https://ru.wikipedia.org/wiki/Cppcheck)
Проверяет выход за пределы.
Обнаруживает утечки памяти.
Обнаруживает возможное разыменовывание NULL-указателей.
Обнаруживает неинициализированные переменные.
Обнаруживает неправильное использование STL.
Проверяет обработку исключительных ситуаций на безопасность.
Находит устаревшие и неиспользуемые функции.
Предупреждает о неиспользуемом или бесполезном коде.
Находит подозрительные участки кода, которые могут содержать в себе ошибки.
+ можно писать модули расширения га ЛЮБЫЕ проверки

Ответить | Правка | ^ к родителю #19 | Наверх | Cообщить модератору

21. "Релиз свободного статического анализатора кода fragma-clang ..." +1 +/–

Сообщение от Аноним (??) on 02-Мрт-18, 13:38

> согласно Wikipedia
То есть на практике ты его применять не пробовал.

Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

22. "Релиз свободного статического анализатора кода fragma-clang ..." +1 +/–

Сообщение от Аноним (??) on 02-Мрт-18, 13:52

Прямо сейчас использую. Мои новичковые ошибки ловит.

Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

23. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 02-Мрт-18, 14:06

Новичковые ловит, да. В хелловорлдах. Когда доходит до хитрой разветвлённой логики — ловит уже хуже.
Я не к тому, что cppcheck не надо использовать. Польза от него есть. Но надо и понимать его ограниченность.

Ответить | Правка | ^ к родителю #22 | Наверх | Cообщить модератору

34. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 02-Мрт-18, 21:14

> Новичковые ловит, да. В хелловорлдах. Когда доходит до хитрой разветвлённой логики —
> ловит уже хуже.
> Я не к тому, что cppcheck не надо использовать. Польза от него
> есть. Но надо и понимать его ограниченность.
Используем на практике. Каждый коммит автоматом проходит проверку. Не проходит, - нет коммита. Находит простые утечки памяти, а с появлением новых версии находит всё более интересные вещи. Например, как-то выяснилось, что не было гарддов у заголовочных определённых файлов, правда из сообщения об ошибке это было очень сложно понять. Особенно незаменимая вещь, когда в команду приходит новенький.
Но надо сказать, что сейчас он уже ничего не находит, - люди научились не делать примитивные ошибки. Все остальные ошибки выявляются автоматическим тестированием с включённым ASAN. Находит все остальные случаи утечек памяти и ошибки связанные с памятью.

Ответить | Правка | ^ к родителю #23 | Наверх | Cообщить модератору

35. "Релиз свободного статического анализатора кода fragma-clang ..." –1 +/–

Сообщение от Andrey_Karpov (ok) on 02-Мрт-18, 22:15

https://habrahabr.ru/company/pvs-studio/blog/346128/
Удачи с Cppcheck... :)

Ответить | Правка | ^ к родителю #16 | Наверх | Cообщить модератору

36. "Релиз свободного статического анализатора кода fragma-clang ..." –3 +/–

Сообщение от Andrey_Karpov (ok) on 02-Мрт-18, 22:19

> PVS-Studioкапец?
Ой. Я такие вопросы уже много лет слушу... :) Не бойтесь, мы очень быстро разиваем анализатор. Вот сейчас в процессе символьные вычисления, поддержка Java, учимся искать уязвимости ( https://www.viva64.com/ru/w/v1010/ ).

Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

38. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Андрей (??) on 03-Мрт-18, 03:02

> PVS-Studioкапец?
Не люблю я подобных фраз. А вот если бы как у frama удалось бы стать open & free software с возможностью коммерческой поддержки - тогда бы точно цены не было!

Ответить | Правка | ^ к родителю #36 | Наверх | Cообщить модератору

42. "Релиз свободного статического анализатора кода fragma-clang ..." +/–

Сообщение от Аноним (??) on 03-Мрт-18, 13:45

> Не люблю я подобных фраз. А вот если бы как у frama
> удалось бы стать open & free software с возможностью коммерческой поддержки
> - тогда бы точно цены не было!
Они отстали лет на цать. Кейл они блин поддержали и IAR :). Самые кривые да еще и платные компилеры. Вообще не понимаю зачем ими пользоваться когда gcc есть. Он бесплатный и код генерит очень даже.

Ответить | Правка | ^ к родителю #38 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

1. "Релиз свободного статического анализатора кода fragma-clang ..."	–4 +/–
Сообщение от Аноним (??) on 02-Мрт-18, 09:19
"Гори-гори ясно, чтобы не погасло!"
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	2. "Релиз свободного статического анализатора кода fragma-clang ..."	–14 +/–
	Сообщение от Аноним (??) on 02-Мрт-18, 09:35
	Гори оно огнём, если там шланг.
	Ответить \| Правка \| ^ к родителю #1 \| Наверх \| Cообщить модератору


	5. "Релиз свободного статического анализатора кода fragma-clang ..."	+1 +/–
	Сообщение от Ne01eX (ok) on 02-Мрт-18, 09:49
	> Гори оно огнём, если там шланг. Fragma-C отдельный статический анализатор. fragma-clang отдельный плагин для Clang. Мухи отдельно, котлеты отдельно.
	Ответить \| Правка \| ^ к родителю #2 \| Наверх \| Cообщить модератору


	30. "Релиз свободного статического анализатора кода fragma-clang ..."	+1 +/–
	Сообщение от Аноним (??) on 02-Мрт-18, 19:08
	Он не fragma, а frama.
	Ответить \| Правка \| ^ к родителю #5 \| Наверх \| Cообщить модератору


	15. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Mezozoysky on 02-Мрт-18, 12:06
	Пардон за оффтоп. А в чем проблема шланга? 4 года использую, как основной компилятор на работе и дома и за это время не уловил, чем он принципиально хуже гцц. Поясните, плз, если не сложно.
	Ответить \| Правка \| ^ к родителю #2 \| Наверх \| Cообщить модератору


	24. "Релиз свободного статического анализатора кода fragma-clang ..."	–3 +/–
	Сообщение от Ю.Т. on 02-Мрт-18, 15:05
	Мол, несвободный в сымсле ГПЛ.
	Ответить \| Правка \| ^ к родителю #15 \| Наверх \| Cообщить модератору


	25. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Mezozoysky on 02-Мрт-18, 15:31
	Странная история. У них годная свободная лицензия - свободная, в том числе, от ограничений копилефта. Не вижу проблемы здесь.
	Ответить \| Правка \| ^ к родителю #24 \| Наверх \| Cообщить модератору


	29. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Аноним (??) on 02-Мрт-18, 17:10
	> Не вижу проблемы здесь. А она есть.
	Ответить \| Правка \| ^ к родителю #25 \| Наверх \| Cообщить модератору


	40. "Релиз свободного статического анализатора кода fragma-clang ..."	–1 +/–
	Сообщение от Аноним (??) on 03-Мрт-18, 13:32
	Мы помним чем закончилась BSDшная свобода, кода всякими проприетарными бздами руки выворачивали. А потом пришел GPLный Linux - и наконец стало хорошо. Без произвола полутора корпораций.
	Ответить \| Правка \| ^ к родителю #25 \| Наверх \| Cообщить модератору


	43. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Аноним (??) on 03-Мрт-18, 20:20
	мы все помним как GPL-ный линукс умолял дать им лицензию на дрова к ath wifi, OpenBSD дал. А потом этот самый линукс зажал отдавать правки, вот же жлобы..
	Ответить \| Правка \| ^ к родителю #40 \| Наверх \| Cообщить модератору


	45. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Аноним (??) on 04-Мрт-18, 04:23
	> мы все помним как GPL-ный линукс умолял дать им лицензию на дрова > к ath wifi, OpenBSD дал. А что значит умолял? Если BSDшную шапку не удалять, никакие лицензии не нарушаются. А то что линуксоиды пишут свой код под GPL, логично. Это и не дает им превратиться в дамп токсичных корпоративных отходов типа всяких freebsd. Куда отработанный код сливают в абы каком виде а майнтайнит это потом пусть А.С.Пушкин. А OpenBSD это вообще отличный образец - нихрена не работает, сервера оплачивает чуть ли не лично Тео, а проприетарные паразиты растаскивают код себе в норы. Так что потом Тео же и плакается выклянчивая деньги, потому что иначе дескать счета за электричество оплачивать нечем. Наверное именно так и надо взаимодействовать, когда апстрим на котором все держится - пресмыкается. Но знаете, апстриму однажды может надоесть работать работу и пресмыкаться. И тут халява для акул бизнеса может резко и внезапно закончиться. > А потом этот самый линукс зажал отдавать правки, вот же жлобы.. Если вы хотели коммиты назад, наверное лицензию надо было писать иначе. А так - "лицензия позволяет". Так что если проприерасам можно, то и остальным тоже. Задолбали со своими двойными стандартами, когда перед проприетарщиками ноги раздвигаются, а остальным почему-то фига. Лицензии для всех одинаковые, ниипет. Если хотите чего-то иное, вот и пишите в лицензии именно это. Формализация пожеланий спасает от кучи проблем.
	Ответить \| Правка \| ^ к родителю #43 \| Наверх \| Cообщить модератору


	48. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Аноним (??) on 04-Мрт-18, 15:44
	> Если BSDшную шапку не удалять, никакие лицензии не нарушаются. > А то что линуксоиды пишут свой код под GPL, логично http://lkml.org/lkml/2007/8/28/157 > The files are available only under GPLv2 since now. И шапку удалил и лицензию сменил, забыв спросить авторов ) > Если вы хотели коммиты назад, наверное лицензию надо было писать иначе. А > так - "лицензия позволяет". Так что если проприерасам можно, то и > остальным тоже. Задолбали со своими двойными стандартами, когда перед проприетарщиками > ноги раздвигаются, а остальным почему-то фига. Лицензии для всех одинаковые, ниипет. > Если хотите чего-то иное, вот и пишите в лицензии именно это. > Формализация пожеланий спасает от кучи проблем. http://lkml.org/lkml/2007/9/5/131 > I'm the author of the free hardware driver layer for wireless Atheros devices in OpenBSD, also known as "OpenHAL". > 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 clearly explained my reasons against dual-licensing in the past. It needed some time, but it had seemed to me that the involved people had finally accepted my decision. Ответ на вопрос автора >> - Are there any plans to release the "ath5k" code using a modified/"extended" license? > No. Смотрите дети внимательно! Двойные стандарты, это теперь вот так! Главное, не забыть первым упрекнуть в использовании двойных стандартов )
	Ответить \| Правка \| ^ к родителю #45 \| Наверх \| Cообщить модератору


	28. "Релиз свободного статического анализатора кода fragma-clang ..."	+1 +/–
	Сообщение от Аноним (??) on 02-Мрт-18, 17:09
	Clang производит объектный код, который медленнее и больше чем объектный код, производимый GCC. Особенно для не-х86. Немного пруфлинков: https://github.com/android-ndk/ndk/issues/495 https://github.com/android-ndk/ndk/issues/21 https://github.com/android-ndk/ndk/issues/133
	Ответить \| Правка \| ^ к родителю #15 \| Наверх \| Cообщить модератору


	31. "Релиз свободного статического анализатора кода fragma-clang ..."	–1 +/–
	Сообщение от Аноним (??) on 02-Мрт-18, 19:29
	Выглядит не очень убедительно. По одной ссылке просела скорость, а про размер ничего не говорится. По другой вырос размер, но скорость увеличилась. По третьей тоже вырос размер, но гораздо меньше. Логично предположить, что это нормальные флуктуации; у кого-то наверняка с clang стало лучше, но они, естественно, не идут на это жаловаться в багтрекер.
	Ответить \| Правка \| ^ к родителю #28 \| Наверх \| Cообщить модератору


	32. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Аноним (??) on 02-Мрт-18, 20:15
	Мой опыт подтверждает, что Clang генерит код хуже, чем GCC. И по скорости, и по размеру. Итого, у меня есть мой опыт и 3 ссылки, а у вас только недоверие к моим ссылкам. У Мозиллы на Андроиде бинарник на 30% больше с Clang-ом, чем с GCC - это неубедительно? Ну ОК. Если хотите, чтоб было убедительно - проведите свои тесты, опубликуйте результаты, всем будет полезно.
	Ответить \| Правка \| ^ к родителю #31 \| Наверх \| Cообщить модератору


	33. "Релиз свободного статического анализатора кода fragma-clang ..."	–1 +/–
	Сообщение от Аноним (??) on 02-Мрт-18, 21:06
	У нас комплексное приложение, которое требовательно по части производительности и по потреблению памяти (embedded). Так вот, ощутимой разницы между gcc и clang абсолютно никакой нет. Даже при программировании микроконтроллеров никто не задумывается о тестировании разных компиляторов (при реальной разработке), - берут то, что работает. Не могу представить, чем нужно заниматься, чтобы примерно +/-1% разницы играл роль, при том, что в общей сумме всей частей приложения скорее всего разница будет стремиться к нулю.
	Ответить \| Правка \| ^ к родителю #32 \| Наверх \| Cообщить модератору


	41. "Релиз свободного статического анализатора кода fragma-clang ..."	–1 +/–
	Сообщение от Аноним (??) on 03-Мрт-18, 13:41
	> У нас комплексное приложение, Понятно, с этого надо было начинать - в отличие от конкретных пруфлинков мы не увидим от вас никакой конкретики, зато маркетингового булшита - будет. > никакой нет. Даже при программировании микроконтроллеров никто не задумывается о тестировании > разных компиляторов (при реальной разработке), - берут то, что работает. Странно, почему же я тогда прогнал бенчи на cortex M3 с разными версиями gcc и ключами? Может быть, потому что мне нужен и компактный и быстрый код? И желательно все и сразу? Особенно на микроконтроллере, где камень с дополнительным объемом флеша стоит дороже :) > Не могу представить, чем нужно заниматься, чтобы примерно +/-1% разницы играл роль, Какой к черту 1%? В зависимости от флагов, набора команд, и того бреда который компилер выдал разница может быть до 30% по коду и до пары раз по скорости. И это в пределах одного семейства компилеров, в зависимости от того насколько компилятор в неудачном месте ступил. > при том, что в общей сумме всей частей приложения скорее всего > разница будет стремиться к нулю. Гугля вон в своем кодеке давится за 0.03% улучшений а вам, значит, 1% не величина? Ну вот поэтому где гугл, а где вы. Хотя кто б спорил - впарить гамна за много денег любители "комплексных приложений" размахивающие BSDшными свободами любят. А зажатый сорц вам случайно нужен не для того чтобы клиентура не догадалась как вы их нае...ете феерично? :)
	Ответить \| Правка \| ^ к родителю #33 \| Наверх \| Cообщить модератору


	44. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Аноним (??) on 03-Мрт-18, 20:23
	> А зажатый сорц вам случайно нужен не для того чтобы клиентура не > догадалась как вы их нае...ете феерично? :) В этом все больные GPL-мозга. Все им кажется что их ... . это болезнь батенька. Сходите к психиатру - он вылечит.
	Ответить \| Правка \| ^ к родителю #41 \| Наверх \| Cообщить модератору


	46. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Аноним (??) on 04-Мрт-18, 04:28
	Кто и кого вылечит - это мы еще будем посмотреть. GPL изменил мир и не буду скрывать - очень приятно когда проприетарных жлоборасов выносит в пользу открытых решений, которые не заюимают никому ничего и не устраивают внезапные кидки. А сам факт открытости проекта как-то стал гарантировать определенные зрительские симпатии с самого начала. Давая солидные репутационные преимущества относительно жадных м...ков.
	Ответить \| Правка \| ^ к родителю #44 \| Наверх \| Cообщить модератору


	47. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Аноним (??) on 04-Мрт-18, 10:39
	>> может быть до 30% Здесь есть люди, которые знакомы с математикой, статистикой и пределами. Поэтому частные "может быть" здесь вряд ли таковых впечатлят. Сделайте комплексное приложение из хотя бы 5 процессов (в каждом из которых ещё и потоки работают), придумайте, как замерять его производительность (выполнение конечной задачи), тогда и хвалитесь своими парой процентов.
	Ответить \| Правка \| ^ к родителю #41 \| Наверх \| Cообщить модератору


	4. "Релиз свободного статического анализатора кода fragma-clang ..."	–1 +/–
	Сообщение от Ne01eX (ok) on 02-Мрт-18, 09:41
	Не погаснет, я думаю. :-) В отличии от проприетарных продуктов, здесь есть полная возможность для развития (как плагина для Сlang, так и Fragma-С) силами сообщества. :-)
	Ответить \| Правка \| ^ к родителю #1 \| Наверх \| Cообщить модератору


	27. "Релиз свободного статического анализатора кода fragma-clang ..."	–1 +/–
	Сообщение от sadasd on 02-Мрт-18, 16:33
	Силами сообщества можно развивать что-то небольшое, а такие крупные вещи как компилятор только сообществом не разовьешь. Вот и получается, что корпорасты забирают то что делает сообщество, а свое держат при себе. В том-же GCC вечно патчи то от Intel, то еще от кого появляются. Тот-же illumos сильно силами сообщества развивается?
	Ответить \| Правка \| ^ к родителю #4 \| Наверх \| Cообщить модератору

6. "Релиз свободного статического анализатора кода fragma-clang ..."	+1 +/–
Сообщение от x0r (??) on 02-Мрт-18, 10:14
Классная штука, но похоже задолбаешься собирать
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	11. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Ne01eX (ok) on 02-Мрт-18, 11:03
	А под какой дистрибутив надо?
	Ответить \| Правка \| ^ к родителю #6 \| Наверх \| Cообщить модератору


	13. "Релиз свободного статического анализатора кода fragma-clang ..."	–1 +/–
	Сообщение от x0r (??) on 02-Мрт-18, 11:21
	centos 6
	Ответить \| Правка \| ^ к родителю #11 \| Наверх \| Cообщить модератору

7. "Релиз свободного статического анализатора кода fragma-clang ..."	+3 +/–
Сообщение от Вареник on 02-Мрт-18, 10:15
Успехов проекту!
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору

9. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
Сообщение от Аноним (??) on 02-Мрт-18, 10:25
Как оно в сравнении со scan-build?
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	10. "Релиз свободного статического анализатора кода fragma-clang ..."	+1 +/–
	Сообщение от Ne01eX (ok) on 02-Мрт-18, 10:40
	Да вроде не делал никто таких сравнений. Ниша свободна, можете попробовать fragma-clang и отписаться по результатам. Будьте первопроходцем. :-)
	Ответить \| Правка \| ^ к родителю #9 \| Наверх \| Cообщить модератору


	18. "Релиз свободного статического анализатора кода fragma-clang ..."	+/–
	Сообщение от Аноним (??) on 02-Мрт-18, 13:06
	Не, не буду. Вспомнил, что пробовал его безо всяких шлангов. Чтобы был толк, надо добавлять в код ACSL-аннотации, иначе вывалит кучу фолсов. То есть годится только при написании новых проектов с нуля, если готов заморочиться.
	Ответить \| Правка \| ^ к родителю #10 \| Наверх \| Cообщить модератору

14. "Релиз свободного статического анализатора кода fragma-clang ..."	+3 +/–
Сообщение от Аноним (??) on 02-Мрт-18, 11:24
PVS-Studioкапец?
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору