hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 19:55:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Update test comments to use this instead of -1.

Browse Source
This commit is contained in:
Michael Nebel
2023-03-20 10:11:15 +01:00
parent ba711ab849
commit 01ade878ea
3 changed files with 28 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
java/ql/test/library-tests/frameworks/jdk/java.nio.file/Test.java
View File

@@ -47,7 +47,7 @@ public class Test {
sink(out); // $ hasTaintFlow
}
{
// "java.nio.file;Path;true;resolve;;;Argument[-1..0];ReturnValue;taint;manual"
// "java.nio.file;Path;true;resolve;;;Argument[0];ReturnValue;taint;manual"
Path out = null;
Path in = (Path) source();
Path instance = null;
@@ -55,21 +55,21 @@ public class Test {
sink(out); // $ hasTaintFlow
}
{
// "java.nio.file;Path;true;resolve;;;Argument[-1..0];ReturnValue;taint;manual"
// "java.nio.file;Path;true;resolve;;;Argument[this];ReturnValue;taint;manual"
Path out = null;
Path in = (Path) source();
out = in.resolve((Path) null);
sink(out); // $ hasTaintFlow
}
{
// "java.nio.file;Path;true;resolve;;;Argument[-1..0];ReturnValue;taint;manual"
// "java.nio.file;Path;true;resolve;;;Argument[this];ReturnValue;taint;manual"
Path out = null;
Path in = (Path) source();
out = in.resolve((String) null);
sink(out); // $ hasTaintFlow
}
{
// "java.nio.file;Path;true;resolve;;;Argument[-1..0];ReturnValue;taint;manual"
// "java.nio.file;Path;true;resolve;;;Argument[0];ReturnValue;taint;manual"
Path out = null;
String in = (String) source();
Path instance = null;