Merge pull request #2671 from aschackmull/java/null-flow

Java: Allow null literals as sources in data flow.
This commit is contained in:
yo-h
2020-01-30 09:47:46 -05:00
committed by GitHub
4 changed files with 29 additions and 0 deletions

View File

@@ -235,6 +235,8 @@ DataFlowType getErasedRepr(Type t) {
then result.(BoxedType).getPrimitiveType().getName() = "boolean"
else result = e
)
or
t instanceof NullType and result instanceof TypeObject
}
/** Gets a string representation of a type returned by `getErasedRepr`. */