Перевод обзорной статьи про Saturn

К сожалению у меня последнее время не хватает времени на написание статей для бложика, но буду стараться его выцарапать. А пока что ловите перевод статьи про статический анализатор C - Saturn. Мне он нужен был только для экзамена по английскому, но пару комментариев я здесь оставлю.

Оригинал и перевод здесь.

PVS под лупой

В этой заметке будет рассмотрен PVS-Studio более внимательно. Для оценки работы инструментов статического анализа я создал несколько простеньких примеров и собираюсь рассказать как себя на них проявил этот инструмент. Итак, тестируется версия PVS-Studio 4.51, работа общего анализатора.

Пара общих слов о PVS

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

История одного анализатора

В этой статье я хотел бы немного рассказать об истории одного анализатора, а точнее - семейства анализаторов. Зовут это семейство lint. Его основатель, сам lint стал первым статическим анализатором кода в истории.

cppcheck