Я очень люблю и уважаю статический анализ кода. Когда-то прикручивал Кланг к сборкам, потом к нему добавился Сиппчек, сейчас я стараюсь оба анализатора использовать, хотя получается и не всегда. В прошлом году как раз прикручивал Сиппчек к нескольким проектам и возникла занятная задача интеграции с Тимсити.
Читайте далее »
Австралийская НИКТА в лице тт. Хейзера и Элфинстоуна некоторое время назад выкатила отличную работу, описывающую двадцатилетнее развитие микроядер Эльчетыре. Очень люблю такое — видно, с чего начали, какие проблемы в разное время возникали, как они решались, к чему пришли. Интересно даже не само микроядро (хотя с Фисташкой я даже непосредственно сталкивался лет так семь назад), а наблюдение за реальной эволюцией системы.
Ситуация осложнена тем, что эльчетвёртых ядер довольно много, есть заметно фрагментированное семейство. И в этом семействе, в первую очередь, разумеется, педалируется то направление, которым занимались авторы, а именно, верифицируемое ядро ЭсЕЭльчетыре. Но это работе не мешает, да и мне самому эта вариация нравится больше всех, галочка формальной верификации очень уж красивая.
Внезапно на ВиМе всплыл некогда читанный текст, причём с указанием в качестве оригинала некоего Ordo Illuminati, при том, что «Гугл» считает самой правильной ссылкой по словам «индустриальная археология» журнал dm-kalashnikov, ссылающийся на 13lad, где честно дана ссылка на оригинал перевода от ahitech. При этом, разумеется, изначально я этот текст читал на каком-то совершенно другом ресурсе, который так сходу даже и найти не удалось.
Текст прекрасен. Заметно, что тема особенно близка программистам. На каждой итерации наблюдаются отличные комментарии.
Некоторое время назад прикрутили к рабочим сборкам статический анализ кода с помощью Clang. В силу специфики собираемого это заняло определённое время, однако нынче всё работает автомагическим образом и еженощно выдаёт результаты анализа всего-всего, что собирается в продукте. Сама сборка, уже в силу специфики сборочной среды, при этом, осталась на GCC, анализ прикручен сбоку.
Разумеется, нашлось много интересного.
Читайте далее »