檢查全局變量線程安全保護的工具

Question

我有用於微控制器的大型 C 代碼庫。 我正在做一項檢查是否所有全局變量都是線程安全的任務。

我們沒有線程，但我們有中斷（高優先級的中斷可以搶占低優先級的中斷）。

注意：我使用SciTools 理解工具來輕松搜索全局變量及其引用。 但這需要大量的手動搜索/閱讀/檢查。

是否有任何工具可以找到多個調用樹中使用的全局變量？

Answer 1

似乎沒有准備好這樣做的東西。 我做了一個 perl 腳本，它使用 SciTools 理解 API 來獲取共享的全局變量。