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