ООО "Системы программной верификации"

Программисты видят в стандарте C++0x возможность использовать лямбда-функции и прочие мало понятные для меня сущности :). Я увидел в нем удобные средства, позволяющие исключить многие 64-битные ошибки.

Подробнее...

На днях мы захотели протестировать работу Intel(R) C++ Compiler для сборки нашего анализатора кода PVS-Studio. Наш анализатор активно использует Boost, поэтому, прежде всего, необходимо было пересобрать его с помощью Intel(R) C++ Compiler. У нас это не получилось, зато получился этот пост. Может быть, кто-то подскажет, как же все-таки собрать Boost с помощью Intel(R) C++ Compiler?

Подробнее...

Занимаясь продвижением анализатора Viva64 (из состава PVS-Studio) мы часто комментируем ключ /Wp64 из Microsoft Visual C++. Кто не в курсе, напомню, что этот ключ появился в Visual Studio 2003 и предназначался для подготовки миграции приложений на 64-битные системы. В Visual Studio 2008 ключ /Wp64 считается устаревшим, поскольку надо уже давно компилировать 64-битные приложения, а не готовиться к этому. То есть компиляция в 64-битном режиме выявляет все те же самые ошибки и недостатки кода, что выявлял ключ /Wp64 при сборке 32-битного приложения. Причем при компиляции 64-битного кода это делается гораздо более полно и точно.

Но помимо сказанного, у ключа /Wp64 есть еще один недостаток, который путает программистов, которые не знакомы с ним. Это касается проблемы разбора кода, содержащего некоторые шаблоны. Рассмотрим пример.

Подробнее...

Евгений Рыжков

На сайте www.viva64.com выложен курс "Уроки разработки 64-битных приложений на языке Си/Си++" на русском языке. Авторами курса являются: к.ф.-м.н. Карпов Андрей Николаевич и к.т.н. Рыжков Евгений Александрович. Авторы занимаются вопросами обеспечения качества 64-битных приложений и участвуют в разработке статического анализатора кода PVS-Studio для верификации кода ресурсоемких приложений. Под катом - полное описание курса и ссылка на уроки. А поскольку я являюсь одним из авторов, в комментариях к посту можно пообщаться :-).
Подробнее...

В версиях Visual Studio Team System (в отличие от "обычных" редакций Visual Studio) в компиляторе C++ есть ключ командной строки /analyze. Этот ключ позволяет запустить модуль статического анализа, встроенный в Team System для поиска в коде некоторых ошибок.

Подробнее...

Продолжаем цикл рассказов о 64-битных ошибках, обнаруживаемых в реальных приложениях. Время идет, потребности в потребляемой памяти растут и пришел момент, когда кто-то решил отсортировать массив, состоящий более чем из 2^31 элементов. Для этого он решил воспользоваться функцией qsort, реализованной OpenBSD 4.5. Результатом стало обнаружение новой 64-битной ошибки.

Подробнее...

Занимаясь разработкой анализатора кода PVS-Studio, мы большое внимание уделяем повышению производительности инструмента. Подобные решения работают достаточно медленно, поэтому программисту даже на мощной машине приходится иногда скучать, ожидая завершения анализа. Анализатор PVS-Studio использует возможности многоядерных процессоров, что позволяет повысить скорость анализа проекта в несколько раз по сравнению с одноядерными системами. Тем не менее, оказалось, что дисковая подсистема также может оказывать существенно влияние на скорость выполнения анализа.

Подробнее...

В сети очень часто можно встретить рассуждения, что многоядерные процессоры, да и вообще параллельность никому не нужна, и все это проделки одной (двух, трех) компании, которой надо продавать новые процессоры.

Не буду призывать всех "любить" параллельность, а просто расскажу о том, как параллельные приложения помогают разработчикам программного обеспечения.

Подробнее...

Разрабатывая анализатор Viva64, предназначенный для поиска 64-битных ошибок, я иногда сталкиваюсь с интересными моментами поведения кода. Хочу показать один пример, который с практической точки зрения не очень интересен, но может быть полезен для понимания более сложных случаев.

Подробнее...

В очередном обсуждении статических анализаторов кода мы как обычно :-) упомянули наш инструмент PVS-Studio. Один из участников дискуссии задал вопрос: "А зависит ли вообще результат работы анализатора кода от используемого компилятора?". Ответ на этот вопрос значительно более сложен, чем кажется на первый взгляд. Поэтому и появилась эта запись.

Подробнее...