Публикации: Андрей Карпов

07 Окт 2019

Лекция 8. Стандарт кодирования PVS-Studio и приёмы при разработке эффективных С++ диагностик

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

На 8 лекции будет рассмотрен стандарт кодирования и зачем его нужно применять. Касательно стандарта кодирования будут затронуты общие положения, строки, именование переменных, именование типов, именование функций а также выравнивание кода. Еще будет рассказано о таких …

...

06 Окт 2019

Лекция 7. Статический анализ, как неотъемлемая часть разработки при написании программ на C++

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

...

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

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

Даю согласие на обработку своих персональных данных в соответствии с Политикой обработки персональных данных

19 Апр 2019

На что нужно обратить внимание при обзоре кода разрабатываемой библиотеки

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

Разработка библиотек — более ответственное дело, чем разработка прикладного программного обеспечения. Разработчик не знает, как именно будет использоваться его библиотека, и должен обращать дополнительное внимание на мелкие детали и вопросы переносимости. Это заставляе…

...

07 Дек 2018

Что могут статические анализаторы, чего не могут программисты и тестировщики

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

Одной из технологий выявления ошибок на ранних этапах является статический анализ кода. К сожалению, ряд инструментов реализуют анализ весьма поверхностно, что снижает доверие к методологии статического анализа в целом. Некоторые программисты начинают думать, что анали…

...

16 Ноя 2018

Паттерны 64-битных ошибок в играх

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

Написание на C и C++ 64-битных программ, работающих с большими массивами данных, требует особой аккуратности. В 64-битном коде встречаются особые трудноуловимые ошибки, о которых редко рассказывают в книгах или на конференциях. Автор рассмотрит паттерны 64-битных ошибо…

...

03 Ноя 2018

Опыт разработки статического анализатора кода

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

Автор доклада постарается в общих чертах описать, как всё обстоит на самом деле. Он покажет на примерах, почему нормальный анализ с помощью регулярных выражений нереализуем, что такое Data Flow анализ, а также расскажет о других технологиях, применяемых при анализе код…

...

01 Окт 2018

SAST, борьба с потенциальными уязвимостями

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

Первый - это поиск уже известных уязвимостей методом сопоставления с шаблоном. Такой подход имеет право на существование и может обнаружить в проекте код, взятый из старой библиотеки, подверженной определённой уязвимости. Второе направление - это выявление в новом коде…

...

19 Апр 2018

Эффективный C++ (Маерс тут ни при чём :)

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

Первое: нововведения в стандарт языка, позволяющие писать эффективный код. Второе: зрелость инструментов разработки и увеличение скорости сборки проектов. Третье: зрелось вспомогательного инструментария, позволяющие контролировать качество кода и другие аспекты жизненн…

...

14 Окт 2017

Поиск уязвимостей с использованием статического анализа кода

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

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

...

24 Фев 2017

Как потратить 10 лет на разработку анализатора кода

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

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

...