The OpenNET Project / Index page

[ новости/++ | форум | wiki | теги | ]

02.03.2018 00:52  Релиз свободного статического анализатора кода frama-clang 0.0.5

Состоялся релиз frama-clang 0.0.5, плагина для Сlang на базе свободной платформы для статического анализа кода Frama-C. Несмотря на то, что проект существует около года, он уже является рабочим полнофункциональным анализатором кода, написанного на языках Си и Си++, выявляющим возможные проблемы в файлах .cpp, .c++, .c, .cxx, .cc и .ii (файлы препроцессора). Плагин Fragma-C для Clang поставляется под смешанной лицензией LGPL/BSD.

  1. Главная ссылка к новости (http://frama-c.com/frama-clang...)
  2. OpenNews: Facebook открыл RacerD, статический анализатор для многопоточного кода на Java
  3. OpenNews: Статистический анализ предрекает рост популярности Go и сохранение позиций Си
  4. OpenNews: Google представил OSS-Fuzz, сервис для анализа безопасности открытого ПО
  5. OpenNews: Релиз набора компиляторов LLVM 5.0
  6. OpenNews: Обеспечена возможность сборки ядер Linux 4.4 и 4.9 при помощи Clang
Автор новости: Ne01eX
Тип: Программы
Ключевые слова: clang, analyzer
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение Ajax/Линейный | Раскрыть все сообщения | RSS
 
  • 1.1, Аноним (-), 09:19, 02/03/2018 [ответить] [показать ветку] [···]    [к модератору]
  • –4 +/
    "Гори-гори ясно, чтобы не погасло!"
     
     
  • 2.2, Аноним (-), 09:35, 02/03/2018 [^] [ответить]    [к модератору]
  • –14 +/
    Гори оно огнём, если там шланг.
     
     
  • 3.5, Ne01eX (ok), 09:49, 02/03/2018 [^] [ответить]    [к модератору]
  • +1 +/
    > Гори оно огнём, если там шланг.

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

     
     
  • 4.30, Аноним (-), 19:08, 02/03/2018 [^] [ответить]    [к модератору]
  • +1 +/
    Он не fragma, а frama.
     
  • 3.15, Mezozoysky (?), 12:06, 02/03/2018 [^] [ответить]    [к модератору]
  • +/
    Пардон за оффтоп. А в чем проблема шланга? 4 года использую, как основной компилятор на работе и дома и за это время не уловил, чем он принципиально хуже гцц. Поясните, плз, если не сложно.
     
     
  • 4.24, Ю.Т. (?), 15:05, 02/03/2018 [^] [ответить]    [к модератору]  
  • –3 +/
    Мол, несвободный в сымсле ГПЛ.
     
     
  • 5.25, Mezozoysky (?), 15:31, 02/03/2018 [^] [ответить]    [к модератору]  
  • +/
    Странная история. У них годная свободная лицензия - свободная, в том числе, от ограничений копилефта. Не вижу проблемы здесь.
     
     
  • 6.29, Аноним (-), 17:10, 02/03/2018 [^] [ответить]    [к модератору]  
  • +/
    > Не вижу проблемы здесь.

    А она есть.

     
  • 6.40, Аноним (-), 13:32, 03/03/2018 [^] [ответить]    [к модератору]  
  • –1 +/
    Мы помним чем закончилась BSDшная свобода, кода всякими проприетарными бздами руки выворачивали. А потом пришел GPLный Linux - и наконец стало хорошо. Без произвола полутора корпораций.
     
     
  • 7.43, Аноним (-), 20:20, 03/03/2018 [^] [ответить]    [к модератору]  
  • +/
    мы все помним как GPL-ный линукс умолял дать им лицензию на дрова к ath wifi, OpenBSD дал.
    А потом этот самый линукс зажал отдавать правки, вот же жлобы..
     
     
  • 8.45, Аноним (-), 04:23, 04/03/2018 [^] [ответить]     [к модератору]  
  • +/
    А что значит умолял Если BSDшную шапку не удалять, никакие лицензии не нарушают... весь текст скрыт [показать]
     
     
  • 9.48, Аноним (-), 15:44, 04/03/2018 [^] [ответить]     [к модератору]  
  • +/
    http lkml org lkml 2007 8 28 157 И шапку удалил и лицензию сменил, забыв спрос... весь текст скрыт [показать]
     
  • 4.28, Аноним (-), 17:09, 02/03/2018 [^] [ответить]     [к модератору]  
  • +1 +/
    Clang производит объектный код, который медленнее и больше чем объектный код, пр... весь текст скрыт [показать]
     
     
  • 5.31, Аноним (-), 19:29, 02/03/2018 [^] [ответить]     [к модератору]  
  • –1 +/
    Выглядит не очень убедительно По одной ссылке просела скорость, а про размер ни... весь текст скрыт [показать]
     
     
  • 6.32, Аноним (-), 20:15, 02/03/2018 [^] [ответить]     [к модератору]  
  • +/
    Мой опыт подтверждает, что Clang генерит код хуже, чем GCC И по скорости, и по ... весь текст скрыт [показать]
     
     
  • 7.33, Аноним (-), 21:06, 02/03/2018 [^] [ответить]     [к модератору]  
  • –1 +/
    У нас комплексное приложение, которое требовательно по части производительности ... весь текст скрыт [показать]
     
     
  • 8.41, Аноним (-), 13:41, 03/03/2018 [^] [ответить]     [к модератору]  
  • –1 +/
    Понятно, с этого надо было начинать - в отличие от конкретных пруфлинков мы не у... весь текст скрыт [показать]
     
     
  • 9.44, Аноним (-), 20:23, 03/03/2018 [^] [ответить]     [к модератору]  
  • +/
    В этом все больные GPL-мозга Все им кажется что их это болезнь батенька ... весь текст скрыт [показать]
     
     
  • 10.46, Аноним (-), 04:28, 04/03/2018 [^] [ответить]     [к модератору]  
  • +/
    Кто и кого вылечит - это мы еще будем посмотреть GPL изменил мир и не буду скры... весь текст скрыт [показать]
     
  • 9.47, Аноним (-), 10:39, 04/03/2018 [^] [ответить]     [к модератору]  
  • +/
    Здесь есть люди, которые знакомы с математикой, статистикой и пределами Поэтому... весь текст скрыт [показать]
     
  • 2.4, Ne01eX (ok), 09:41, 02/03/2018 [^] [ответить]    [к модератору]  
  • –1 +/
    Не погаснет, я думаю. :-) В отличии от проприетарных продуктов, здесь есть полная возможность для развития (как плагина для Сlang, так и Fragma-С) силами сообщества. :-)
     
     
  • 3.27, sadasd (?), 16:33, 02/03/2018 [^] [ответить]     [к модератору]  
  • –1 +/
    Силами сообщества можно развивать что-то небольшое, а такие крупные вещи как ком... весь текст скрыт [показать]
     
  • 1.6, x0r (??), 10:14, 02/03/2018 [ответить] [показать ветку] [···]    [к модератору]  
  • +1 +/
    Классная штука, но похоже задолбаешься собирать
     
     
  • 2.11, Ne01eX (ok), 11:03, 02/03/2018 [^] [ответить]    [к модератору]  
  • +/
    А под какой дистрибутив надо?
     
     
  • 3.13, x0r (??), 11:21, 02/03/2018 [^] [ответить]    [к модератору]  
  • –1 +/
    centos 6
     
  • 1.7, Вареник (?), 10:15, 02/03/2018 [ответить] [показать ветку] [···]    [к модератору]  
  • +3 +/
    Успехов проекту!
     
  • 1.9, Аноним (-), 10:25, 02/03/2018 [ответить] [показать ветку] [···]    [к модератору]  
  • +/
    Как оно в сравнении со scan-build?
     
     
  • 2.10, Ne01eX (ok), 10:40, 02/03/2018 [^] [ответить]    [к модератору]  
  • +1 +/
    Да вроде не делал никто таких сравнений. Ниша свободна, можете попробовать fragma-clang и отписаться по результатам.  Будьте первопроходцем. :-)
     
     
  • 3.18, Аноним (-), 13:06, 02/03/2018 [^] [ответить]     [к модератору]  
  • +/
    Не, не буду Вспомнил, что пробовал его безо всяких шлангов Чтобы был толк, над... весь текст скрыт [показать]
     
  • 1.14, Аноним (-), 11:24, 02/03/2018 [ответить] [показать ветку] [···]    [к модератору]  
  • +3 +/
    PVS-Studioкапец?
     
     
  • 2.16, leap42 (ok), 12:46, 02/03/2018 [^] [ответить]    [к модератору]  
  • +2 +/
    ещё с момента появления

    cppcheck -q -x c --enable=all --suppress=missingIncludeSystem .

    прост у cppcheck отдел маркетинга послабее

     
     
  • 3.17, Анонис (?), 13:03, 02/03/2018 [^] [ответить]    [к модератору]  
  • –2 +/
    нету такой опции -x
     
     
  • 4.26, leap42 (ok), 15:52, 02/03/2018 [^] [ответить]    [к модератору]  
  • +/
    --language=<language>, -x <language>
                             Forces cppcheck to check all files as the given

    cppcheck-1.80-1.fc26.x86_64

     
  • 3.19, Аноним (-), 13:08, 02/03/2018 [^] [ответить]     [к модератору]  
  • –3 +/
    cppcheck 8212 искючительно примитивный инструмент Какие-то элементарные ошиб... весь текст скрыт [показать]
     
     
  • 4.20, Аноним (-), 13:21, 02/03/2018 [^] [ответить]     [к модератору]  
  • +/
    cppcheck умеет согласно Wikipedia https ru wikipedia org wiki Cppcheck Прове... весь текст скрыт [показать]
     
     
  • 5.21, Аноним (-), 13:38, 02/03/2018 [^] [ответить]    [к модератору]  
  • +1 +/
    > согласно Wikipedia

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

     
     
  • 6.22, Аноним (-), 13:52, 02/03/2018 [^] [ответить]    [к модератору]  
  • +1 +/
    Прямо сейчас использую. Мои новичковые ошибки ловит.
     
     
  • 7.23, Аноним (-), 14:06, 02/03/2018 [^] [ответить]     [к модератору]  
  • +/
    Новичковые ловит, да В хелловорлдах Когда доходит до хитрой разветвлённой логи... весь текст скрыт [показать]
     
     
  • 8.34, Аноним (-), 21:14, 02/03/2018 [^] [ответить]     [к модератору]  
  • +/
    Используем на практике Каждый коммит автоматом проходит проверку Не проходит, ... весь текст скрыт [показать]
     
  • 3.35, Andrey_Karpov (ok), 22:15, 02/03/2018 [^] [ответить]    [к модератору]  
  • –1 +/
    https://habrahabr.ru/company/pvs-studio/blog/346128/

    Удачи с Cppcheck... :)

     
  • 2.36, Andrey_Karpov (ok), 22:19, 02/03/2018 [^] [ответить]     [к модератору]  
  • –3 +/
    Ой Я такие вопросы уже много лет слушу Не бойтесь, мы очень быстро разива... весь текст скрыт [показать]
     
     
  • 3.38, Андрей (??), 03:02, 03/03/2018 [^] [ответить]    [к модератору]  
  • +/
    > PVS-Studioкапец?

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

     
     
  • 4.42, Аноним (-), 13:45, 03/03/2018 [^] [ответить]     [к модератору]  
  • +/
    Они отстали лет на цать Кейл они блин поддержали и IAR Самые кривые да еще ... весь текст скрыт [показать]
     

     Добавить комментарий
    Имя:
    E-Mail:
    Заголовок:
    Текст:


      Закладки на сайте
      Проследить за страницей
    Created 1996-2018 by Maxim Chirkov  
    ДобавитьПоддержатьВебмастеруГИД  
    Hosting by Ihor