@@ -10,32 +10,32 @@ private static class IntSource {
1010 void sink (Object o ) {}
1111
1212 void test () throws Exception {
13- sink (ObjectUtils .clone (taint ())); // $hasTaintFlow=y $hasValueFlow=y
14- sink (ObjectUtils .cloneIfPossible (taint ())); // $hasTaintFlow=y $hasValueFlow=y
15- sink (ObjectUtils .CONST (taint ())); // $hasTaintFlow=y $hasValueFlow=y
16- sink (ObjectUtils .CONST_SHORT (IntSource .taint ())); // $hasTaintFlow=y $hasValueFlow=y
17- sink (ObjectUtils .CONST_BYTE (IntSource .taint ())); // $hasTaintFlow=y $hasValueFlow=y
18- sink (ObjectUtils .defaultIfNull (taint (), null )); // $hasTaintFlow=y $hasValueFlow=y
19- sink (ObjectUtils .defaultIfNull (null , taint ())); // $hasTaintFlow=y $hasValueFlow=y
20- sink (ObjectUtils .firstNonNull (taint (), null , null )); // $hasTaintFlow=y $MISSING:hasValueFlow=y
21- sink (ObjectUtils .firstNonNull (null , taint (), null )); // $hasTaintFlow=y $MISSING:hasValueFlow=y
22- sink (ObjectUtils .firstNonNull (null , null , taint ())); // $hasTaintFlow=y $MISSING:hasValueFlow=y
23- sink (ObjectUtils .getIfNull (taint (), null )); // $hasTaintFlow=y $hasValueFlow=y
24- sink (ObjectUtils .max (taint (), null , null )); // $hasTaintFlow=y $MISSING:hasValueFlow=y
25- sink (ObjectUtils .max (null , taint (), null )); // $hasTaintFlow=y $MISSING:hasValueFlow=y
26- sink (ObjectUtils .max (null , null , taint ())); // $hasTaintFlow=y $MISSING:hasValueFlow=y
27- sink (ObjectUtils .median (taint (), null , null )); // $hasTaintFlow=y $MISSING:hasValueFlow=y
28- sink (ObjectUtils .median ((String )null , taint (), null )); // $hasTaintFlow=y $MISSING:hasValueFlow=y
29- sink (ObjectUtils .median ((String )null , null , taint ())); // $hasTaintFlow=y $MISSING:hasValueFlow=y
30- sink (ObjectUtils .min (taint (), null , null )); // $hasTaintFlow=y $MISSING:hasValueFlow=y
31- sink (ObjectUtils .min (null , taint (), null )); // $hasTaintFlow=y $MISSING:hasValueFlow=y
32- sink (ObjectUtils .min (null , null , taint ())); // $hasTaintFlow=y $MISSING:hasValueFlow=y
33- sink (ObjectUtils .mode (taint (), null , null )); // $hasTaintFlow=y $MISSING:hasValueFlow=y
34- sink (ObjectUtils .mode (null , taint (), null )); // $hasTaintFlow=y $MISSING:hasValueFlow=y
35- sink (ObjectUtils .mode (null , null , taint ())); // $hasTaintFlow=y $MISSING:hasValueFlow=y
36- sink (ObjectUtils .requireNonEmpty (taint (), "message" )); // $hasTaintFlow=y $hasValueFlow=y
13+ sink (ObjectUtils .clone (taint ())); // $hasTaintFlow $hasValueFlow
14+ sink (ObjectUtils .cloneIfPossible (taint ())); // $hasTaintFlow $hasValueFlow
15+ sink (ObjectUtils .CONST (taint ())); // $hasTaintFlow $hasValueFlow
16+ sink (ObjectUtils .CONST_SHORT (IntSource .taint ())); // $hasTaintFlow $hasValueFlow
17+ sink (ObjectUtils .CONST_BYTE (IntSource .taint ())); // $hasTaintFlow $hasValueFlow
18+ sink (ObjectUtils .defaultIfNull (taint (), null )); // $hasTaintFlow $hasValueFlow
19+ sink (ObjectUtils .defaultIfNull (null , taint ())); // $hasTaintFlow $hasValueFlow
20+ sink (ObjectUtils .firstNonNull (taint (), null , null )); // $hasTaintFlow $MISSING:hasValueFlow
21+ sink (ObjectUtils .firstNonNull (null , taint (), null )); // $hasTaintFlow $MISSING:hasValueFlow
22+ sink (ObjectUtils .firstNonNull (null , null , taint ())); // $hasTaintFlow $MISSING:hasValueFlow
23+ sink (ObjectUtils .getIfNull (taint (), null )); // $hasTaintFlow $hasValueFlow
24+ sink (ObjectUtils .max (taint (), null , null )); // $hasTaintFlow $MISSING:hasValueFlow
25+ sink (ObjectUtils .max (null , taint (), null )); // $hasTaintFlow $MISSING:hasValueFlow
26+ sink (ObjectUtils .max (null , null , taint ())); // $hasTaintFlow $MISSING:hasValueFlow
27+ sink (ObjectUtils .median (taint (), null , null )); // $hasTaintFlow $MISSING:hasValueFlow
28+ sink (ObjectUtils .median ((String )null , taint (), null )); // $hasTaintFlow $MISSING:hasValueFlow
29+ sink (ObjectUtils .median ((String )null , null , taint ())); // $hasTaintFlow $MISSING:hasValueFlow
30+ sink (ObjectUtils .min (taint (), null , null )); // $hasTaintFlow $MISSING:hasValueFlow
31+ sink (ObjectUtils .min (null , taint (), null )); // $hasTaintFlow $MISSING:hasValueFlow
32+ sink (ObjectUtils .min (null , null , taint ())); // $hasTaintFlow $MISSING:hasValueFlow
33+ sink (ObjectUtils .mode (taint (), null , null )); // $hasTaintFlow $MISSING:hasValueFlow
34+ sink (ObjectUtils .mode (null , taint (), null )); // $hasTaintFlow $MISSING:hasValueFlow
35+ sink (ObjectUtils .mode (null , null , taint ())); // $hasTaintFlow $MISSING:hasValueFlow
36+ sink (ObjectUtils .requireNonEmpty (taint (), "message" )); // $hasTaintFlow $hasValueFlow
3737 sink (ObjectUtils .requireNonEmpty ("not null" , taint ())); // GOOD (message doesn't propagate to the return)
3838 sink (ObjectUtils .toString (taint (), "default string" )); // GOOD (first argument is stringified)
39- sink (ObjectUtils .toString (null , taint ())); // $hasTaintFlow=y $hasValueFlow=y
39+ sink (ObjectUtils .toString (null , taint ())); // $hasTaintFlow $hasValueFlow
4040 }
4141}
0 commit comments