Существует проект NetXMS. Это программное обеспечение для мониторинга компьютерных систем и сетей. Может быть использовано для мониторинга всей IT-инфраструктуры, начиная с SNMP-совместимых...
Мы проверили заголовочные файлы, входящие в состав Embarcadero C++Builder XE3. Фактически, это означает только проверку небольшого числа inline-функций. Соответственно найдено совсем...
Мы проверили пакет Windows 8 Driver Samples, используя анализатор PVS-Studio. И нашли в примерах разнообразные ошибки. Ничего ужасного в этом нет. Ошибки есть везде. Поэтому название...
Для тестирования нашего C/C++ анализатора PVS-Studio мы часто проверяем различные проекты с открытым исходным кодом и публикуем отчёты о найденных в них ошибках. И, конечно, очевидно, что для...
Думаю, подавляющему большинству читателей данного блога известно, что PVS-Studio — статический анализатор исходного кода на C/C++ . Однако, работая с результатами анализа из своей любимой IDE...
Некоторые наши пользователи запускают статический анализ только время от времени. При этом находят новые ошибки в своем коде, радуются этому факту и с удовольствием продлевают лицензии на...
Если в ваше решение (solution) входит много больших проектов, то работа с анализатором PVS-Studio может стать некомфортной. В этой небольшой заметке мы рассмотрим, почему это происходит и как...
Решил написать о работе нашей команды с open-source проектами. Перечислю, какие открытые проекты к данному моменту уже проверены с помощью анализатора PVS-Studio. Расскажу о...
Как статический анализ, так и рецензирование (или ревизия) кода являются методиками поиска ошибок и уязвимостей в исходном коде без непосредственного выполнения исследуемых программ.