Predicate lockCall

Holds if call is a call that locks or tries to lock its argument arg.

Import path

import cpp

predicate lockCall(Expr arg, FunctionCall call)