codeql/java/ql/test/query-tests/Nullness/F.java at codeql-cli/v2.27.1 · github/codeql · GitHub

Repository navigation

34 lines (28 loc) · 874 Bytes

public class F {

public void m1(Object obj) {

if (obj == null)

throwMyException();

obj.hashCode(); // OK

}

public void m2(Object obj) {

if (obj == null)

doStuff();

obj.hashCode(); // $ Alert[java/dereferenced-value-may-be-null] // NPE

}

public void m3(Object obj) {

if (obj == null)

doStuffOrThrow(0);

obj.hashCode(); // $ Alert[java/dereferenced-value-may-be-null] // NPE

}

public static class MyException extends RuntimeException {

}

public void throwMyException() { // meant to always throw

throw new MyException();

}

public void doStuff() { // meant to be overridden as indicated by UnsupportedOperationException

throw new UnsupportedOperationException();

}

public void doStuffOrThrow(int i) { // meant to be overridden as indicated by unused parameter

throw new MyException();

}