Главная

Публикации

Публикации: #StaticAnalysis

Публикации: # StaticAnalysis

Все теги:

#Cpp

#CSharp

#Knowledge

#64bit

#GameDev

#StaticAnalysis

#Release

#Security

#DevOps

#Marketing

#Java

#Compiler

#OS

#GuestArticle

#Embedded

#Broadcasting

#Knowledge #StaticAnalysis

02 Ноя 2011

Мифы о статическом анализе. Миф второй – профессиональные разработчики не допускают глупых ошибок

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

Общаясь с людьми на форумах, я заметил несколько стойких заблуждений, касающихся методологии статического анализа. Я решил сделать небольшой цикл статей, в которых попробую показать, как всё...

...

#StaticAnalysis

01 Ноя 2011

Мифы о статическом анализе. Миф первый – статический анализатор это продукт разового применения

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

...

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

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

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

#StaticAnalysis

21 Июл 2011

Лев Толстой и статический анализ кода

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

В этот раз с помощью PVS-Studio мы проверили Apache HTTP Server. Как и ожидалось, нашли в нём ошибки. Ошибок мало. Это тоже...

...

#StaticAnalysis

12 Апр 2011

Почему статический анализ кода необходимо проводить регулярно, а не время от времени (к примеру "каждый релиз")

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

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

...

#StaticAnalysis

24 Дек 2010

Ситуации, когда может пригодиться статический анализатор кода

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

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

...

#Cpp #Knowledge #StaticAnalysis

09 Дек 2010

Статический анализ и регулярные выражения

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

Я занимаюсь разработкой статического анализатор кода PVS-Studio для анализа программ на языке Си/Си++. После появления в PVS-Studio 4.00 анализа общего назначения мы получили множество откликов...

...

#StaticAnalysis

10 Янв 2009

Константин Книжник: статический анализ, взгляд со стороны

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

Статья представляет интервью, взятое у Константина Книжника, сотрудником компании "Системы программной верификации" Андреем Карповым. Затронуты вопросы статического анализа кода, актуальность...

...

#Cpp #64bit #StaticAnalysis

22 Апр 2007

Статический анализ кода для верификации 64-битных приложений

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

В результате появления на рынке персональных компьютеров 64-битных процессоров, перед разработчиками программ возникает задача переноса старых 32-битных приложений на новую платформу. После...

...