Проект Geant4 продолжает развиваться, поэтому интересно вновь проверить его с помощью статического анализатора кода PVS-Studio. На этот раз проверке будет подвергнута версия 10.2 (предыдущая проверка относилась к версии 10.0-beta).
Читать полностью »
Рубрика «pvs-studio» - 30
PVS-Studio спешит на помощь CERN: проверка проекта Geant4
2016-07-03 в 16:10, admin, рубрики: c++, CERN, coverity, Geant4, open source, pvs-studio, Блог компании PVS-Studio, открытый код, ошибки в коде, Программирование, статический анализ кодаПроверяем исходный код WPF Samples от Microsoft
2016-06-27 в 11:18, admin, рубрики: .net, open source, pvs-studio, static code analysis, windows presentation foundation, wpf, Блог компании PVS-Studio, Компиляторы, разработка под windows, статический анализ кодаС целью популяризации анализатора кода PVS-Studio, который научился проверять помимо C++, ещё и C# проекты, мы решили проверить исходный код WPF примеров, предлагаемых компанией Microsoft.
С выходом Windows Vista, была представлена новая система для построения красивых клиентских приложений — Windows Presentation Foundation (WPF). Данная графическая подсистема включена в состав .NET Framework начиная с версии 3.0. Она использует язык разметки XAML и пришла на смену устаревшему WinForms. На мой взгляд, основным недостатком WinForms было то, что он осуществлял всю прорисовку на центральном процессоре. WPF поступала более логически и отдавала прорисовку своих компонентов DirectX. Сейчас WPF практически вытеснило WinForms и позволяет делать универсальные интерфейсы сразу для трех платформ (PC, XBOXOne, Winphone).
Читать полностью »
Единорог, который смог
2016-06-22 в 12:15, admin, рубрики: c++, C++ REST SDK, Casablanca, microsoft, pvs-studio, rest, Блог компании PVS-Studio, ошибки в коде, разработка под windows
Одна из команд разработчиков Microsoft уже использует в работе анализатор PVS-Studio. Это хорошо, но недостаточно. Поэтому я продолжаю демонстрировать, какую пользу может приносить статический анализ кода на примере проектов Microsoft. Три года назад мы проверяли проект Casablanca и не смогли в нём ничего обнаружить. За это проект был отмечен медалью «безбажный код». Прошло время, проект развивался и рос. В свою очередь, анализатор PVS-Studio существенно продвинулся в возможностях анализа кода. И наконец я могу написать статью об ошибках, которые анализатор выявляет в проекте Casablanca (C++ REST SDK). Ошибок мало, но то, что теперь их достаточно для написания статьи, говорит о эффективности PVS-Studio.
Читать полностью »
Ищем аномалии в X-Ray Engine
2016-06-20 в 10:23, admin, рубрики: c++, open source, pvs-studio, STALKER, static code analysis, Блог компании PVS-Studio, разработка игр, статический анализ кодаX-Ray Engine — игровой движок, который используется в играх серии S.T.A.L.K.E.R. 16 сентября 2014 года его исходный код был выложен в открытый доступ, и с тех пор его развитием занимаются фанаты. Большой размер проекта, огромное количество багов в играх — всё это располагает к отличной демонстрации возможностей статического анализатора кода PVS-Studio.
Проверка проекта OpenJDK с помощью PVS-Studio
2016-06-17 в 10:02, admin, рубрики: C, c++, java, open source, openjdk, pvs-studio, static code analysis, Блог компании PVS-Studio, Компиляторы, статический анализ кода
Соавтор: Роман Фомичёв.
В настоящее время многие проекты открывают свой исходный код и разрешают делать изменения в нем сообществу заинтересованных разработчиков. Мы проверим один из таких проектов — OpenJDK, и поможем разработчикам улучшить их код.
Введение
OpenJDK (Open Java Development Kit) — проект по созданию реализации платформы Java (Java SE), состоящий исключительно из свободного и открытого исходного кода. Проект стартовал в 2006 году усилиями компании Sun. В проекте используются несколько языков — C, C++ и Java. Нас интересуют исходные коды написанные на С и С++. Для проверки возьмем 9-ю версию OpenJDK. Код этой реализации Java платформы доступен в репозитории Mercurial.
Читать полностью »
Занимательный C#
2016-06-15 в 9:37, admin, рубрики: .net, C#, pvs-studio, Блог компании PVS-Studio, КомпиляторыДля оценки качества диагностик анализатора C# кода PVS-Studio мы проверяем большое количество различных проектов. Т.к. проекты пишутся разными людьми в различных командах в разных компаниях, нам приходится сталкиваться с различными стилями, сокращениями, да и просто возможностями, которые предлагает язык C# программистам. В этой статье я хочу обзорно пройтись по некоторым моментам, которые предлагает нам замечательный язык C#, и по тем проблемам, на которые можно наткнуться при его использовании.
Проверяем исходный код 7-Zip с помощью PVS-Studio
2016-06-06 в 12:55, admin, рубрики: 7-zip, C, c++, open source, pvs-studio, static code analysis, Блог компании PVS-Studio, статический анализ кодаОдной из программ, которая позволяет решить задачу сжатия данных, является популярный файловый архиватор 7-Zip, я и сам частенько его использую. Читатели давно обращались к нам с просьбой проверить код данного приложения. Что ж, пришло время заглянуть в его исходники и посмотреть, что интересного сможет найти PVS-Studio.
Microsoft открыла исходники Xamarin.Forms. Мы не могли упустить шанс проверить их с помощью PVS-Studio
2016-05-24 в 10:58, admin, рубрики: .net, C#, Mono, Mono и Moonlight, open source, pvs-studio, static code analysis, xamarin, xamarin.forms, Блог компании PVS-Studio, статический анализ кода
Не так давно, как вы наверняка знаете, корпорация Microsoft купила компанию Xamarin. Даже несмотря на то, что в последнее время Microsoft начала постепенно открывать исходные коды своих продуктов, открытие кода Xamarin.Forms стало большим сюрпризом. Я не смог пройти мимо такого события, и решил проверить исходный код этого проекта с помощью статического анализатора кода.
Введение в Roslyn. Использование для разработки инструментов статического анализа
2016-05-19 в 11:15, admin, рубрики: .net, api, C#, open source, pvs-studio, roslyn, static code analysis, Visual Studio, Блог компании PVS-Studio, статический анализ кода
Roslyn является платформой, предоставляющей разработчику различные мощные средства для разбора и анализа кода. Но наличия таких средств недостаточно, нужно понимать, что и для чего необходимо использовать. Данная статья несёт цель ответить на подобные вопросы. Помимо этого, будет рассказано об особенностях разработки статических анализаторов, использующих Roslyn API.
Читать полностью »
Проверка Firebird 3.0
2016-05-11 в 13:54, admin, рубрики: c++, firebird, Firebird/Interbase, open source, pvs-studio, static code analysis, Блог компании PVS-Studio, статический анализ кода, СУБД
Не так давно вышла новая версия СУБД Firebird. Релиз стал одним из масштабных в истории проекта: была сильно переработана архитектура, добавлена поддержка многопоточности, улучшена производительность. Такое значительное обновление и послужило поводом для повторной проверки Firebird с помощью статического анализатора кода PVS-Studio.
Читать полностью »