Наши клиенты
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
Вот, наконец, добрался попробовать Си++ компилятор, входящий в состав Intel Parallel Studio XE 2011 beta.»
В этом блоге нередко можно почитать о том, как тот или иной программный инструмент, или технология разработки программ помогает делать меньше ошибок, быстрее их находить, легче исправлять.»
Господа, хватит уже рассматривать ссылки исключительно в контексте их количества, купли/продажи и считать PR сайта, где они расположены.»
В статье рассмотрены различные уровни использования технологий статического анализа кода в командной разработке, показано как "перевести" процесс с одного уровня на другой.»
В статье показаны приемы организации работы анализатора кода PVS-Studio вместе с системами непрерывной интеграции (continuous integration).»
В статье сравниваются три механизма анализа кода с точки зрения выявления 64-битных ошибок: компилятор Visual C++2010, компонент Code Analysis for C/C++ входящий в состав Visual Studio 2010 Premium/Ultimate и анализатор Viva64 входящий в состав PVS-Studio 3.60. »
64-битные уроки
Описание курса "Уроки разработки 64-битных приложений на языке Си/Си++"
Курс посвящен созданию 64-битных приложений на языке Си/Си++ и ориентирован на разработчиков Windows-приложений, использующих среду Visual Studio 2005/2008/2010. Разработчики для других 64-битных операционных систем также узнают много интересного. В курсе будут рассмотрены все этапы, позволяющие создать новое надежное 64-битное приложение или выполнить миграцию существующего 32-битного кода на 64-битную систему.
Курс состоит из 28 уроков, посвященных знакомству с 64-битными системами, вопросам сборки 64-битных приложений, методам поиска специфичных для 64-битного кода ошибок и оптимизации кода. Рассматриваются также вопросы, как оценка стоимости перехода на 64-битные системы и рациональность этого перехода.
Авторами курса являются: к.ф.-м.н. Карпов Андрей Николаевич и к.т.н. Рыжков Евгений Александрович. Авторы занимаются вопросами обеспечения качества 64-битных приложений и участвуют в разработке статического анализатора кода PVS-Studio для верификации кода ресурсоемких приложений.
Правообладателем курса является ООО "Системы программной верификации". Сайт компании: http://www.viva64.com. Контактная информация: e-mail: support@viva64.com, 300027, г. Тула, а/я 1800.
Содержание курса:
- Урок 01. Что такое 64-битные системы.
- Урок 02. Поддержка 32-битных приложений.
- Урок 03. Перенос кода на 64-битные системы. За и против.
- Урок 04. Создание 64-битной конфигурации.
- Урок 05. Сборка 64-битного приложения.
- Урок 06. Ошибки в 64-битном коде.
- Урок 07. Проблемы выявления 64-битных ошибок.
- Урок 08. Статический анализ для выявления 64-битных ошибок.
- Урок 09. Паттерн 01. Магические числа.
- Урок 10. Паттерн 02. Функции с переменным количеством аргументов.
- Урок 11. Паттерн 03. Операции сдвига.
- Урок 12. Паттерн 04. Виртуальные функции.
- Урок 13. Паттерн 05. Адресная арифметика.
- Урок 14. Паттерн 06. Изменение типа массива.
- Урок 15. Паттерн 07. Упаковка указателей.
- Урок 16. Паттерн 08. Memsize-типы в объединениях.
- Урок 17. Паттерн 09. Смешанная арифметика.
- Урок 18. Паттерн 10. Хранение в double целочисленных значений.
- Урок 19. Паттерн 11. Сериализация и обмен данными.
- Урок 20. Паттерн 12. Исключения.
- Урок 21. Паттерн 13. Выравнивание данных.
- Урок 22. Паттерн 14. Перегруженные функции.
- Урок 23. Паттерн 15. Рост размеров структур.
- Урок 24. Фантомные ошибки.
- Урок 25. Практическое знакомство с паттернами 64-битных ошибок.
- Урок 26. Оптимизация 64-битных программ.
- Урок 27. Особенности создания инсталляторов для 64-битного окружения.
- Урок 28. Оценка стоимости процесса 64-битной миграции Си/Си++ приложений.
Вы можете открыть все уроки в виде одного файла (в том числе и версию для печати). Этот общий файл можно напечатать либо на обычном принтере, либо, к примеру, преобразовать в pdf-файл с помощью pdf-принтера.
Объем курса: курс предполагает самостоятельное знакомство с каждым из 28 уроков в течение 20-40 минут. Общее время изучения материала составляет примерно 18 часов.
300027, Россия, Тула, а/я 1800, тел. +7 (4872) 38-59-95,. офис: Россия, Тула, Кутузова 100, оф. 73.
