Don't use the reflexive transitive closure, so that the predicate becomes a little more efficient

This commit is contained in:
Tony Torralba
2023-05-10 16:45:07 +02:00
parent 2c41c5b0e2
commit aa14105e1c

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. */