Новости и события » Hi-Tech » Релиз свободного статического анализатора кода frama-clang 0.0.5

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

Дата публикации: 2 марта 2018 | Комментариев: 0

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

Главное на сегодня

Zeekr 001: роскошь, технология и скорость -...

Instagram тестирует и планирует выпустить...

Pixel 10 могут выйти еще раньше, чем ожидалось

Как «28 лет спустя» снимали на 20 смартфонов...

Qualcomm тестирует Snapdragon X2 Elite с 18...

Как выбрать надувную лодку: подробный гид для...

Бігова доріжка для малогабаритних приміщень

Том Круз уходить на пенсию точно не планирует

Топозйомка М 1:500 і М 1:2000: особливості,...

Android Authority: в приложении Google появится...

Microsoft добавляет ИИ-функции в Paint,...

Як організувати конференцію в Києві: покроковий...

Илья Суцкевер предлагал OpenAI построить бункер...

Объявлены победители 78-го Каннского...

«Лило и Стич» и новая «Миссия невыполнима»...

В Китае прошел первый турнир по боксу роботов

Кроме iOS 19 и macOS 16, масштабный редизайн...

Новости часа

Zeekr 001: роскошь, технология и скорость - теперь в Украине

Zeekr 001 - это не просто электрический автомобиль, это заявка на лидерство в мире премиум-электрокаров. Бренд Zeekr - дочерний проект концерна Geely - поставил перед собой амбициозную цель: объединить технологичность, мощность и комфорт в одном автомобиле....

сегодня 15:45

Автовыкуп в Украине: как быстро и безопасно продать авто

Современный автомобильный рынок стремительно меняется: растет спрос на подержанные автомобили, но вместе с тем усложняется процесс их самостоятельной продажи....

19 мая 2025
Stone Universe: сокровища украинской земли, которые стоит увидеть своими глазами

В Киеве продолжается событие , которое захватывает дух - выставка-продажа «Stone Universe», посвященная драгоценным минералам с Волыни. Она уже покорила...

12 мая 2025
Кримінальна відповідальність за несплату аліментів та роль адвоката у сімейних справах

Несплата аліментів є серйозною проблемою, яка зачіпає не тільки безпосередньо тих, хто має право на отримання підтримки, але й ставить під загрозу правову...

2 апреля 2025
Продажа квартиры в Днепре: гайд от специалиста

Как выгодно продать квартиру в Днепре Рынок недвижимости в Днепре не засыпает, даже когда все вокруг штормит. Продать квартиру здесь - это не просто спихнуть...

31 марта 2025

Продажа квартиры в Днепре: гайд от специалиста

Как выгодно продать квартиру в Днепре Рынок недвижимости в Днепре не засыпает, даже когда все вокруг штормит. Продать квартиру здесь - это не просто спихнуть...

31 марта 2025
Окна в Днепре: как выбрать оптимальный вариант для вашего дома

Выбор окон для дома или квартиры - это не просто вопрос эстетики, но и важный элемент для обеспечения комфортных условий проживания. Понимание всех нюансов,...

12 февраля 2025
Бюгельные протезы: особенности конструкции, преимущества и ценообразование

Современная стоматология предлагает различные решения для восстановления утраченных зубов. Бюгельный протез: цена в Днепре зависит от многих факторов, но...

4 декабря 2024
Коврики для Volkswagen ID.4: инновационная защита и комфорт для вашего электромобиля

Volkswagen ID.4 - это современный электрический кроссовер, который сочетает в себе инновации, стиль и заботу об экологии. Этот автомобиль идеально подходит...

12 ноября 2024

АРТ-ВОЯЖ в Ровно: Открытие окон в уникальный мир украинского искусства

Ровно с гордостью встречает известную выставку "АРТ-ВОЯЖ", которая открывает окно в уникальный мир украинского современного искусства. Собрание,...

12 ноября 2023
Перестроечный Шахтер Конькова

Во второй половине 80-х "Шахтер" не добивался турнирных успехов - ни в чемпионате, ни в Кубке СССР. В стране разворачивалась...

