Mosca — инструмент для статического анализа и поиска ошибок(багов)

Mosca — это ручной инструмент статического анализа, написанный на C, предназначенный для поиска ошибок в коде до его компиляции, так же как и команда grep unix.

Существуют различные модули “egg”, которые содержат шаблоны для сканирования. Mosca может сканировать файлы рекурсивно ограничены расширением файла и записывает результаты в файл формата XML.

Также данное ПО является легко расширяемым и вы можете легко добавить собственные модули.