qtil
advanced-security/qtil-cpp 0.0.4
Search

Predicate trylockCall

Holds if call is a call that tries to lock its argument arg, but may return without success.

Import path

import semmle.code.cpp.commons.Synchronization
predicate trylockCall(Expr arg, FunctionCall call)