codeql/java-all
0.3.2
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if v is an SSA variable that is provably not null.
v
null
import semmle.code.java.dataflow.NullGuards
predicate clearlyNotNull(SsaVariable v)