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

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

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

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

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

Лисбет Саландер возвращается: «Девушка с...

Тайвань выдал ордер на арест основателя OnePlus...

«Какой бы транспорт он ни выбрал - захватят»:...

Paramount инициировала судебное разбирательство...

Богатое оснащение и 250 лошадиных сил: Renault...

Интернет-магазин строительных материалов Строй...

Сучасний автомобіль: як зберегти надійність та...

Anthropic запустила Claude Cowork - ИИ-агента,...

LEGO и Pokemon возвращают культовую коллекцию:...

Mazda представила доступного и технологичного...

Peugeot представила обновленный 408: эффектный...

ДІК - онлайн-магазин сейфов: безопасность...

«Википедия» в формате TikTok: энтузиаст...

Объявлены лауреаты премии «Золотой глобус -...

Переосмысленная легенда: Honda возвращает...

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

Первым летним новичком Кривбасса стал чемпион...

Китай запустил новую ракету «Великий поход 7»...

В Симферополе предприниматель заплатит...

ДТП на Среднефонтанской: пьяный водитель сбил...

Nvidia открыла тестирование платформы для...

Лось-сыщик помог полицейским в расследовании

В Крым пришла весна. Море подснежников

Леонардо Ди Каприо побывал на допросе в ФБР

Победители розыгрыша билетов получают свои...

Студентку из Уфы на первом свидании ограбил...

Disney инвестирует в Epic Games 1,5 млрд...

Особенности промышленного альпинизма в...

Откройте мир профнастила в...

Бухгалтерские услуги на аутсорс - логично,...

Toyota объявила старт продаж своего самого...

В Екатерининском саду Симферополя появятся...

Нью-Йорк примет этап Формулы-E

Сергей Шнуров надеется, что его нова детская...

Ирина Дубцова воссоединилась с бывшим мужем

На Днепропетровщине 16 выпускников сдали ВНО на...

Сейчас читают

Безус забил дебютный мяч за "Сент-Трюйден"

Украинский полузащитник отличился в контрольном поединке. Роман Безус забил дебютный гол за свой новый клуб - "Сент-Трюйден". Украинский полузащитник отличился в товарищеской встрече против "Антверпена". Безус вышел на поле после...
Читать подробнее ›

200 улыбок в Калиновке: новогодняя поездка благотворительного фонда Сергея Цюпка

Когда на улице мороз, а новости тяжелые, иногда достаточно одной улыбки ребенка, чтобы вернуть веру в добро. В Калинівці Броварского района Киевской области...

26 декабря 2025 16:06
Российские активы под контролем ЕС: принят шаг к репарационному кредиту для Украины

Европейский союз сделал важный шаг в вопросе использования замороженных российских активов, договорившись об их бессрочном обездвиживании. Это решение...

14 декабря 2025 14:13
Зеленский заявил о готовности к выборам: безопасность и закон - ключевые условия

Владимир Зеленский подтвердил готовность к выборам в Украине, но поставил три ключевых условия: безопасность, участие военных и изменения в законодательстве....

10 декабря 2025 03:11
Пленки для авто на avesauto.ua: защита, стиль и долговечность

Avesauto.ua - онлайн-магазин пленок для авто с широкой линейкой материалов и инструментов для профессиональной установки. Здесь вы найдете все необходимое для...

5 декабря 2025 10:11

Правильный выбор автошколы в Днепре: что необходимо учесть

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

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

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

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

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

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

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

4 декабря 2024 08:46

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

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

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

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

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

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

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

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

27 июня 2022 14:21

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

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

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

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

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

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

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

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

27 сентября 2024 08:58

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

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

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

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

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

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

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

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

27 июня 2022 10:10

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

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

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

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

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

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

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

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

27 июня 2022 09:54

Челюстно-лицевая хирургия в Харькове: про главное

Челюстно-лицевая хирургия - это одна из самых сложных и ответственных областей медицины, которая объединяет знания стоматологии, хирургии и эстетической...

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

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

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

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

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

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

4 июля 2024 05:59

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

Последние новости раздела

Тайвань выдал ордер на арест основателя OnePlus Пита Лау по делу о незаконном найме инженеров

Anthropic запустила Claude Cowork - ИИ-агента, способного самостоятельно управлять файлами на компьютере пользователя

LEGO и Pokemon возвращают культовую коллекцию: легендарных монстров теперь можно собрать из кубиков

«Википедия» в формате TikTok: энтузиаст представил необычное веб-приложение QuickQuack

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

Сейчас читают

Безус забил дебютный мяч за "Сент-Трюйден"

200 улыбок в Калиновке: новогодняя поездка благотворительного фонда Сергея Цюпка

Российские активы под контролем ЕС: принят шаг к репарационному кредиту для Украины

Зеленский заявил о готовности к выборам: безопасность и закон - ключевые условия

Пленки для авто на avesauto.ua: защита, стиль и долговечность

Правильный выбор автошколы в Днепре: что необходимо учесть

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Почему Игор Йовичевич подходит Шахтеру

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

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

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

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

Челюстно-лицевая хирургия в Харькове: про главное

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

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

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

январь 2026
Пн	Вт	Ср	Чт	Пт	Сб	Вс
			1	2	3	4
5	6	7	8	9	10	11
12	13	14	15	16	17	18
19	20	21	22	23	24	25
26	27	28	29	30	31
« дек				фев »