Новости

  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 176 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 178 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 166 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 165 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 164 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 163 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 149 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 142 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 141 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 140 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.

24.02.2012: Центр верификации на Embedded World 2012

Центр верификации ОС Linux будет представлен в рамках стенда Open Source Automation Development Lab на выставке Embedded World 2012, которая пройдет с 28 февраля по 1 марта 2012 года в городе Нюрнберг, Германия. Приглашаем всех посетить стенд 341 в павильоне № 5.

Также в рамках параллельно проходящей конференции Алексей Хорошилов представит 1 марта доклад "Опыт применения тяжеловесных инструментов верификации для анализа исходного кода драйверов ОС Linux".

17.02.2012: Совместный семинар Центра верификации и Университета Пассау

С 13 по 17 февраля 2012 года в городе Пассау, Германия, прошел совместный семинар Центра верификации ОС Linux и кафедры программных систем Университета Пассау, посвященный вопросам совместного развития инструмента статической верификации CPAchecker и его использования в проекте верификации драйверов ОС Linux.

31.10.2011: Центр верификации на LinuxCon Europe 2011

Сотрудники Центра верификации ОС Linux Евгений Шатохин и Алексей Хорошилов представили на конференции LinuxCon Europe 2011, проходившей с 26 по 28 октября 2011 года в городе Прага, Чехия, текущие достижения проектов по улучшению качества модулей ядра ОС Linux, ведущихся в Центре верификации.

24.10.2011: Центр верификации на SofTool 2011

Центр верификации ОС Linux приглашает всех заинтересованых лиц посетить наш стенд на выставке SofTool 2011, которая пройдет 25-28 октября 2011 года в 69 павильоне ВВЦ. Наши разработки будут представлены в рамках объединенной экспозиции Российской Академии Наук на стенде E47.

14.10.2011: Вышла версия 2.7 инструмента верификации BLAST

Центр верификации Linux опубликовал новую версию свободного инструмента верификации BLAST 2.7, который автоматически анализирует Си-программы на предмет нарушения заданных правил корректности посредством реализации метода итеративного уточнения абстракции программы на основе контр-примеров CEGAR.

16.09.2011: Вышла версия 2.6 инструмента верификации BLAST

Центр верификации Linux опубликовал новую версию свободного инструмента верификации BLAST 2.6, который автоматически анализирует Си-программы на предмет нарушения заданных правил корректности посредством реализации метода итеративного уточнения абстракции программы на основе контр-примеров CEGAR.

17-06-2011: Вышла версия 0.3 системы KEDR

Выпущена версия 0.3 системы KEDR, предназначенной для runtime-анализа модулей ядра Linux, в том числе драйверов устройств, модулей файловых систем и т.д. Инструменты из состава KEDR работают с модулем ядра, выбранным пользователем. Они позволяют отслеживать вызовы функций данным модулем и сохранять информацию о них в файле ("трасса вызовов"), имитировать нехватку системных ресурсов, выявлять утечки памяти.

Наиболее важные изменения в этой версии (подробная информация - в ChangeLog):

02-03-2011: Вышла версия 0.2 системы KEDR

Выпущена версия 0.2 системы KEDR, предназначенной для runtime-анализа модулей ядра Linux, в том числе драйверов устройств, модулей файловых систем и т.д. Инструменты из состава KEDR позволяют отслеживать вызовы функций из модуля, выбранного пользователем, и сохранять информацию о них в файле ("трасса вызовов"), имитировать нехватку системных ресурсов, выявлять утечки памяти.

В версии 0.2 несколько компонентов KEDR были переработаны, а также были исправлены различные ошибки.

23-11-2010: Вышла версия 0.1 системы KEDR

Выпущена первая версия системы KEDR. Система предназначена для runtime-анализа модулей ядра Linux. KEDR предоставляет возможность перехватывать вызовы функций, выполняемые анализируемым модулем (функции могут экспортироваться как собственно ядром, так и другими модулями).

Перехват вызовов позволяет, например, выводить в трассу аргументы и возвращаемое значение вызванных функций, выполнять имитацию системных сбоев (в т.ч. имитировать нехватку памяти в системе) и т.д. KEDR предоставляет средства и для реализации других видов анализа модулей ядра.

25-10-2010: Результаты Google Summer of Code 2010 интегрированы в Linux Driver Verification

При поддержке The Linux Foundation мы приняли участие в Google Summer of Code 2010 с проектом "Linux Device Drivers Quality Inspector". В рамках этого проекта студент МФТИ Андрей Третьяков под руководством Алексея Хорошилова разработал инфраструктуру для отслеживания изменений в git репозитории ядра с тем, чтобы инструменты LDV проверяли только те драйвера устройств, в которые могли быть внесены ошибки после предыдущей проверки.