Make inputStreamWrapper consider supertypes transitively

This commit is contained in:
Tony Torralba
2023-05-09 17:27:16 +02:00
parent 3d5c8153ca
commit 2c41c5b0e2

View File

@@ -256,7 +256,7 @@ private class BulkData extends RefType {
*/
private predicate inputStreamWrapper(Constructor c, int argi) {
c.getParameterType(argi) instanceof BulkData and
c.getDeclaringType().getASourceSupertype().hasQualifiedName("java.io", "InputStream")
c.getDeclaringType().getASourceSupertype*().hasQualifiedName("java.io", "InputStream")
}
/** An object construction that preserves the data flow status of any of its arguments. */