Program: 156143
Project: 156143
Buggy source:
@Override protected Object decode(Channel channel,SocketAddress remoteAddress,Object msg) throws Exception {
  ChannelBuffer buf=(ChannelBuffer)msg;
  buf.readUnsignedByte();
  buf.readUnsignedShort();
  int index=buf.readUnsignedByte() >> 3;
  if (channel != null) {
    ChannelBuffer response=ChannelBuffers.copiedBuffer("String_Node_Str" + index,Charset.defaultCharset());
    channel.write(response,remoteAddress);
  }
  String id=String.valueOf(buf.readUnsignedInt());
  if (!identify(id,channel,remoteAddress)) {
    return null;
  }
  List<Position> positions=new LinkedList<>();
  while (buf.readableBytes() > 2) {
    Position position=new Position();
    position.setProtocol(getProtocolName());
    position.setDeviceId(getDeviceId());
    int end=buf.readerIndex() + buf.readUnsignedByte();
    position.setTime(new Date(buf.readUnsignedInt() * 1000));
    int flags=buf.readUnsignedByte();
    position.set(Event.KEY_SATELLITES,BitUtil.range(flags,2));
    position.setValid(BitUtil.range(flags,0,2) > 0);
    double lat=buf.readUnsignedMedium();
    lat=lat * -180 / 16777216 + 90;
    position.setLatitude(lat);
    double lon=buf.readUnsignedMedium();
    lon=lon * 360 / 16777216 - 180;
    position.setLongitude(lon);
    flags=buf.readUnsignedByte();
    position.set(Event.KEY_IGNITION,BitUtil.check(flags,0));
    position.set(Event.KEY_GSM,BitUtil.range(flags,2,3));
    position.setCourse((BitUtil.range(flags,5) * 45 + 180) % 360);
    int speed=buf.readUnsignedByte();
    if (speed < 250) {
      position.setSpeed(UnitsConverter.knotsFromKph(speed));
    }
    while (buf.readerIndex() < end) {
      int type=buf.readUnsignedByte();
      int length=buf.readUnsignedByte();
      if (length == 255) {
        length+=buf.readUnsignedByte();
      }
switch (type) {
case 2:
        position.set(Event.KEY_ODOMETER,buf.readUnsignedMedium() * 5);
      break;
case 5:
    position.set(Event.KEY_INPUT,buf.readUnsignedByte());
  break;
case 6:
{
  int n=buf.readUnsignedByte() >> 4;
  if (n < 2) {
    position.set(Event.PREFIX_ADC + n,readSwappedFloat(buf));
  }
 else {
    position.set("String_Node_Str" + (n - 2),readSwappedFloat(buf));
  }
}
break;
case 7:
{
int alarm=buf.readUnsignedByte();
buf.readUnsignedByte();
if (BitUtil.check(alarm,5)) {
position.set(Event.KEY_ALARM,BitUtil.range(alarm,0,4));
}
}
break;
case 8:
position.set("String_Node_Str",buf.readUnsignedByte());
break;
case 9:
position.set("String_Node_Str",ChannelBufferTools.readHexString(buf,16));
break;
case 10:
position.set("String_Node_Str",ChannelBufferTools.readHexString(buf,16));
break;
case 24:
{
Set<Integer> temps=new LinkedHashSet<>();
int temp=buf.readUnsignedByte();
for (int i=3; i >= 0; i--) {
int n=(temp >> (2 * i)) & 0x03;
if (!temps.contains(n)) {
temps.add(n);
}
}
for (int n : temps) {
position.set(Event.PREFIX_TEMP + n,buf.readUnsignedByte());
}
}
break;
case 28:
position.set("String_Node_Str",buf.readUnsignedShort());
buf.readUnsignedByte();
break;
case 90:
position.set(Event.KEY_POWER,readSwappedFloat(buf));
break;
case 101:
position.set(Event.KEY_OBD_SPEED,buf.readUnsignedByte());
break;
case 102:
position.set(Event.KEY_RPM,buf.readUnsignedByte() * 50);
break;
case 107:
{
int fuel=buf.readUnsignedShort();
switch (fuel >> 16) {
case 1:
position.set(Event.KEY_FUEL,(buf.readUnsignedShort() & 0x3fff) * 0.4 + "String_Node_Str");
break;
case 2:
position.set(Event.KEY_FUEL,(buf.readUnsignedShort() & 0x3fff) * 0.5 + "String_Node_Str");
break;
case 3:
position.set(Event.KEY_FUEL,(buf.readUnsignedShort() & 0x3fff) * -0.5 + "String_Node_Str");
break;
}
}
break;
case 108:
position.set(Event.KEY_OBD_ODOMETER,buf.readUnsignedInt() * 5);
break;
case 150:
position.set("String_Node_Str",buf.readUnsignedByte());
break;
default :
buf.skipBytes(length);
break;
}
}
positions.add(position);
}
return positions;
}

