codeql/java/ql/test/library-tests/dataflow/partial/A.java

public class A {
  static void sink(Object o) { }

  static class Box {
    public Object elem;
  }

  static Object src() { return new Object(); }

  Box f1() {
    Box b = new Box();
    b.elem = src();
    return b;
  }

  void f2() {
    Box b = f1();
    f3(b);
  }

  void f3(Box b) {
    Box other = new Box();
    sink(other.elem);
  }
}