Program: 28488
Project: 28488
Buggy source:
public void map(InfoMap infoMap){
  infoMap.put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").cppTypes().annotations()).put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").define()).put(new Info("String_Node_Str","String_Node_Str").define(false)).put(new Info("String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str")).put(new Info("String_Node_Str").annotations("String_Node_Str").valueTypes("String_Node_Str","String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str").pointerTypes("String_Node_Str","String_Node_Str","String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str").pointerTypes("String_Node_Str","String_Node_Str","String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str").pointerTypes("String_Node_Str","String_Node_Str","String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str").pointerTypes("String_Node_Str","String_Node_Str","String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").cast().pointerTypes("String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").skip()).put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").skip());
  String[] functionTemplates={"String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"};
  for (  String t : functionTemplates) {
    infoMap.put(new Info("String_Node_Str" + t + "String_Node_Str").javaNames(t + "String_Node_Str")).put(new Info("String_Node_Str" + t + "String_Node_Str").javaNames(t + "String_Node_Str"));
  }
  String classTemplates[]={"String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"};
  for (  String t : classTemplates) {
    boolean purify=t.equals("String_Node_Str") || t.equals("String_Node_Str") || t.equals("String_Node_Str");
    boolean virtualize=t.endsWith("String_Node_Str") || t.endsWith("String_Node_Str");
    String[] annotations=t.startsWith("String_Node_Str") ? new String[]{"String_Node_Str"} : null;
    infoMap.put(new Info("String_Node_Str" + t + "String_Node_Str").annotations(annotations).pointerTypes("String_Node_Str" + t).purify(purify).virtualize(virtualize)).put(new Info("String_Node_Str" + t + "String_Node_Str").annotations(annotations).pointerTypes("String_Node_Str" + t).purify(purify).virtualize(virtualize));
  }
  infoMap.put(new Info("String_Node_Str","String_Node_Str").skip()).put(new Info("String_Node_Str","String_Node_Str").javaText("String_Node_Str" + "String_Node_Str")).put(new Info("String_Node_Str").javaText("String_Node_Str")).put(new Info("String_Node_Str").javaText("String_Node_Str")).put(new Info("String_Node_Str").javaText("String_Node_Str")).put(new Info("String_Node_Str").javaText("String_Node_Str")).put(new Info("String_Node_Str").javaNames("String_Node_Str")).put(new Info("String_Node_Str").javaNames("String_Node_Str")).put(new Info("String_Node_Str").javaNames("String_Node_Str")).put(new Info("String_Node_Str").javaNames("String_Node_Str")).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").valueTypes("String_Node_Str")).put(new Info("String_Node_Str").valueTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").javaText("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str")).put(new Info("String_Node_Str").javaText("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str"));
}

Fixed version (ground truth):
public void map(InfoMap infoMap){
  infoMap.put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").cppTypes().annotations()).put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").define()).put(new Info("String_Node_Str","String_Node_Str").define(false)).put(new Info("String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str")).put(new Info("String_Node_Str").annotations("String_Node_Str").valueTypes("String_Node_Str","String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str").pointerTypes("String_Node_Str","String_Node_Str","String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str").pointerTypes("String_Node_Str","String_Node_Str","String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str").pointerTypes("String_Node_Str","String_Node_Str","String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str").cast().valueTypes("String_Node_Str").pointerTypes("String_Node_Str","String_Node_Str","String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").cast().pointerTypes("String_Node_Str")).put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").skip()).put(new Info("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str").skip());
  String[] functionTemplates={"String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"};
  for (  String t : functionTemplates) {
    infoMap.put(new Info("String_Node_Str" + t + "String_Node_Str").javaNames(t + "String_Node_Str")).put(new Info("String_Node_Str" + t + "String_Node_Str").javaNames(t + "String_Node_Str"));
  }
  String classTemplates[]={"String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"};
  for (  String t : classTemplates) {
    boolean purify=t.equals("String_Node_Str") || t.equals("String_Node_Str") || t.equals("String_Node_Str");
    boolean virtualize=t.endsWith("String_Node_Str") || t.endsWith("String_Node_Str");
    String[] annotations=t.startsWith("String_Node_Str") ? new String[]{"String_Node_Str"} : null;
    infoMap.put(new Info("String_Node_Str" + t + "String_Node_Str").annotations(annotations).pointerTypes("String_Node_Str" + t).purify(purify).virtualize(virtualize)).put(new Info("String_Node_Str" + t + "String_Node_Str").annotations(annotations).pointerTypes("String_Node_Str" + t).purify(purify).virtualize(virtualize));
  }
  infoMap.put(new Info("String_Node_Str","String_Node_Str").skip()).put(new Info("String_Node_Str","String_Node_Str").javaText("String_Node_Str" + "String_Node_Str")).put(new Info("String_Node_Str").javaText("String_Node_Str")).put(new Info("String_Node_Str").javaText("String_Node_Str")).put(new Info("String_Node_Str").javaText("String_Node_Str")).put(new Info("String_Node_Str").javaText("String_Node_Str")).put(new Info("String_Node_Str").javaNames("String_Node_Str")).put(new Info("String_Node_Str").javaNames("String_Node_Str")).put(new Info("String_Node_Str").javaNames("String_Node_Str")).put(new Info("String_Node_Str").javaNames("String_Node_Str")).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").annotations("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").valueTypes("String_Node_Str")).put(new Info("String_Node_Str").valueTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").javaText("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str")).put(new Info("String_Node_Str").javaText("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str")).put(new Info("String_Node_Str").pointerTypes("String_Node_Str").define()).put(new Info("String_Node_Str").pointerTypes("String_Node_Str"));
}