我正在为只有一个中断优先级的 C 语言基本微控制器进行编译；只有一个 ISR。我想被警告 ISR 和 main() 线程之间的线程安全问题。
这是静态分析器可以做的吗？他们能/不能捕捉到什么样的线程安全问题？Splint 能做到吗？
volatile示例 1：如果一个变量在 ISR 和主线程中都使用，它是否可以检测是否应该给它关键字？
示例 2：如果主线程有多个操作需要在它们的组合中是原子的（可能在源代码中通过注释指示），静态分析器是否可以指示它们是否可以被 ISR 中断并被破坏？
问问题
89 次