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

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

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

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

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

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

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

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

ГАИ проиграла суд против роботов-доставщиков

Московский городской суд отклонил жалобу ГАИ на решение суда первой инстанции, который не усмотрел в действиях роботов-доставщиков состава административного правонарушения, связанного с нарушением Правил дорожного движения. Ранее ГАИ обвинило дочернюю компанию Яндекса — «Рободоставку» — в нарушении ПДД.

Поводом для разбирательства стало происшествие 7 марта, когда инспектор ГАИ счёл, что робот-доставщик, передвигавшийся по тротуару, создаёт помехи пешеходам.

По мнению инспектора, это подпадало под статью 12.33 КоАП РФ. Компании «Рободоставка» в этом случае грозил штраф в размере 300 тыс. рублей.

Представители Яндекса с такой трактовкой не согласились, указав, что в действиях роботов-доставщиков отсутствует и не может присутствовать умысел. Дело было рассмотрено в Мещанском районном суде Москвы, который поддержал позицию компании.

«Роботы-доставщики не относятся к транспортным средствам, определённым нормами действующего законодательства. Как следует из видеозаписи, робот-доставщик передвигался по краю тротуара, не перекрывая пешеходную зону, автоматически останавливался при приближении людей. Пешеходы продолжали движение. Контакта, вынужденного сближения, опасных манёвров или остановок зафиксировано не было. Следовательно, объективных признаков угрозы безопасности дорожного движения не имелось», — такую выдержку из решения суда приводит Autonews.

ГАИ с таким решением не согласилась и подала жалобу в Московский городской суд. Однако Мосгорсуд оставил её без удовлетворения. Решение было принято ещё 5 февраля, но опубликовано только вечером 9 февраля.

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

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