Adjust test expectations

This commit is contained in:
Tony Torralba
2024-03-14 09:41:34 +01:00
parent eecab9122a
commit 9d44045e6f
3 changed files with 2 additions and 5 deletions

View File

@@ -110,9 +110,6 @@ public class Test {
File f2 = (File)source();
sink(f2.getPath()); // $hasTaintFlow
File f3 = (File)source();
sink(f3.listFiles()); // $hasTaintFlow
StringWriter sw = (StringWriter)source();
sink(sw.toString()); // $hasTaintFlow

View File

@@ -16,7 +16,6 @@ public class File implements Serializable
public File(File p0, String p1){} // manual summary
public File(String p0){} // manual summary
public File(String p0, String p1){} // manual summary
public File[] listFiles(){ return null; } // manual summary
public Path toPath(){ return null; } // manual summary
public String getAbsolutePath(){ return null; } // manual summary
public String getName(){ return null; } // manual summary
@@ -26,6 +25,7 @@ public class File implements Serializable
public boolean exists(){ return false; } // manual neutral
public boolean isDirectory(){ return false; } // manual neutral
public boolean isFile(){ return false; } // manual neutral
public File[] listFiles(){ return null; } // manual neutral
public boolean mkdirs(){ return false; } // manual neutral
public long length(){ return 0; } // manual neutral
}

View File

@@ -1,5 +1,5 @@
| java.awt | 0 | 0 | 2 | 1 | 3 | 0.6666666666666666 | 0.0 | 0.6666666666666666 | 0.0 | NaN | 0.3333333333333333 |
| java.io | 0 | 0 | 21 | 15 | 36 | 0.5833333333333334 | 0.0 | 0.5833333333333334 | 0.0 | NaN | 0.4166666666666667 |
| java.io | 0 | 0 | 20 | 16 | 36 | 0.5555555555555556 | 0.0 | 0.5555555555555556 | 0.0 | NaN | 0.4444444444444444 |
| java.lang | 0 | 0 | 57 | 88 | 145 | 0.3931034482758621 | 0.0 | 0.3931034482758621 | 0.0 | NaN | 0.6068965517241379 |
| java.lang.invoke | 0 | 0 | 0 | 1 | 1 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |
| java.lang.reflect | 0 | 0 | 0 | 4 | 4 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |