Статический анализатор кода

@Alex_CAPS · Регистрация: 19.04.2013

Студворк — интернет-сервис помощи студентам

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

@gooseim · 25.07.2013, 23:09

Как вариант разбить текст на токены, из токенов составить дерево и с ним работать. На токены можно разбить с помощью регулярных выражений - boost / c++ 11 в помощь.

@gazlan · 26.07.2013, 06:09

Посмотреть обсуждения Cppcheck и подобных проектов.

Почитать на хабре блог разработчика PVS-Studio и его статьи.

@Dmitriy_M · 26.07.2013, 07:32

Сообщение от gooseim

Как вариант разбить текст на токены, из токенов составить дерево и с ним работать.

Деревья разные бывают. CLang с этим справиться лучше.

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это дополнительная запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .

@Alex_CAPS 0 / 0 / 0 Регистрация: 19.04.2013 Сообщений: 2

	Статический анализатор кода 19.04.2013, 11:17. Показов 3083. Ответов 3 Метки нет (Все метки) Всем доброго времени суток! Мне поставлена задача, написать статический анализатор кода для MPI. Для начала хотелось бы разобраться с работой статических анализаторов кода и принципами их написания. Думаю начать с какого-нибудь примитивного анализа для C и дальше его развить для анализа параллельного кода. Может кто-нибудь поделиться опытом и идеями? 0

@gooseim 516 / 421 / 92 Регистрация: 23.09.2010 Сообщений: 1,165
	25.07.2013, 23:09
	Как вариант разбить текст на токены, из токенов составить дерево и с ним работать. На токены можно разбить с помощью регулярных выражений - boost / c++ 11 в помощь. 0

@gazlan 3176 / 1935 / 312 Регистрация: 27.08.2010 Сообщений: 5,131 Записей в блоге: 1
	26.07.2013, 06:09
	Посмотреть обсуждения Cppcheck и подобных проектов. Почитать на хабре блог разработчика PVS-Studio и его статьи. 0