CodeQL library for Java
Search

Predicate inDifferentBranches

Holds if the specified method accesses occur on different branches of the same conditional statement inside an unsynchronized method.

predicate inDifferentBranches(MethodAccess ma1, MethodAccess ma2)