Наши клиенты
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
Иногда анализатор кода PVS-Studio якобы обнаруживает проблему в коде, выдает сообщение, указывает имя файла, но не показывает номер проблемной строки как показано на рисунке.»
При разработке программных продуктов разработчикам очень важно иметь обратную связь с пользователями их программ.»
В статье показаны приемы организации работы анализатора кода PVS-Studio вместе с системами непрерывной интеграции (continuous integration).»
В статье сравниваются три механизма анализа кода с точки зрения выявления 64-битных ошибок: компилятор Visual C++2010, компонент Code Analysis for C/C++ входящий в состав Visual Studio 2010 Premium/Ultimate и анализатор Viva64 входящий в состав PVS-Studio 3.60. »
Статья представляет собой наиболее полную коллекцию примеров 64-битных ошибок на языках Си и Си++. »
Терминология
Цикломатическая сложность
Цикломатическая сложность. Цикломатическая сложность программы (Cyclomatic complexity of a program) структурная (или топологическая) мера сложности программ, для измерения качества программного обеспечения. Измерение цикломатической сложности позволяет оценить качество программного кода и выявить процедуры с повышенной сложность. Процедуры с повышенной сложностью подвержены ошибкам и их выявление крайне желательно для проведения их аудита (code review). Цикломатическая сложность программы была первой из топологических мер сложности, применялась на практике и послужила основой для многих модификаций. Расчет цикломатической сложности относится к методам статического анализа кода.
Если вам необходимо разработать специализированные средства расчета цикломатической сложности или иных метрик, то вы можете попробовать воспользоваться открытой библиотекой VivaCore для анализа Си/Си++ кода. Также наша компания ООО "СиПроВер" может выполнить разработку специализированных решений или их частей, связанных с обработкой исходного кода (см. раздел "Услуги по созданию анализаторов").
Библиографический список
- Википедия. Cyclomatic complexity
- T.J. McCabe, "A complexity measure," IEEE Transactions on Software Engineering, vol. SE-2, no. 4, pp. 308-320, December, 1976.
- Промыслов В.Г., Жарко Е.Ф., Промыслова О.А. Практические аспекты сопровождения и модификации сложных программных систем. Труды IV Международной конференции "Идентификация систем и задачи управления" SICPRO '05 Москва 25-28 января 2005 г. Приложение 1. Цикломатическая сложность
- Инструмент SourceMonitor, позволяющий рассчитать цикломатическую сложность