dataflow/manual/examples/CFGFieldAssignment.java

class Test {
  int f;

  void test(Test x) {
    x.f = 1;
  }
}