Сегодня я хочу посвятить пост тематике, почему инструменты анализа исходного кода полезны вне зависимости от уровня знаний и опыта программиста. А польза такого анализа будет продемонстрирована на примере инструмента, который известен всем программистам – WinMerge.
Предлагаем вниманию программистов новый инструмент для поиска ошибок в исходном коде приложений на языке Си/Си++. В рамках анализатора PVS-Studio реализован новый набор правил общего назначения. Эта функциональность на данный момент является бесплатной.
Вы можете скачать PVS-Studio по адресу .
Предлагаем вниманию программистов новый инструмент для поиска ошибок в исходном коде приложений на языке Си/Си++. В рамках анализатора PVS-Studio реализован новый набор правил общего назначения. Эта функциональность на данный момент является бесплатной.
Вы можете скачать PVS-Studio по адресу .
Продолжу экскурсию по ошибкам в программах и демонстрацию полезности статического анализа кода.
Это мой последний пост про пока недоступную для скачиванию версию . Планирую, что через неделю вы уже сможете попробовать первую beta-версию с новым набором правил общего назначения.
Авторы: Пискунов А.Г., Петренко С.М.
В работе собраны и, надеюсь, систематизированы вопросы связанные с определениями как таких терминов как тип, подтип и класс, уточнен принцип подстановки Лисков, обращено внимание на желательность неизменения домена класса при наследовании.
Авторы: Пискунов А.Г., Петренко С.М.
В работе собраны и, надеюсь, систематизированы вопросы связанные с определениями как таких терминов как тип, подтип и класс, уточнен принцип подстановки Лисков, обращено внимание на желательность неизменения домена класса при наследовании.
Всем рано или поздно приходится работать с различными кодировками. Заметив в коде своей команды различные, порой странные, подходы к решению этих проблем, пришлось провести разъяснительную беседу. Ниже поделюсь своим видением правильной работы с не-ASCII символами в коде. Буду рад конструктивной критике.
Всем рано или поздно приходится работать с различными кодировками. Заметив в коде своей команды различные, порой странные, подходы к решению этих проблем, пришлось провести разъяснительную беседу. Ниже поделюсь своим видением правильной работы с не-ASCII символами в коде. Буду рад конструктивной критике.
Люка Карделли, Мартин Абади: Классы и типы в языках, основанных на классах
Перевод: Пискунов A.Г.
28 октября 2010 г.
АННОТАЦИЯ
Некоторые выдержки из монографии ’Теория Объектов’ Карделли, Абади, посвященные обсуждению понятий тип, класс, подкласс, выделение типа (subtyping), наследование (inheritance) и их отличий. Может быть использован как введение в объектно – ориентированное программирование.
У компилятора и сторонних инструментов статического анализа кода есть общая задача — выявление опасных фрагментов кода. Однако существует существенная разница в том, анализ какого типа они осуществляют. Я попробую на примере компилятора Intel C++ и анализатора PVS-Studio продемонстрировать различия подходов, и пояснить, чем они вызваны.
Recent Comments