Program: 8305
Project: 8305
Buggy source:
public void handleNfcError(CardException e){
  Log.e(Constants.TAG,"String_Node_Str",e);
  short status=e.getResponseCode();
  if ((status & (short)0xFFF0) == 0x63C0) {
    Notify.create(this,getString(R.string.error_pin,status & 0x000F),Style.WARN).show();
    return;
  }
switch (status) {
case 0x6A80:
    throw new AssertionError("String_Node_Str");
case 0x6883:
  throw new AssertionError("String_Node_Str");
case 0x6B00:
throw new AssertionError("String_Node_Str");
case 0x6D00:
throw new AssertionError("String_Node_Str");
case 0x6E00:
throw new AssertionError("String_Node_Str");
case 0x6285:
{
Notify.create(this,getString(R.string.error_nfc,getString(R.string.error_nfc_terminated)),Style.WARN).show();
break;
}
case 0x6700:
{
Notify.create(this,getString(R.string.error_nfc,getString(R.string.error_nfc_wrong_length)),Style.WARN).show();
break;
}
case 0x6982:
{
Notify.create(this,getString(R.string.error_nfc,getString(R.string.error_nfc_security_not_satisfied)),Style.WARN).show();
break;
}
case 0x6983:
{
Notify.create(this,getString(R.string.error_nfc,getString(R.string.error_nfc_authentication_blocked)),Style.WARN).show();
break;
}
case 0x6985:
{
Notify.create(this,getString(R.string.error_nfc,getString(R.string.error_nfc_conditions_not_satisfied)),Style.WARN).show();
break;
}
case 0x6A88:
case 0x6A83:
{
Notify.create(this,getString(R.string.error_nfc,getString(R.string.error_nfc_data_not_found)),Style.WARN).show();
break;
}
case 0x6F00:
{
Notify.create(this,getString(R.string.error_nfc,getString(R.string.error_nfc_unknown)),Style.WARN).show();
break;
}
default :
Notify.create(this,getString(R.string.error_nfc,e.getMessage()),Style.WARN).show();
}
}

Fixed version (ground truth):
public void handleNfcError(CardException e){
  Log.e(Constants.TAG,"String_Node_Str",e);
  short status=e.getResponseCode();
  if ((status & (short)0xFFF0) == 0x63C0) {
    Notify.create(this,getString(R.string.error_pin,status & 0x000F),Style.WARN).show();
    return;
  }
switch (status) {
case 0x6A80:
{
      Notify.create(this,getString(R.string.error_nfc_bad_data),Style.WARN).show();
      break;
    }
case 0x6883:
{
    Notify.create(this,getString(R.string.error_nfc_chaining_error),Style.WARN).show();
    break;
  }
case 0x6B00:
{
  Notify.create(this,getString(R.string.error_nfc_header,"String_Node_Str"),Style.WARN).show();
  break;
}
case 0x6D00:
{
Notify.create(this,getString(R.string.error_nfc_header,"String_Node_Str"),Style.WARN).show();
break;
}
case 0x6E00:
{
Notify.create(this,getString(R.string.error_nfc_header,"String_Node_Str"),Style.WARN).show();
break;
}
case 0x6285:
{
Notify.create(this,getString(R.string.error_nfc_terminated),Style.WARN).show();
break;
}
case 0x6700:
{
Notify.create(this,getString(R.string.error_nfc_wrong_length),Style.WARN).show();
break;
}
case 0x6982:
{
Notify.create(this,getString(R.string.error_nfc_security_not_satisfied),Style.WARN).show();
break;
}
case 0x6983:
{
Notify.create(this,getString(R.string.error_nfc_authentication_blocked),Style.WARN).show();
break;
}
case 0x6985:
{
Notify.create(this,getString(R.string.error_nfc_conditions_not_satisfied),Style.WARN).show();
break;
}
case 0x6A88:
case 0x6A83:
{
Notify.create(this,getString(R.string.error_nfc_data_not_found),Style.WARN).show();
break;
}
case 0x6F00:
{
Notify.create(this,getString(R.string.error_nfc_unknown),Style.WARN).show();
break;
}
default :
Notify.create(this,getString(R.string.error_nfc,e.getMessage()),Style.WARN).show();
}
}