Java: Update java models with provenance column information.

This commit is contained in:
Michael Nebel
2022-06-13 12:42:43 +02:00
parent 4622b69c5d
commit 2e46e93f36
125 changed files with 11049 additions and 11026 deletions

View File

@@ -84,7 +84,7 @@ public class CleartextStorageAndroidFilesystemTest extends Activity {
// PrintStream
{
// java.io;PrintStream;false;PrintStream;(File);;Argument[0];create-file"
// java.io;PrintStream;false;PrintStream;(File);;Argument[0];create-file;manual"
PrintStream ps = new PrintStream(new File("some_file.txt"));
// java.io;PrintStream;true;append;;;Argument[0];write-file
ps.append(name + ":" + password); // $ hasCleartextStorageAndroidFilesystem
@@ -231,7 +231,7 @@ public class CleartextStorageAndroidFilesystemTest extends Activity {
Path path = Path.of("some_file.txt");
String contents = name + ":" + password;
// java.nio.file;Files;false;write;;;Argument[0];create-file
// java.nio.file;Files;false;write;;;Argument[1];write-file",
// java.nio.file;Files;false;write;;;Argument[1];write-file;manual",
Files.write(path, contents.getBytes()); // $ hasCleartextStorageAndroidFilesystem
}
{
@@ -242,7 +242,7 @@ public class CleartextStorageAndroidFilesystemTest extends Activity {
{
Path path = Path.of("some_file.txt");
// java.nio.file;Files;false;writeString;;;Argument[0];create-file
// java.nio.file;Files;false;writeString;;;Argument[1];write-file"
// java.nio.file;Files;false;writeString;;;Argument[1];write-file;manual"
Files.writeString(path, name + ":" + password); // $ hasCleartextStorageAndroidFilesystem
}