Главная » Архив меток: предупреждения

Архив меток: предупреждения

И снова в космос: как единорог Stellarium посещал

За все время своего существования люди приложили колоссальное количество усилий, чтобы изучить практически всю площадь звездного неба. На сегодняшний день мы рассмотрели сотни тысяч астероидов, комет, туманностей и звезд, галактик и планет. Чтобы увидеть всю эту красоту самостоятельно, не обязательно выходить из дома и покупать себе телескоп. Можно установить на компьютер Stellarium — виртуальный планетарий, и посмотреть на ночное небо, ...

Читать далее »

PVS-Studio: поддержка стандартов кодирования MISRA C и MISRA C++

Начиная с версии 6.27 статический анализатор кода PVS-Studio может классифицировать свои предупреждения согласно стандартам MISRA C и MISRA C++. Благодаря поддержке этих стандартов анализатор стало возможным эффективно использовать для улучшения безопасности, переносимости и надежности программ для встраиваемых систем.В этом году мы занялись поддержкой в анализаторе PVS-Studio таких стандартов, как CWE и SEI CERT. В основном поддержка свелась к классификации уже ...

Читать далее »

В Новой Зеландии запретили использовать 5G-оборудование Huawei

Новая Зеландия заблокировала одному из крупнейших операторов связи Spark New Zealand возможность использования телекоммуникационного оборудования Huawei для сетей 5G. Оператор Spark New Zealand сообщил в среду об отклонении Службой безопасности правительственных коммуникаций Новой Зеландии (GCSB) запроса на использование технологий 5G компании Huawei в связи с угрозой национальной безопасности. Согласно законодательству страны, отклонение запроса агентством GCSB означает, что Spark не сможет ...

Читать далее »

Самые быстрые отчёты на диком западе. И горстка багов в придачу…

Не только Microsoft в последнее время выкладывает код собственных проектов в открытый доступ — другие компании тоже следуют этой тенденции. Для нас же — разработчиков PVS-Studio — это отличный способ ещё раз протестировать анализатор, посмотреть, что интересного он сможет найти и сообщить об этом авторам проекта. Сегодня заглядываем внутрь проекта компании Fast Reports. Что проверяли? FastReport — генератор отчётов, разрабатываемый ...

Читать далее »

Как писать на Objective-C в 2018 году. Часть 1

Swift — замечательный язык, и за ним будущее разработки под iOS. Большинство iOS-проектов частично или полностью переходят на Swift. Но язык нераздельно связан с инструментарием, а в инструментарии Swift есть недостатки. У Swift нет стабильного ABI. В компиляторе Swift по-прежнему находятся баги, которые приводят к его падению или генерации неправильного кода. И, что очень важно, проекты на Swift собираются слишком ...

Читать далее »

Godot: к вопросу о регулярном использовании статических анализаторов кода

Аудитория наших читателей растёт, поэтому мы вновь и вновь пишем статьи, в которых объясняем, как правильно использовать методологию статического анализа кода. Мы считаем очень важным объяснить, что инструменты статического анализа должны использоваться не эпизодически, а регулярно. В очередной раз продемонстрируем это на практическом примере, перепроверив проект Godot. Используйте анализаторы регулярно Готовясь к выступлению на конференции разработчиков игр, я решил обзавестись ...

Читать далее »

Электромобили и гибридные авто должны будут издавать дополнительные звуки: зачем это нужно

В Евросоюзе приняли закон, в соответствии с которым автомобили с электродвигателями оснастят системами звукового оповещения пешеходов. Динамики будут автоматически включаться при низкой скорости движения машины, чтобы предупреждать окружающих о её приближении. Рассказываем, какие ещё страны ввели подобные законы и почему это важно. NZ / PD Фото Bernard Spragg. Зачем понадобился закон Электромобили перемещаются в пространстве почти бесшумно: эти машины питаются ...

Читать далее »

Технологии, используемые в анализаторе кода PVS-Studio для поиска ошибок и потенциальных уязвимостей

Краткое описание технологий, используемых в инструменте PVS-Studio, которые позволяют эффективно обнаруживать большое количество паттернов ошибок и потенциальных уязвимостей. Статья описывает реализацию анализатора для С и C++ кода, однако приведённая информация справедлива и для модулей, отвечающих за анализ C# и Java кода. Введение Существуют заблуждения, что статические анализаторы кода — это достаточно простые программы, в основе которых лежит поиск паттернов кода ...

Читать далее »

Как авиакатастрофа может улучшить разбор факапов в ИТ

Вечером 16 августа 1987 года из аэропорта Детройта вылетел рейс 255 компании Northwest Airlines. Он разбился спустя минуту, и в катастрофе погибли 156 человек. Вроде бы очевидная ошибка пилотов привела к исследованиям с участием NASA, изменениям конструкции самолетов и полетных процедур. А еще эта история имеет отношение к управлению качеством, управлению проектами и к вопросу вины и наказания не только ...

Читать далее »

Какие ошибки прячутся в коде Infer.NET?

Публикация корпорацией Microsoft исходников своих проектов является вполне хорошим поводом для их проверки. Этот раз исключением не стал, и сегодня мы посмотрим на подозрительные места, найденные в коде Infer.NET. Долой аннотацию – ближе к делу! Немного о проекте и анализаторе Infer.NET – система машинного обучения, разрабатываемая специалистами из Microsoft. Исходный код проекта недавно стал доступен на GitHub, что и послужило ...

Читать далее »