mutex - 带互斥锁定/解锁的 Cppcheck

Question

有没有办法让 Cppcheck 检查互斥锁定/解锁功能？

一个例子(有错误):

void foo() {
    mutex_lock();
    if (condition) { // condition is true
        return;
    }
    mutex_unlock();
}

有没有办法让 Cppcheck 检测到这样的问题(互斥锁保持锁定状态)？

Answer 1

不，目前不支持检查锁定/解锁功能。

你好像也在 Cppcheck 论坛上问过这个问题，那里已经有反馈了: https://sourceforge.net/p/cppcheck/discussion/development/thread/a7b82c3e/

Daniel Marjamäki 的回答中描述了目前可以使用的最佳解决方法: https://sourceforge.net/p/cppcheck/discussion/development/thread/a7b82c3e/#f237 它建议使用 Cppcheck 已经支持的包装函数和分配/释放检查。