У меня большая база кода C для микроконтроллера.Я работаю над задачей, чтобы проверить, все ли глобальные переменные поточнобезопасны или нет.
У нас нет потоков, но у нас есть прерывания (прерывания с высоким приоритетом могут опережать низкоприоритетные).
ПРИМЕЧАНИЕ. Я использую SciTools Understand , чтобы упростить поиск глобальных переменных и их ссылок.но это требует МНОГО ручного поиска / чтения / проверки.
Существует ли какой-либо инструмент, который может найти глобальные переменные, используемые в более чем одном дереве вызовов?