infer_clone/examples/Hello.java

class Hello {
  int test() {
    String s = null;
    return s.length();
  }
}