GitHub приобрел инструмент для анализа кода Semmle

GitHub приобрел инструмент для анализа кода Semmle

GitHub приобрел инструмент для анализа кода Semmle

Представители сервиса GitHub объявили о приобретении инструмента для анализа кода — Semmle. Semmle позволит разработчикам и исследователям в области кибербезопасности лучше выявлять потенциальные уязвимости в коде их продуктов.

Semmle помогает минимизировать ручную работу в процессе тестирования, предлагая собственный язык запросов и движок для анализа. Со временем GitHub планирует еще плотнее внедрить Semmle в рабочий процесс сервиса.

К сожалению, представители не раскрыли финансовые подробности сделки, однако можно немного поспекулировать. Например, известно, что инструмент Semmle изначально был результатом работы специалистов Оксфордского университета, в прошлом году его запустили официально с циклом финансирования в $21 млн.

В общей сумме компании удалось заработать $31 миллион перед приобретением.

Активными пользователями Semmle на данный момент являются такие узнаваемые имена, как Uber, NASA, Microsoft и Google. Инструмент помогает им анализировать код, отслеживать проекты и, само собой, выводит предупреждения, если что-то не так.

Проводник Windows падал не из-за Microsoft, виноват оказался деинсталлятор

Инженер Microsoft Рэймонд Чен рассказал любопытную историю отладки загадочных падений Проводника. Сначала всё выглядело так, будто в Windows внезапно появился неприятный баг. Но виновником оказалась вовсе не Microsoft, а сторонний деинсталлятор.

Проблема проявилась как резкий всплеск сбоев Проводника. Инженеры начали изучать дампы и заметили странную деталь: падала 32-битная версия программы, запущенная на 64-битных системах Windows.

Такая версия Проводника всё ещё есть в Windows ради совместимости со старыми приложениями. Обычно современные системы почти не используют этот путь. Но в данном случае сторонний деинсталлятор каким-то образом заставлял систему обращаться именно к этому устаревшему компоненту.

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

Поскольку процесс повторялся в цикле, повреждение памяти постепенно накапливалось. В какой-то момент указатель стека уезжал в область активного кода, и Проводник падал.

Со стороны всё выглядело как типичная системная ошибка: софт снова и снова аварийно завершал работу, создавая ощущение, что проблема в самой Windows. На деле операционная система лишь показывала последствия ошибки в стороннем ПО.

Чен напомнил важную вещь: в экосистеме Windows с миллиардами устройств и огромным количеством приложений далеко не каждый сбой компонента Microsoft означает баг в Windows. Сторонние программы тоже могут ломать системные процессы, особенно если неправильно используют низкоуровневые API.

RSS: Новости на портале Anti-Malware.ru