codeql/java/ql/test/library-tests/dataflow/external-models/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
package my.qltest;

public class A {
  void foo() {
    Object x;
    x = src1();
    x = src1("");

    Sub sub = new Sub();
    x = sub.src2();
    x = sub.src3();

    srcArg(x);

    Handler h = srcparam1 -> { };

    Handler h2 = new Handler() {
      @Override public void handle(Object srcparam2) { }
    };

    x = taggedSrcMethod();
    x = taggedSrcField;

    x = srcTwoArg("", "");
  }

  @Tag
  void tagged1(Object taggedMethodParam) {
  }

  void tagged2(@Tag Object taggedSrcParam) {
  }

  Object src1() { return null; }

  Object src1(String s) { return null; }

  Object src2() { return null; }

  Object src3() { return null; }

  static class Sub extends A {
    // inherit src2
    @Override Object src3() { return null; }
  }

  void srcArg(Object src) { }

  interface Handler {
    void handle(Object src);
  }

  @interface Tag { }

  @Tag
  Object taggedSrcMethod() { return null; }

  @Tag
  Object taggedSrcField;

  Object srcTwoArg(String s1, String s2) { return null; }
}