Статические анализаторы C: настройка для автоматического включения всех файлов, о которых знает IDE/ компилятор
Нужно ли вручную указывать статическому анализатору, какие файлы включать в анализ?
Я использую IDE на основе NetBeans (MPLAB X) для программирования встроенной системы на C (с компилятором XC8). Создать проект очень просто, и когда я добавляю файлы.c или.h в проект через графический интерфейс, он автоматически добавляет их в набор файлов, которые компилируются.
Какова общая практика автоматизации добавления файлов для передачи в инструмент? (например, статический анализатор, (я, вероятно, буду использовать шины, или, возможно, frama-c).
Другими словами, я хотел бы иметь возможность запускать статический анализатор, нажимая клавишу быстрого доступа, при этом он будет автоматически включать все необходимые файлы.c и.h, анализировать их и возвращать результат.
Еще один способ выразить это: я не хочу вручную манипулировать аргументами, посылаемыми в исполняемый файл CLI статического анализатора каждый раз, когда я добавляю файл.c или.h, или меняю их имена и т. Д.
Как это должно быть сделано? Как это обычно делается для дополнительных инструментов в процессе сборки, таких как статические анализаторы?
Спасибо