Program: 186861
Project: 186861
Buggy source:
@SuppressWarnings({"String_Node_Str"}) @Override public void onSetupConfig(AppSetup setup) throws BadConfigurationException {
  appInfo=setup.getAppInfo();
  Config config=setup.getConfig();
  this.projectConfig=config;
  this.projectName=projectConfig.getProjectName();
  File outDir=projectConfig.getOutDir();
  Config.checkDir(outDir,true);
  File ilpDir=new File(outDir,"String_Node_Str");
  Config.checkDir(ilpDir,true);
  if (projectConfig.doGenerateReport()) {
    try {
      this.results=new Report(projectConfig.getConfig(),this,projectConfig.getReportDir());
    }
 catch (    IOException e) {
      throw new BadConfigurationException("String_Node_Str",e);
    }
    this.genWCETReport=true;
  }
 else {
    this.genWCETReport=false;
  }
  if (projectConfig.saveResults()) {
    this.resultRecord=new File(config.getOption(ProjectConfig.RESULT_FILE));
    if (!projectConfig.appendResults()) {
      recordMetric("String_Node_Str",this.getProjectName());
      recordMetric("String_Node_Str",new Date());
    }
  }
  if (projectConfig.getProcessorName().equals("String_Node_Str")) {
    this.processor=new ObjectAllocationModel(this);
  }
 else   if (projectConfig.getProcessorName().equals("String_Node_Str")) {
    this.processor=new HandleAllocationModel(this);
  }
 else   if (projectConfig.getProcessorName().equals("String_Node_Str")) {
    this.processor=new HeaderAllocationModel(this);
  }
 else   if (projectConfig.getProcessorName().equals("String_Node_Str")) {
    this.processor=new BlockAllocationModel(this);
  }
 else   if (projectConfig.getProcessorName().equals("String_Node_Str")) {
    this.processor=new JamuthWCETModel(this);
  }
 else {
    try {
      this.processor=new JOPWcetModel(this);
    }
 catch (    IOException e) {
      throw new BadConfigurationException("String_Node_Str",e);
    }
  }
}

Fixed version (ground truth):
@SuppressWarnings({"String_Node_Str"}) @Override public void onSetupConfig(AppSetup setup) throws BadConfigurationException {
  appInfo=setup.getAppInfo();
  Config config=setup.getConfig();
  this.projectConfig=new ProjectConfig(config);
  this.projectName=projectConfig.getProjectName();
  File outDir=projectConfig.getOutDir();
  Config.checkDir(outDir,true);
  File ilpDir=new File(outDir,"String_Node_Str");
  Config.checkDir(ilpDir,true);
  if (projectConfig.doGenerateReport()) {
    this.results=new Report(this);
    this.genWCETReport=true;
  }
 else {
    this.genWCETReport=false;
  }
  if (projectConfig.saveResults()) {
    this.resultRecord=new File(config.getOption(ProjectConfig.RESULT_FILE));
    if (!projectConfig.appendResults()) {
      recordMetric("String_Node_Str",this.getProjectName());
      recordMetric("String_Node_Str",new Date());
    }
  }
  if (projectConfig.getProcessorName().equals("String_Node_Str")) {
    this.processor=new ObjectAllocationModel(this);
  }
 else   if (projectConfig.getProcessorName().equals("String_Node_Str")) {
    this.processor=new HandleAllocationModel(this);
  }
 else   if (projectConfig.getProcessorName().equals("String_Node_Str")) {
    this.processor=new HeaderAllocationModel(this);
  }
 else   if (projectConfig.getProcessorName().equals("String_Node_Str")) {
    this.processor=new BlockAllocationModel(this);
  }
 else   if (projectConfig.getProcessorName().equals("String_Node_Str")) {
    this.processor=new JamuthWCETModel(this);
  }
 else {
    try {
      this.processor=new JOPWcetModel(this);
    }
 catch (    IOException e) {
      throw new BadConfigurationException("String_Node_Str",e);
    }
  }
}