CodeQL library for Java
Search

Predicate inDifferentRunnables

Holds if the specified method accesses occur in different Runnable.run() methods, indicating that they may be invoked by different threads.

predicate inDifferentRunnables(MethodAccess ma1, MethodAccess ma2)