有没有可以进行信号量配对检查的工具（C）

代码经常会出现在某些异常分支忘记释放信号量的问题，有没有可以扫描此类错误的静态扫描工具，或者是算法