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

Java: Replace Argument[-1] with Argument[this].

Browse Source
This commit is contained in:
Michael Nebel
2023-03-17 10:58:56 +01:00
parent e78af3e66c
commit e86f1e4961
183 changed files with 7530 additions and 7530 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -26,21 +26,21 @@ public class Test {
sink(out); // $ hasTaintFlow
}
{
// "java.nio.file;Path;false;toFile;;;Argument[-1];ReturnValue;taint;manual"
// "java.nio.file;Path;false;toFile;;;Argument[this];ReturnValue;taint;manual"
File out = null;
Path in = (Path) source();
out = in.toFile();
sink(out); // $ hasTaintFlow
}
{
// "java.nio.file;Path;true;getParent;;;Argument[-1];ReturnValue;taint;manual"
// "java.nio.file;Path;true;getParent;;;Argument[this];ReturnValue;taint;manual"
Path out = null;
Path in = (Path) source();
out = in.getParent();
sink(out); // $ hasTaintFlow
}
{
// "java.nio.file;Path;true;normalize;;;Argument[-1];ReturnValue;taint;manual"
// "java.nio.file;Path;true;normalize;;;Argument[this];ReturnValue;taint;manual"
Path out = null;
Path in = (Path) source();
out = in.normalize();
@@ -77,21 +77,21 @@ public class Test {
sink(out); // $ hasTaintFlow
}
{
// "java.nio.file;Path;true;toAbsolutePath;;;Argument[-1];ReturnValue;taint;manual"
// "java.nio.file;Path;true;toAbsolutePath;;;Argument[this];ReturnValue;taint;manual"
Path out = null;
Path in = (Path) source();
out = in.toAbsolutePath();
sink(out); // $ hasTaintFlow
}
{
// "java.nio.file;Path;true;toString;;;Argument[-1];ReturnValue;taint;manual"
// "java.nio.file;Path;true;toString;;;Argument[this];ReturnValue;taint;manual"
String out = null;
Path in = (Path) source();
out = in.toString();
sink(out); // $ hasTaintFlow
}
{
// "java.nio.file;Path;true;toUri;;;Argument[-1];ReturnValue;taint;manual"
// "java.nio.file;Path;true;toUri;;;Argument[this];ReturnValue;taint;manual"
URI out = null;
Path in = (Path) source();
out = in.toUri();