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, 09:49, 02/03/2018 [^] [ответить] [смотреть все]     [к модератору]
  • +1 +/
    Fragma-C отдельный статический анализатор fragma-clang отдельный плагин для Cla... весь текст скрыт [показать]
     
     
  • 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шная свобода, кода всякими проприетарными бздами ру... весь текст скрыт [показать]
     
     
  • 7.43, Аноним, 20:20, 03/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    мы все помним как GPL-ный линукс умолял дать им лицензию на дрова к ath wifi, Op... весь текст скрыт [показать]
     
     
  • 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, 09:41, 02/03/2018 [^] [ответить] [смотреть все] [показать ветку]     [к модератору]  
  • –1 +/
    Не погаснет, я думаю - В отличии от проприетарных продуктов, здесь есть полна... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.27, sadasd, 16:33, 02/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • –1 +/
    Силами сообщества можно развивать что-то небольшое, а такие крупные вещи как ком... весь текст скрыт [показать]
     
  • 1.6, x0r, 10:14, 02/03/2018 [ответить] [смотреть все]    [к модератору]  
  • +1 +/
    Классная штука, но похоже задолбаешься собирать
     
     
  • 2.11, Ne01eX, 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, 10:40, 02/03/2018 [^] [ответить] [смотреть все] [показать ветку]     [к модератору]  
  • +1 +/
    Да вроде не делал никто таких сравнений Ниша свободна, можете попробовать fragm... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.18, Аноним, 13:06, 02/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    Не, не буду Вспомнил, что пробовал его безо всяких шлангов Чтобы был толк, над... весь текст скрыт [показать]
     
  • 1.14, Аноним, 11:24, 02/03/2018 [ответить] [смотреть все]    [к модератору]  
  • +3 +/
    PVS-Studioкапец?
     
     
  • 2.16, leap42, 12:46, 02/03/2018 [^] [ответить] [смотреть все] [показать ветку]     [к модератору]  
  • +2 +/
    ещё с момента появления cppcheck -q -x c --enable all --suppress missingIncludeS... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.17, Анонис, 13:03, 02/03/2018 [^] [ответить] [смотреть все]    [к модератору]  
  • –2 +/
    нету такой опции -x
     
     
  • 4.26, leap42, 15:52, 02/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    --language language , -x language Forces cppcheck to... весь текст скрыт [показать]
     
  • 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, 22:15, 02/03/2018 [^] [ответить] [смотреть все]    [к модератору]  
  • –1 +/
    https://habrahabr.ru/company/pvs-studio/blog/346128/

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

     
  • 2.36, Andrey_Karpov, 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