Program: 184737
Project: 184737
Buggy source:
void updateCallNotifierRegistrationsAfterRadioTechnologyChange(){
  if (DBG)   Log.d(LOG_TAG,"String_Node_Str");
  mPhone.unregisterForNewRingingConnection(this);
  mPhone.unregisterForPreciseCallStateChanged(this);
  mPhone.unregisterForDisconnect(this);
  mPhone.unregisterForUnknownConnection(this);
  mPhone.unregisterForIncomingRing(this);
  mPhone.unregisterForCallWaiting(this);
  mPhone.unregisterForDisplayInfo(this);
  mPhone.unregisterForSignalInfo(this);
  mPhone.unregisterForCdmaOtaStatusChange(this);
  mPhone.unregisterForRingbackTone(this);
  if (mSignalInfoToneGenerator != null) {
    mSignalInfoToneGenerator.release();
  }
  mInCallRingbackTonePlayer=null;
  mPhone.unregisterForInCallVoicePrivacyOn(this);
  mPhone.unregisterForInCallVoicePrivacyOff(this);
  mPhone.registerForNewRingingConnection(this,PHONE_NEW_RINGING_CONNECTION,null);
  mPhone.registerForPreciseCallStateChanged(this,PHONE_STATE_CHANGED,null);
  mPhone.registerForDisconnect(this,PHONE_DISCONNECT,null);
  mPhone.registerForUnknownConnection(this,PHONE_UNKNOWN_CONNECTION_APPEARED,null);
  mPhone.registerForIncomingRing(this,PHONE_INCOMING_RING,null);
  if (mPhone.getPhoneType() == Phone.PHONE_TYPE_CDMA) {
    if (DBG)     log("String_Node_Str");
    mPhone.registerForCallWaiting(this,PHONE_CDMA_CALL_WAITING,null);
    mPhone.registerForDisplayInfo(this,PHONE_STATE_DISPLAYINFO,null);
    mPhone.registerForSignalInfo(this,PHONE_STATE_SIGNALINFO,null);
    mPhone.registerForCdmaOtaStatusChange(this,EVENT_OTA_PROVISION_CHANGE,null);
    try {
      mSignalInfoToneGenerator=new ToneGenerator(AudioManager.STREAM_VOICE_CALL,TONE_RELATIVE_VOLUME_SIGNALINFO);
    }
 catch (    RuntimeException e) {
      Log.w(LOG_TAG,"String_Node_Str" + "String_Node_Str" + e);
      mSignalInfoToneGenerator=null;
    }
    mPhone.registerForInCallVoicePrivacyOn(this,PHONE_ENHANCED_VP_ON,null);
    mPhone.registerForInCallVoicePrivacyOff(this,PHONE_ENHANCED_VP_OFF,null);
  }
  if (mPhone.getPhoneType() == Phone.PHONE_TYPE_GSM) {
    mPhone.registerForRingbackTone(this,PHONE_RINGBACK_TONE,null);
  }
}

Fixed version (ground truth):
void updateCallNotifierRegistrationsAfterRadioTechnologyChange(){
  if (DBG)   Log.d(LOG_TAG,"String_Node_Str");
  mPhone.unregisterForNewRingingConnection(this);
  mPhone.unregisterForPreciseCallStateChanged(this);
  mPhone.unregisterForDisconnect(this);
  mPhone.unregisterForUnknownConnection(this);
  mPhone.unregisterForIncomingRing(this);
  mPhone.unregisterForCallWaiting(this);
  mPhone.unregisterForDisplayInfo(this);
  mPhone.unregisterForSignalInfo(this);
  mPhone.unregisterForCdmaOtaStatusChange(this);
  mPhone.unregisterForRingbackTone(this);
  if (mSignalInfoToneGenerator != null) {
    mSignalInfoToneGenerator.release();
  }
  mInCallRingbackTonePlayer=null;
  mCallWaitingTonePlayer=null;
  mPhone.unregisterForInCallVoicePrivacyOn(this);
  mPhone.unregisterForInCallVoicePrivacyOff(this);
  mPhone.registerForNewRingingConnection(this,PHONE_NEW_RINGING_CONNECTION,null);
  mPhone.registerForPreciseCallStateChanged(this,PHONE_STATE_CHANGED,null);
  mPhone.registerForDisconnect(this,PHONE_DISCONNECT,null);
  mPhone.registerForUnknownConnection(this,PHONE_UNKNOWN_CONNECTION_APPEARED,null);
  mPhone.registerForIncomingRing(this,PHONE_INCOMING_RING,null);
  if (mPhone.getPhoneType() == Phone.PHONE_TYPE_CDMA) {
    if (DBG)     log("String_Node_Str");
    mPhone.registerForCallWaiting(this,PHONE_CDMA_CALL_WAITING,null);
    mPhone.registerForDisplayInfo(this,PHONE_STATE_DISPLAYINFO,null);
    mPhone.registerForSignalInfo(this,PHONE_STATE_SIGNALINFO,null);
    mPhone.registerForCdmaOtaStatusChange(this,EVENT_OTA_PROVISION_CHANGE,null);
    try {
      mSignalInfoToneGenerator=new ToneGenerator(AudioManager.STREAM_VOICE_CALL,TONE_RELATIVE_VOLUME_SIGNALINFO);
    }
 catch (    RuntimeException e) {
      Log.w(LOG_TAG,"String_Node_Str" + "String_Node_Str" + e);
      mSignalInfoToneGenerator=null;
    }
    mPhone.registerForInCallVoicePrivacyOn(this,PHONE_ENHANCED_VP_ON,null);
    mPhone.registerForInCallVoicePrivacyOff(this,PHONE_ENHANCED_VP_OFF,null);
  }
  if (mPhone.getPhoneType() == Phone.PHONE_TYPE_GSM) {
    mPhone.registerForRingbackTone(this,PHONE_RINGBACK_TONE,null);
  }
}