@@ -10,21 +10,21 @@ void test() throws Exception {
1010 Pattern cleanPattern = Pattern .compile ("clean" );
1111 Pattern taintedPattern = Pattern .compile (taint ());
1212
13- sink (RegExUtils .removeAll (taint (), cleanPattern )); // $hasTaintFlow=y
14- sink (RegExUtils .removeAll (taint (), "clean" )); // $hasTaintFlow=y
15- sink (RegExUtils .removeFirst (taint (), cleanPattern )); // $hasTaintFlow=y
16- sink (RegExUtils .removeFirst (taint (), "clean" )); // $hasTaintFlow=y
17- sink (RegExUtils .removePattern (taint (), "clean" )); // $hasTaintFlow=y
18- sink (RegExUtils .replaceAll (taint (), cleanPattern , "replacement" )); // $hasTaintFlow=y
19- sink (RegExUtils .replaceAll (taint (), "clean" , "replacement" )); // $hasTaintFlow=y
20- sink (RegExUtils .replaceFirst (taint (), cleanPattern , "replacement" )); // $hasTaintFlow=y
21- sink (RegExUtils .replaceFirst (taint (), "clean" , "replacement" )); // $hasTaintFlow=y
22- sink (RegExUtils .replacePattern (taint (), "clean" , "replacement" )); // $hasTaintFlow=y
23- sink (RegExUtils .replaceAll ("original" , cleanPattern , taint ())); // $hasTaintFlow=y
24- sink (RegExUtils .replaceAll ("original" , "clean" , taint ())); // $hasTaintFlow=y
25- sink (RegExUtils .replaceFirst ("original" , cleanPattern , taint ())); // $hasTaintFlow=y
26- sink (RegExUtils .replaceFirst ("original" , "clean" , taint ())); // $hasTaintFlow=y
27- sink (RegExUtils .replacePattern ("original" , "clean" , taint ())); // $hasTaintFlow=y
13+ sink (RegExUtils .removeAll (taint (), cleanPattern )); // $hasTaintFlow
14+ sink (RegExUtils .removeAll (taint (), "clean" )); // $hasTaintFlow
15+ sink (RegExUtils .removeFirst (taint (), cleanPattern )); // $hasTaintFlow
16+ sink (RegExUtils .removeFirst (taint (), "clean" )); // $hasTaintFlow
17+ sink (RegExUtils .removePattern (taint (), "clean" )); // $hasTaintFlow
18+ sink (RegExUtils .replaceAll (taint (), cleanPattern , "replacement" )); // $hasTaintFlow
19+ sink (RegExUtils .replaceAll (taint (), "clean" , "replacement" )); // $hasTaintFlow
20+ sink (RegExUtils .replaceFirst (taint (), cleanPattern , "replacement" )); // $hasTaintFlow
21+ sink (RegExUtils .replaceFirst (taint (), "clean" , "replacement" )); // $hasTaintFlow
22+ sink (RegExUtils .replacePattern (taint (), "clean" , "replacement" )); // $hasTaintFlow
23+ sink (RegExUtils .replaceAll ("original" , cleanPattern , taint ())); // $hasTaintFlow
24+ sink (RegExUtils .replaceAll ("original" , "clean" , taint ())); // $hasTaintFlow
25+ sink (RegExUtils .replaceFirst ("original" , cleanPattern , taint ())); // $hasTaintFlow
26+ sink (RegExUtils .replaceFirst ("original" , "clean" , taint ())); // $hasTaintFlow
27+ sink (RegExUtils .replacePattern ("original" , "clean" , taint ())); // $hasTaintFlow
2828 // Subsequent calls don't propagate taint, as regex search patterns don't propagate to the return value.
2929 sink (RegExUtils .removeAll ("original" , taintedPattern ));
3030 sink (RegExUtils .removeAll ("original" , taint ()));
0 commit comments