hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

update test file

Browse Source
This commit is contained in:
Alvaro Muñoz Sanchez
2022-01-25 12:42:41 +01:00
parent c49c7903a8
commit 9ee967d6db
1 changed files with 28 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

51
java/ql/test/library-tests/regex/Test.java
View File

@@ -6,6 +6,9 @@ import java.util.regex.Pattern;
// Test case generated by GenerateFlowTestCase.ql
public class Test {
private final String str_pattern = "\\$\\{(.*)\\}";
private final Pattern pattern = Pattern.compile(str_pattern);
Object source() { return null; }
void sink(Object o) { }
@@ -14,60 +17,64 @@ public class Test {
{
// "java.util.regex;Matcher;false;group;;;Argument[-1];ReturnValue;taint"
String out = null;
Matcher in = (Matcher)source();
out = in.group((String)null);
String in = (String) source();
Matcher m = pattern.matcher(in);
out = m.group("foo");
sink(out); // $ hasTaintFlow
}
{
// "java.util.regex;Matcher;false;group;;;Argument[-1];ReturnValue;taint"
String out = null;
Matcher in = (Matcher)source();
out = in.group();
String in = (String) source();
Matcher m = pattern.matcher(in);
out = m.group();
sink(out); // $ hasTaintFlow
}
{
// "java.util.regex;Matcher;false;group;;;Argument[-1];ReturnValue;taint"
String out = null;
Matcher in = (Matcher)source();
out = in.group(0);
String in = (String) source();
Matcher m = pattern.matcher(in);
out = m.group(0);
sink(out); // $ hasTaintFlow
}
{
// "java.util.regex;Matcher;false;replaceAll;;;Argument[-1];ReturnValue;taint"
String out = null;
Matcher in = (Matcher)source();
out = in.replaceAll(null);
String in = (String) source();
Matcher m = pattern.matcher(in);
out = m.replaceAll("foo");
sink(out); // $ hasTaintFlow
}
{
// "java.util.regex;Matcher;false;replaceAll;;;Argument[0];ReturnValue;taint"
String out = null;
String in = (String)source();
Matcher instance = null;
out = instance.replaceAll(in);
String in = (String) source();
Matcher m = pattern.matcher("foo");
out = m.replaceAll(in);
sink(out); // $ hasTaintFlow
}
{
// "java.util.regex;Matcher;false;replaceFirst;;;Argument[-1];ReturnValue;taint"
String out = null;
Matcher in = (Matcher)source();
out = in.replaceFirst(null);
String in = (String) source();
Matcher m = pattern.matcher(in);
out = m.replaceFirst("foo");
sink(out); // $ hasTaintFlow
}
{
// "java.util.regex;Matcher;false;replaceFirst;;;Argument[0];ReturnValue;taint"
String out = null;
String in = (String)source();
Matcher instance = null;
out = instance.replaceFirst(in);
String in = (String) source();
Matcher m = pattern.matcher("foo");
out = m.replaceFirst(in);
sink(out); // $ hasTaintFlow
}
{
// "java.util.regex;Pattern;false;matcher;;;Argument[0];ReturnValue;taint"
Matcher out = null;
CharSequence in = (CharSequence)source();
Pattern instance = null;
out = instance.matcher(in);
out = pattern.matcher(in);
sink(out); // $ hasTaintFlow
}
{
@@ -81,19 +88,17 @@ public class Test {
// "java.util.regex;Pattern;false;split;;;Argument[0];ReturnValue;taint"
String[] out = null;
CharSequence in = (CharSequence)source();
Pattern instance = null;
out = instance.split(in);
out = pattern.split(in);
sink(out); // $ hasTaintFlow
}
{
// "java.util.regex;Pattern;false;split;;;Argument[0];ReturnValue;taint"
String[] out = null;
CharSequence in = (CharSequence)source();
Pattern instance = null;
out = instance.split(in, 0);
out = pattern.split(in, 0);
sink(out); // $ hasTaintFlow
}
}
}
}