Skip to content

Commit ba90fec

Browse files
committed
retab Test.java
1 parent 9ee967d commit ba90fec

File tree

1 file changed

+74
-74
lines changed

1 file changed

+74
-74
lines changed

java/ql/test/library-tests/regex/Test.java

Lines changed: 74 additions & 74 deletions
Original file line numberDiff line numberDiff line change
@@ -9,96 +9,96 @@ public class Test {
99
private final String str_pattern = "\\$\\{(.*)\\}";
1010
private final Pattern pattern = Pattern.compile(str_pattern);
1111

12-
Object source() { return null; }
13-
void sink(Object o) { }
12+
Object source() { return null; }
13+
void sink(Object o) { }
1414

15-
public void test() throws Exception {
15+
public void test() throws Exception {
1616

17-
{
18-
// "java.util.regex;Matcher;false;group;;;Argument[-1];ReturnValue;taint"
19-
String out = null;
17+
{
18+
// "java.util.regex;Matcher;false;group;;;Argument[-1];ReturnValue;taint"
19+
String out = null;
2020
String in = (String) source();
2121
Matcher m = pattern.matcher(in);
22-
out = m.group("foo");
23-
sink(out); // $ hasTaintFlow
24-
}
25-
{
26-
// "java.util.regex;Matcher;false;group;;;Argument[-1];ReturnValue;taint"
27-
String out = null;
22+
out = m.group("foo");
23+
sink(out); // $ hasTaintFlow
24+
}
25+
{
26+
// "java.util.regex;Matcher;false;group;;;Argument[-1];ReturnValue;taint"
27+
String out = null;
2828
String in = (String) source();
2929
Matcher m = pattern.matcher(in);
30-
out = m.group();
31-
sink(out); // $ hasTaintFlow
32-
}
33-
{
34-
// "java.util.regex;Matcher;false;group;;;Argument[-1];ReturnValue;taint"
35-
String out = null;
30+
out = m.group();
31+
sink(out); // $ hasTaintFlow
32+
}
33+
{
34+
// "java.util.regex;Matcher;false;group;;;Argument[-1];ReturnValue;taint"
35+
String out = null;
3636
String in = (String) source();
3737
Matcher m = pattern.matcher(in);
38-
out = m.group(0);
39-
sink(out); // $ hasTaintFlow
40-
}
41-
{
42-
// "java.util.regex;Matcher;false;replaceAll;;;Argument[-1];ReturnValue;taint"
43-
String out = null;
38+
out = m.group(0);
39+
sink(out); // $ hasTaintFlow
40+
}
41+
{
42+
// "java.util.regex;Matcher;false;replaceAll;;;Argument[-1];ReturnValue;taint"
43+
String out = null;
4444
String in = (String) source();
4545
Matcher m = pattern.matcher(in);
46-
out = m.replaceAll("foo");
47-
sink(out); // $ hasTaintFlow
48-
}
49-
{
50-
// "java.util.regex;Matcher;false;replaceAll;;;Argument[0];ReturnValue;taint"
51-
String out = null;
46+
out = m.replaceAll("foo");
47+
sink(out); // $ hasTaintFlow
48+
}
49+
{
50+
// "java.util.regex;Matcher;false;replaceAll;;;Argument[0];ReturnValue;taint"
51+
String out = null;
5252
String in = (String) source();
5353
Matcher m = pattern.matcher("foo");
54-
out = m.replaceAll(in);
55-
sink(out); // $ hasTaintFlow
56-
}
57-
{
58-
// "java.util.regex;Matcher;false;replaceFirst;;;Argument[-1];ReturnValue;taint"
59-
String out = null;
54+
out = m.replaceAll(in);
55+
sink(out); // $ hasTaintFlow
56+
}
57+
{
58+
// "java.util.regex;Matcher;false;replaceFirst;;;Argument[-1];ReturnValue;taint"
59+
String out = null;
6060
String in = (String) source();
6161
Matcher m = pattern.matcher(in);
62-
out = m.replaceFirst("foo");
63-
sink(out); // $ hasTaintFlow
64-
}
65-
{
66-
// "java.util.regex;Matcher;false;replaceFirst;;;Argument[0];ReturnValue;taint"
67-
String out = null;
62+
out = m.replaceFirst("foo");
63+
sink(out); // $ hasTaintFlow
64+
}
65+
{
66+
// "java.util.regex;Matcher;false;replaceFirst;;;Argument[0];ReturnValue;taint"
67+
String out = null;
6868
String in = (String) source();
6969
Matcher m = pattern.matcher("foo");
70-
out = m.replaceFirst(in);
71-
sink(out); // $ hasTaintFlow
72-
}
73-
{
74-
// "java.util.regex;Pattern;false;matcher;;;Argument[0];ReturnValue;taint"
75-
Matcher out = null;
76-
CharSequence in = (CharSequence)source();
77-
out = pattern.matcher(in);
78-
sink(out); // $ hasTaintFlow
79-
}
80-
{
81-
// "java.util.regex;Pattern;false;quote;;;Argument[0];ReturnValue;taint"
82-
String out = null;
83-
String in = (String)source();
84-
out = Pattern.quote(in);
85-
sink(out); // $ hasTaintFlow
86-
}
87-
{
88-
// "java.util.regex;Pattern;false;split;;;Argument[0];ReturnValue;taint"
89-
String[] out = null;
90-
CharSequence in = (CharSequence)source();
91-
out = pattern.split(in);
92-
sink(out); // $ hasTaintFlow
93-
}
94-
{
95-
// "java.util.regex;Pattern;false;split;;;Argument[0];ReturnValue;taint"
96-
String[] out = null;
97-
CharSequence in = (CharSequence)source();
98-
out = pattern.split(in, 0);
99-
sink(out); // $ hasTaintFlow
100-
}
70+
out = m.replaceFirst(in);
71+
sink(out); // $ hasTaintFlow
72+
}
73+
{
74+
// "java.util.regex;Pattern;false;matcher;;;Argument[0];ReturnValue;taint"
75+
Matcher out = null;
76+
CharSequence in = (CharSequence)source();
77+
out = pattern.matcher(in);
78+
sink(out); // $ hasTaintFlow
79+
}
80+
{
81+
// "java.util.regex;Pattern;false;quote;;;Argument[0];ReturnValue;taint"
82+
String out = null;
83+
String in = (String)source();
84+
out = Pattern.quote(in);
85+
sink(out); // $ hasTaintFlow
86+
}
87+
{
88+
// "java.util.regex;Pattern;false;split;;;Argument[0];ReturnValue;taint"
89+
String[] out = null;
90+
CharSequence in = (CharSequence)source();
91+
out = pattern.split(in);
92+
sink(out); // $ hasTaintFlow
93+
}
94+
{
95+
// "java.util.regex;Pattern;false;split;;;Argument[0];ReturnValue;taint"
96+
String[] out = null;
97+
CharSequence in = (CharSequence)source();
98+
out = pattern.split(in, 0);
99+
sink(out); // $ hasTaintFlow
100+
}
101101

102-
}
102+
}
103103

104104
}

0 commit comments

Comments
 (0)