codeql/java/ql/test/query-tests/StringFormat/A.java at sauyon/java-spring-stringutils · ByteDecoder/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
import java.util.Formatter;
import java.io.PrintStream;
import java.io.PrintWriter;
import java.io.Console;
import java.io.File;

public class A {
  void f_string() {
    String.format("%s%s", ""); // missing
  }

  void f_formatter(Formatter x) {
    x.format("%s%s", ""); // missing
  }

  void f_printstream(PrintStream x) {
    x.format("%s%s", ""); // missing
    x.printf("%s%s", ""); // missing
  }

  void f_printwriter(PrintWriter x) {
    x.format("%s%s", ""); // missing
    x.printf("%s%s", ""); // missing
  }

  void f_console(Console x) {
    x.format("%s%s", ""); // missing
    x.printf("%s%s", ""); // missing
    x.readLine("%s%s", ""); // missing
    x.readPassword("%s%s", ""); // missing
  }

  void custom_format(Object o, String fmt, Object... args) {
    String.format(fmt, args);
  }

  void f_wrapper() {
    custom_format(new Object(), "%s%s", ""); // missing
  }

  void f() {
    String.format("%s", "", ""); // unused
    String.format("s", ""); // unused
    String.format("%2$s %2$s", "", ""); // unused
    String.format("%2$s %1$s", "", ""); // ok
    String.format("%2$s %s", ""); // missing
    String.format("%s%<s", "", ""); // unused
    String.format("%s%%%%%%%%s%n", "", ""); // unused
    String.format("%s%%%%%%%%s%n", ""); // ok
    String.format("%s%%%%%%%s%n", "", ""); // ok
    String.format("%s%%%%%%%s%n", ""); // missing
    String.format("%2$s %% %n %1$s %<s %s %<s %s %1$s", "", ""); // ok
  }

  final String f_fmt1 = "%s" + File.separator;
  final String f_fmt2 = "%s" + f_fmt1 + System.getProperty("line.separator");
  final String f_fmt3 = "%s" + f_fmt2;

  void g(boolean b, int i) {
    String fmt1 = "%s" + (b ? "%s" : "");
    String.format(fmt1, ""); // missing
    String.format(fmt1, "", ""); // ok
    String.format(fmt1, "", "", ""); // unused

    String fmt2 = "%s%" + i + "s%n";
    String.format(fmt2, ""); // missing
    String.format(fmt2, "", ""); // ok
    String.format(fmt2, "", "", ""); // unused

    String.format(f_fmt3, "", ""); // missing
    String.format(f_fmt3, "", "", ""); // ok
    String.format(f_fmt3, "", "", "", ""); // unused

    String.format("%s%s", new Object[] { "a" }); // missing
    String.format("%s%s", new Object[] { "a", "b" }); // ok
    String.format("%s%s", new Object[] { "a", "b", "c" }); // unused

    Object[] a1 = new Object[] { "a", "b" };
    String.format("%s%s%s", a1); // missing
    String.format("%s%s", a1); // ok
    String.format("%s", a1); // unused

    Object[] a2 = new Object[2];
    String.format("%s%s%s", a2); // missing
    String.format("%s%s", a2); // ok
    String.format("%s", a2); // unused
  }

  void formatted() {
    "%s%s".formatted(""); // missing
    "%s".formatted("", ""); // unused
  }
}