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

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

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

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

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

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

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

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

WhatsApp после YouTube пропал из DNS-сервера Роскомнадзора

Домен WhatsApp (принадлежит Meta, признанной экстремистской и запрещенной в России) исчез из записей Национальной системы доменных имен (НСДИ) — той самой инфраструктуры, которую развернули в рамках закона о «суверенном Рунете».

В результате устройства пользователей перестали получать IP-адреса для whatsapp[.]com и web.whatsapp[.]com, а доступ к мессенджеру для многих теперь возможен только через VPN.

Речь идет именно о доменных записях в НСДИ. Если DNS не возвращает корректный IP-адрес, приложение просто не может установить соединение с серверами.

При этом, как выяснил «КоммерсантЪ», технический домен whatsapp[.]net и короткие ссылки wa[.]me в системе пока сохраняются.

Похожая история накануне произошла с YouTube — его домен также пропал из НСДИ. Ранее аналогичным способом в России «отключали» Discord и Signal — тогда тоже использовались механизмы национальной DNS-инфраструктуры.

Формально это не выглядит как классическая блокировка по IP или через фильтрацию трафика. Но по факту эффект тот же: без альтернативных способов подключения сервис перестает работать.

Напомним, на днях российские власти приняли решение начать работу по замедлению мессенджера Telegram в России. При этом есть мнение, что Роскомнадзор экономит ресурсы, замедляя Telegram.

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