CodeQL library for Java
codeql/java-all 0.6.2 ( changelog , source )

Predicate nullCheckMethod

Holds if the evaluation of a call to m resulting in the value branch implies that the argument to the call is guaranteed to be null if isnull is true, and non-null if isnull is false.

Import path

predicate nullCheckMethod ( Method m , boolean branch , boolean isnull )