@@ -10,32 +10,32 @@ private static class IntSource {
10
10
void sink (Object o ) {}
11
11
12
12
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
37
37
sink (ObjectUtils .requireNonEmpty ("not null" , taint ())); // GOOD (message doesn't propagate to the return)
38
38
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
40
40
}
41
41
}
0 commit comments