Java: Update test output

This commit is contained in:
Asger F
2024-08-20 14:14:30 +02:00
parent c3b36325b2
commit 6bc8407bd6

View File

@@ -21,7 +21,7 @@ public class A {
Object object = getA();
sink(step(object)); // $ hasTaintFlow=source
sink(object); // $ SPURIOUS: hasTaintFlow=source
sink(object);
sink(((A)object).field); // $ hasTaintFlow=source
}
}