Program: 92862
Project: 92862
Buggy source:
public void addMetadata(QuickTimeVideoDirectory directory){
  VideoSampleDescription sampleDescription=sampleDescriptions.get(0);
  QuickTimeDictionary.setLookup(QuickTimeVideoDirectory.TAG_VENDOR,sampleDescription.vendor,directory);
  QuickTimeDictionary.setLookup(QuickTimeVideoDirectory.TAG_COMPRESSION_TYPE,sampleDescription.dataFormat,directory);
  directory.setLong(QuickTimeVideoDirectory.TAG_TEMPORAL_QUALITY,sampleDescription.temporalQuality);
  directory.setLong(QuickTimeVideoDirectory.TAG_SPATIAL_QUALITY,sampleDescription.spatialQuality);
  directory.setInt(QuickTimeVideoDirectory.TAG_WIDTH,sampleDescription.width);
  directory.setInt(QuickTimeVideoDirectory.TAG_HEIGHT,sampleDescription.height);
  directory.setString(QuickTimeVideoDirectory.TAG_COMPRESSOR_NAME,sampleDescription.compressorName.trim());
  directory.setInt(QuickTimeVideoDirectory.TAG_DEPTH,sampleDescription.depth);
  directory.setInt(QuickTimeVideoDirectory.TAG_COLOR_TABLE,sampleDescription.colorTableID);
  double horizontalInteger=(sampleDescription.horizontalResolution & 0xFFFF0000) >> 16;
  double horizontalFraction=(sampleDescription.horizontalResolution & 0xFFFF) / Math.pow(2,4);
  directory.setDouble(QuickTimeVideoDirectory.TAG_HORIZONTAL_RESOLUTION,horizontalInteger + horizontalFraction);
  double verticalInteger=(sampleDescription.verticalResolution & 0xFFFF0000) >> 16;
  double verticalFraction=(sampleDescription.verticalResolution & 0xFFFF) / Math.pow(2,4);
  directory.setDouble(QuickTimeVideoDirectory.TAG_VERTICAL_RESOLUTION,verticalInteger + verticalFraction);
}

Fixed version (ground truth):
public void addMetadata(QuickTimeVideoDirectory directory){
  VideoSampleDescription sampleDescription=sampleDescriptions.get(0);
  QuickTimeDictionary.setLookup(QuickTimeVideoDirectory.TAG_VENDOR,sampleDescription.vendor,directory);
  QuickTimeDictionary.setLookup(QuickTimeVideoDirectory.TAG_COMPRESSION_TYPE,sampleDescription.dataFormat,directory);
  directory.setLong(QuickTimeVideoDirectory.TAG_TEMPORAL_QUALITY,sampleDescription.temporalQuality);
  directory.setLong(QuickTimeVideoDirectory.TAG_SPATIAL_QUALITY,sampleDescription.spatialQuality);
  directory.setInt(QuickTimeVideoDirectory.TAG_WIDTH,sampleDescription.width);
  directory.setInt(QuickTimeVideoDirectory.TAG_HEIGHT,sampleDescription.height);
  String compressorName=sampleDescription.compressorName.trim();
  if (!compressorName.isEmpty()) {
    directory.setString(QuickTimeVideoDirectory.TAG_COMPRESSOR_NAME,compressorName);
  }
  directory.setInt(QuickTimeVideoDirectory.TAG_DEPTH,sampleDescription.depth);
  directory.setInt(QuickTimeVideoDirectory.TAG_COLOR_TABLE,sampleDescription.colorTableID);
  double horizontalInteger=(sampleDescription.horizontalResolution & 0xFFFF0000) >> 16;
  double horizontalFraction=(sampleDescription.horizontalResolution & 0xFFFF) / Math.pow(2,4);
  directory.setDouble(QuickTimeVideoDirectory.TAG_HORIZONTAL_RESOLUTION,horizontalInteger + horizontalFraction);
  double verticalInteger=(sampleDescription.verticalResolution & 0xFFFF0000) >> 16;
  double verticalFraction=(sampleDescription.verticalResolution & 0xFFFF) / Math.pow(2,4);
  directory.setDouble(QuickTimeVideoDirectory.TAG_VERTICAL_RESOLUTION,verticalInteger + verticalFraction);
}