Predicate lockCall
Holds if call is a call that locks or tries to lock its argument arg.
Import path
import semmle.code.cpp.commons.Synchronizationpredicate lockCall(Expr arg, FunctionCall call)Holds if call is a call that locks or tries to lock its argument arg.
import semmle.code.cpp.commons.Synchronizationpredicate lockCall(Expr arg, FunctionCall call)