PVS-Studio

Главная

Публикации

Ошибки

#Cpp #64bit

15 Апр 2008

64 бита, /Wp64, Visual Studio 2008, Viva64 и все, все, все...

Андрей Карпов

Данная статья ставит своей задачей ответить на ряд вопросов, касающихся безопасного переноса Си/Си++ кода на 64-битные системы. Статья написана как ответ на часто обсуждаемую в форумах...

...

04 Апр 2008

Преимущества использования Viva64

Андрей Карпов, Евгений Рыжков

Цель данной рекламной статьи - показать преимущества от использования инструмента Viva64 в жизненном цикле разработки программного...

...

Подписаться на рассылку

Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!

* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности

01 Апр 2008

Выпущена библиотека анализа кода VivaCore 1.0

Андрей Карпов

ООО "СиПроВер" занимаясь исследованиями в области статического анализа и работая над созданием инструмента Viva64, пришла к выводу, что большая часть разработанных структур и алгоритмов может...

...

21 Мар 2008

Команда Viva64.com преобразована в компанию "Системы программной верификации"

Андрей Карпов

Сообщаем о том, что команда Viva64.com - создатель анализатора кода Viva64 и библиотеки разбора кода VivaCore - преобразована в Общество с ограниченной ответственностью "Системы...

...

16 Фев 2008

Применение технологии статического анализа кода при разработке параллельных программ

Андрей Карпов, Евгений Рыжков

В статье рассматривается вопрос применения статических анализаторов кода в современных процессах разработки параллельных программ. Появившись в 70-80-х годах как дополнение к...

...

10 Фев 2008

Разработка ресурсоемких приложений в среде Visual C++

Андрей Карпов, Евгений Рыжков

Статья познакомит разработчиков прикладного программного обеспечения с задачами, которые ставит перед ними массовое внедрение многоядерных 64-битных вычислительных систем, знаменующих...

...

31 Янв 2008

Применение статического анализа при разработке программ

Алексей Колосов

Статический анализ - это способ проверки исходного кода программы на корректность. Процесс статического анализа состоит из трех этапов. Сначала анализируемый код разбивается на лексемы ...

...

21 Янв 2008

Введение в проблематику разработки параллельных программ

Андрей Карпов

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

...

12 Янв 2008

Использование библиотеки анализа кода OpenC++: модификация, улучшение, исправление ошибок

Андрей Карпов

Данная статья представляет интерес для разработчиков, использующих или планирующих использовать библиотеку OpenC++ (OpenCxx). Автор рассказывает о своем опыте улучшения библиотеки OpenC++...

...

12 Янв 2008

Краткое описание библиотеки анализа кода VivaCore

Андрей Карпов, Евгений Рыжков

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

...