Program: 108944
Project: 108944
Buggy source:
/** 
 * Creates a new NodeChecker instance.
 * @param manager The manager
 * @param metric The metric
 * @param config The anonymization configuration
 * @param historyMaxSize The history max size
 * @param snapshotSizeDataset The history threshold
 * @param snapshotSizeSnapshot The history threshold replacement
 */
public NodeChecker(final DataManager manager,final Metric<?> metric,final ARXConfiguration config,final int historyMaxSize,final double snapshotSizeDataset,final double snapshotSizeSnapshot){
  this.metric=metric;
  this.config=config;
  data=manager.getDataQI();
  final int initialSize=(int)(manager.getDataQI().getDataLength() * 0.01d);
  final IntArrayDictionary dictionarySensValue;
  final IntArrayDictionary dictionarySensFreq;
  if ((config.getRequirements() & ARXConfiguration.REQUIREMENT_DISTRIBUTION) != 0) {
    dictionarySensValue=new IntArrayDictionary(initialSize);
    dictionarySensFreq=new IntArrayDictionary(initialSize);
  }
 else {
    dictionarySensValue=new IntArrayDictionary(0);
    dictionarySensFreq=new IntArrayDictionary(0);
  }
  history=new History(manager.getDataQI().getArray().length,historyMaxSize,snapshotSizeDataset,snapshotSizeSnapshot,config,dictionarySensValue,dictionarySensFreq);
  stateMachine=new StateMachine(history);
  currentGroupify=new HashGroupify(initialSize,config);
  lastGroupify=new HashGroupify(initialSize,config);
  transformer=new Transformer(manager.getDataQI().getArray(),manager.getHierarchies(),manager.getDataSE().getArray(),config,dictionarySensValue,dictionarySensFreq);
}

Fixed version (ground truth):
/** 
 * Creates a new NodeChecker instance.
 * @param manager The manager
 * @param metric The metric
 * @param config The anonymization configuration
 * @param historyMaxSize The history max size
 * @param snapshotSizeDataset The history threshold
 * @param snapshotSizeSnapshot The history threshold replacement
 */
public NodeChecker(final DataManager manager,final Metric<?> metric,final ARXConfiguration config,final int historyMaxSize,final double snapshotSizeDataset,final double snapshotSizeSnapshot){
  this.metric=metric;
  this.config=config;
  this.data=manager.getDataQI();
  final int initialSize=(int)(manager.getDataQI().getDataLength() * 0.01d);
  final IntArrayDictionary dictionarySensValue;
  final IntArrayDictionary dictionarySensFreq;
  if ((config.getRequirements() & ARXConfiguration.REQUIREMENT_DISTRIBUTION) != 0) {
    dictionarySensValue=new IntArrayDictionary(initialSize);
    dictionarySensFreq=new IntArrayDictionary(initialSize);
  }
 else {
    dictionarySensValue=new IntArrayDictionary(0);
    dictionarySensFreq=new IntArrayDictionary(0);
  }
  this.history=new History(manager.getDataQI().getArray().length,historyMaxSize,snapshotSizeDataset,snapshotSizeSnapshot,config,dictionarySensValue,dictionarySensFreq);
  this.stateMachine=new StateMachine(history);
  this.currentGroupify=new HashGroupify(initialSize,config);
  this.lastGroupify=new HashGroupify(initialSize,config);
  this.transformer=new Transformer(manager.getDataQI().getArray(),manager.getHierarchies(),manager.getDataSE().getArray(),config,dictionarySensValue,dictionarySensFreq);
}