Fixed version (ground truth):
@Override protected Object decode(Channel channel,SocketAddress remoteAddress,Object msg) throws Exception {
  ChannelBuffer buf=(ChannelBuffer)msg;
  buf.readUnsignedByte();
  buf.readUnsignedShort();
  int index=buf.readUnsignedByte() >> 3;
  if (channel != null) {
    ChannelBuffer response=ChannelBuffers.copiedBuffer("String_Node_Str" + index,Charset.defaultCharset());
    channel.write(response,remoteAddress);
  }
  String id=String.valueOf(buf.readUnsignedInt());
  if (!identify(id,channel,remoteAddress)) {
    return null;
  }
  List<Position> positions=new LinkedList<>();
  while (buf.readableBytes() > 2) {
    Position position=new Position();
    position.setProtocol(getProtocolName());
    position.setDeviceId(getDeviceId());
    int end=buf.readerIndex() + buf.readUnsignedByte();
    position.setTime(new Date(buf.readUnsignedInt() * 1000));
    int flags=buf.readUnsignedByte();
    position.set(Event.KEY_SATELLITES,BitUtil.range(flags,2));
    position.setValid(BitUtil.range(flags,0,2) > 0);
    double lat=buf.readUnsignedMedium();
    lat=lat * -180 / 16777216 + 90;
    position.setLatitude(lat);
    double lon=buf.readUnsignedMedium();
    lon=lon * 360 / 16777216 - 180;
    position.setLongitude(lon);
    flags=buf.readUnsignedByte();
    position.set(Event.KEY_IGNITION,BitUtil.check(flags,0));
    position.set(Event.KEY_GSM,BitUtil.range(flags,2,3));
    position.setCourse((BitUtil.range(flags,5) * 45 + 180) % 360);
    int speed=buf.readUnsignedByte();
    if (speed < 250) {
      position.setSpeed(UnitsConverter.knotsFromKph(speed));
    }
    while (buf.readerIndex() < end) {
      int type=buf.readUnsignedByte();
      int length=buf.readUnsignedByte();
      if (length == 255) {
        length+=buf.readUnsignedByte();
      }
switch (type) {
case 2:
        position.set(Event.KEY_ODOMETER,buf.readUnsignedMedium());
      break;
case 5:
    position.set(Event.KEY_INPUT,buf.readUnsignedByte());
  break;
case 6:
{
  int n=buf.readUnsignedByte() >> 4;
  if (n < 2) {
    position.set(Event.PREFIX_ADC + n,readSwappedFloat(buf));
  }
 else {
    position.set("String_Node_Str" + (n - 2),readSwappedFloat(buf));
  }
}
break;
case 7:
{
int alarm=buf.readUnsignedByte();
buf.readUnsignedByte();
if (BitUtil.check(alarm,5)) {
position.set(Event.KEY_ALARM,BitUtil.range(alarm,0,4));
}
}
break;
case 8:
position.set("String_Node_Str",buf.readUnsignedByte());
break;
case 9:
position.set("String_Node_Str",ChannelBufferTools.readHexString(buf,16));
break;
case 10:
position.set("String_Node_Str",ChannelBufferTools.readHexString(buf,16));
break;
case 24:
{
Set<Integer> temps=new LinkedHashSet<>();
int temp=buf.readUnsignedByte();
for (int i=3; i >= 0; i--) {
int n=(temp >> (2 * i)) & 0x03;
if (!temps.contains(n)) {
temps.add(n);
}
}
for (int n : temps) {
position.set(Event.PREFIX_TEMP + n,buf.readUnsignedByte());
}
}
break;
case 28:
position.set("String_Node_Str",buf.readUnsignedShort());
buf.readUnsignedByte();
break;
case 90:
position.set(Event.KEY_POWER,readSwappedFloat(buf));
break;
case 101:
position.set(Event.KEY_OBD_SPEED,buf.readUnsignedByte());
break;
case 102:
position.set(Event.KEY_RPM,buf.readUnsignedByte() * 50);
break;
case 107:
{
int fuel=buf.readUnsignedShort();
switch (fuel >> 14) {
case 1:
position.set(Event.KEY_FUEL,(fuel & 0x3fff) * 0.4 + "String_Node_Str");
break;
case 2:
position.set(Event.KEY_FUEL,(fuel & 0x3fff) * 0.5 + "String_Node_Str");
break;
case 3:
position.set(Event.KEY_FUEL,(fuel & 0x3fff) * -0.5 + "String_Node_Str");
break;
}
}
break;
case 108:
position.set(Event.KEY_OBD_ODOMETER,buf.readUnsignedInt() * 5);
break;
case 150:
position.set("String_Node_Str",buf.readUnsignedByte());
break;
default :
buf.skipBytes(length);
break;
}
}
positions.add(position);
}
return positions;
}