27 июня 2022
Пожары в Черном море: военные заявили, что ВСУ не атакуют гражданские объекты

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

27 июня 2022
Уже уничтожили несколько склепов: оккупанты застраивают Загородный некрополь Херсонеса

В оккупированном Севастополе на месте захоронения христианских мучеников ведется строительство. Как передает Укринформ, об этом сообщает qirim.news. "В...

27 июня 2022

Окна в Одессе: полный гид по выбору и установке

Окна являются важным элементом любого дома, влияя на комфорт, безопасность и эстетику жилья. При выборе окон в Одессе на https://www.alias.od.ua/ceny-2...

21 марта 2025
Коврики для Volkswagen ID.4: инновационная защита и комфорт для вашего электромобиля

Volkswagen ID.4 - это современный электрический кроссовер, который сочетает в себе инновации, стиль и заботу об экологии. Этот автомобиль идеально подходит...

12 ноября 2024
Юридическая компания Документы

Юридическая компания Document.od.ua - это ваш надежный партнер в сфере правовой помощи и сопровождения в Одессе. Мы работаем с частными и корпоративными...

30 октября 2024
Особенности индивидуальной аренды жилья для арендатора

Самостоятельно арендовать квартиру для летнего отдыха - это один из самых удобных способов провести отпуск без лишних хлопот, как раньше говорили...

27 сентября 2024

Перестроечный Шахтер Конькова

Во второй половине 80-х "Шахтер" не добивался турнирных успехов - ни в чемпионате, ни в Кубке СССР. В стране разворачивалась...

27 июня 2022
Захватчики ночью и утром обстреляли Славянск, есть погибшие и раненые

Захватчики ночью и утром нанесли удары по Славянску Донецкой области, в результате утренних обстрелов есть убитые и раненые. Об этом в Телеграме сообщил...

27 июня 2022
Первым летним новичком Кривбасса стал чемпион мира U20

Криворожский «Кривбасс» представил первого новичка в летнее межсезонье. Красно-белые подписали чемпиона мира в составе сборной Украины U-20, талантливого...

27 июня 2022
Почему Игор Йовичевич подходит Шахтеру

Если верить нескольким осведомленным людям, именно в эти минуты Игор Йовичевич размышляет над предложением, которое ему сделал "Шахтер". Быть или не...

27 июня 2022

Воронка глубиной 5 метров. Рашисты "демилитаризировали" стадион Николаева

Российско-фашистские войска нанесли ракетный удар по очередному "военному" объекту - городскому стадиону Николаева. Утром 28 июня российские...

29 июня 2022
На юге ВСУ постепенно оттесняют российские войска, враг готовит запасные рубежи

На юге российские оккупационные войска, отступая, обустраивают не только второй, третий рубежи, но и запасные. Об этом заявила на брифинге в Медиацентре...

27 июня 2022
США располагают информацией о минировании Россией подходов к портам Одессы

США располагают информацией о минировании Россией подходов к портам Одессы и Очакова - The Guardian. Кроме Одессы и Очакова, РФ собирается заминировать устье...

27 июня 2022
Ракетный удар по Одесчине, обстрел Харькова и взрывы на Херсонщине - сводка ВГА

россияне ночью ударили с самолетов стратегической авиации Ту-22М по Одесской области и обстреляли Киевский район Харькова. Обстрелы и взрывы раздавались также...

27 июня 2022

Коврики для Volkswagen ID.4: инновационная защита и комфорт для вашего электромобиля

Volkswagen ID.4 - это современный электрический кроссовер, который сочетает в себе инновации, стиль и заботу об экологии. Этот автомобиль идеально подходит...

12 ноября 2024
Доставка из Германии в Украину с сервисом Meest Shopping

Зарубежный интернет-магазин – это площадка, где можно найти широкий ассортимент качественных и недорогих товаров от известных производителей. Доставка из...

29 августа 2024
Тротуарная плитка: свойства, виды и преимущества

Тротуарная плитка давно стала неотъемлемой частью городского ландшафта. Она используется не только для обустройства тротуаров, но и для мощения дворов,...

4 июля 2024
Где лечить зубы в Харькове

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

24 мая 2024