使用dexlib2插入分支会在生成的APK中引起很多“ VerifyErrors”。以下堆栈跟踪显示了其中一些问题。 我认为这是所提供的类型分析器的一些不准确性，这是必需的，因为我需要一个附加的本地寄存器，该寄存器又与取决于正确类型的移动指令一起使用。
01-28 10:28:20.854 4923 4926 W dex2oat :
01-28 10:28:20.854 4923 4925 W dex2oat : Verification error in void com.android.calendar.agenda.AgendaListView.goTo(android.text.format.Time, long, java.lang.String, boolean, boolean)
01-28 10:28:20.854 4923 4925 W dex2oat : void com.android.calendar.agenda.AgendaListView.goTo(android.text.format.Time, long, java.lang.String, boolean, boolean) failed to verify: void com.android.calendar.agenda.AgendaListView.goTo(android.text.format.Time, long, java.lang.String, boolean, boolean): [0x42] copy1 v5<-v0 type=Reference: com.android.calendar.agenda.AgendaWindowAdapter cat=1
01-28 10:28:20.854 4923 4925 W dex2oat :
01-28 10:28:20.854 4923 4925 W dex2oat : Verification error in void com.android.calendar.agenda.AgendaListView.onItemClick(android.widget.AdapterView, android.view.View, int, long)
01-28 10:28:20.854 4923 4925 W dex2oat : void com.android.calendar.agenda.AgendaListView.onItemClick(android.widget.AdapterView, android.view.View, int, long) failed to verify: void com.android.calendar.agenda.AgendaListView.onItemClick(android.widget.AdapterView, android.view.View, int, long): [0x6] copy1 v22<-v0 type=Undefined cat=1
01-28 10:28:20.854 4923 4925 W dex2oat :
01-28 10:28:20.855 4923 4927 W dex2oat : Verification error in void com.android.calendar.alerts.AlarmScheduler.queryNextReminderAndSchedule(android.database.Cursor, android.content.Context, android.content.ContentResolver, com.android.calendar.alerts.AlarmManagerInterface, int, long)
01-28 10:28:20.855 4923 4927 W dex2oat : void com.android.calendar.alerts.AlarmScheduler.queryNextReminderAndSchedule(android.database.Cursor, android.content.Context, android.content.ContentResolver, com.android.calendar.alerts.AlarmManagerInterface, int, long) failed to verify: void com.android.calendar.alerts.AlarmScheduler.queryNextReminderAndSchedule(android.database.Cursor, android.content.Context, android.content.ContentResolver, com.android.calendar.alerts.AlarmManagerInterface, int, long): [0x6] copy1 v35<-v0 type=Undefined cat=1
01-28 10:28:20.855 4923 4927 W dex2oat :
01-28 10:28:20.855 4923 4927 W dex2oat : Verification error in void com.android.calendar.alerts.AlarmScheduler.scheduleAlarm(android.content.Context, long, long, long, com.android.calendar.alerts.AlarmManagerInterface)
01-28 10:28:20.855 4923 4927 W dex2oat : void com.android.calendar.alerts.AlarmScheduler.scheduleAlarm(android.content.Context, long, long, long, com.android.calendar.alerts.AlarmManagerInterface) failed to verify: void com.android.calendar.alerts.AlarmScheduler.scheduleAlarm(android.content.Context, long, long, long, com.android.calendar.alerts.AlarmManagerInterface): [0x1C] Rejecting invocation, long or double parameter at index 1 is not a pair: 15 + 0.
01-28 10:28:20.855 4923 4927 W dex2oat :
01-28 10:28:20.856 4923 4923 W dex2oat : Verification error in void com.android.calendar.alerts.AlertAdapter.updateView(android.content.Context, android.view.View, java.lang.String, java.lang.String, long, long, boolean)
01-28 10:28:20.856 4923 4923 W dex2oat : void com.android.calendar.alerts.AlertAdapter.updateView(android.content.Context, android.view.View, java.lang.String, java.lang.String, long, long, boolean) failed to verify: void com.android.calendar.alerts.AlertAdapter.updateView(android.content.Context, android.view.View, java.lang.String, java.lang.String, long, long, boolean): [0x105] Expected category1 register type not 'Long (Low Half)'
01-28 10:28:20.856 4923 4923 W dex2oat :
01-28 10:28:20.856 4923 4926 W dex2oat : Verification error in void com.android.calendar.agenda.AgendaWindowAdapter.refresh(android.text.format.Time, long, java.lang.String, boolean, boolean)
01-28 10:28:20.856 4923 4926 W dex2oat : void com.android.calendar.agenda.AgendaWindowAdapter.refresh(android.text.format.Time, long, java.lang.String, boolean, boolean) failed to verify: void com.android.calendar.agenda.AgendaWindowAdapter.refresh(android.text.format.Time, long, java.lang.String, boolean, boolean): [0x2] copy1 v28<-v0 type=Undefined cat=1
01-28 10:28:20.856 4923 4926 W dex2oat :
01-28 10:28:20.856 4923 4926 W dex2oat : Verification error in boolean com.android.calendar.alerts.AlertService.generateAlerts(android.content.Context, com.android.calendar.alerts.NotificationMgr, com.android.calendar.alerts.AlarmManagerInterface, android.content.SharedPreferences, android.database.Cursor, long, int)
01-28 10:28:20.856 4923 4926 W dex2oat : boolean com.android.calendar.alerts.AlertService.generateAlerts(android.content.Context, com.android.calendar.alerts.NotificationMgr, com.android.calendar.alerts.AlarmManagerInterface, android.content.SharedPreferences, android.database.Cursor, long, int) failed to verify: boolean com.android.calendar.alerts.AlertService.generateAlerts(android.content.Context, com.android.calendar.alerts.NotificationMgr, com.android.calendar.alerts.AlarmManagerInterface, android.content.SharedPreferences, android.database.Cursor, long, int): [0x45] copy1 v47<-v0 type=Undefined cat=1
01-28 10:28:20.856 4923 4926 W dex2oat :
01-28 10:28:20.856 4923 4926 W dex2oat : Verification error in void com.android.calendar.alerts.AlertService.postNotification(com.android.calendar.alerts.AlertService$NotificationInfo, java.lang.String, android.content.Context, boolean, com.android.calendar.alerts.AlertService$NotificationPrefs, com.android.calendar.alerts.NotificationMgr, int)
01-28 10:28:20.856 4923 4926 W dex2oat : void com.android.calendar.alerts.AlertService.postNotification(com.android.calendar.alerts.AlertService$NotificationInfo, java.lang.String, android.content.Context, boolean, com.android.calendar.alerts.AlertService$NotificationPrefs, com.android.calendar.alerts.NotificationMgr, int) failed to verify: void com.android.calendar.alerts.AlertService.postNotification(com.android.calendar.alerts.AlertService$NotificationInfo, java.lang.String, android.content.Context, boolean, com.android.calendar.alerts.AlertService$NotificationPrefs, com.android.calendar.alerts.NotificationMgr, int): [0x3] copy1 v16<-v0 type=Undefined cat=1
01-28 10:28:20.856 4923 4926 W dex2oat :
01-28 10:28:20.856 4923 4925 W dex2oat : Verification error in void com.android.calendar.alerts.AlertUtils.flushOldAlertsFromInternalStorage(android.content.Context)
01-28 10:28:20.856 4923 4925 W dex2oat : void com.android.calendar.alerts.AlertUtils.flushOldAlertsFromInternalStorage(android.content.Context) failed to verify: void com.android.calendar.alerts.AlertUtils.flushOldAlertsFromInternalStorage(android.content.Context): [0x4] copy1 v18<-v0 type=Undefined cat=1
01-28 10:28:20.856 4923 4925 W dex2oat :
01-28 10:28:20.856 4923 4923 W dex2oat : Verification error in android.app.Notification com.android.calendar.alerts.AlertReceiver.buildBasicNotification(android.app.Notification$Builder, android.content.Context, java.lang.String, java.lang.String, long, long, long, int, boolean, int, boolean)
01-28 10:28:20.857 4923 4923 W dex2oat : android.app.Notification com.android.calendar.alerts.AlertReceiver.buildBasicNotification(android.app.Notification$Builder, android.content.Context, java.lang.String, java.lang.String, long, long, long, int, boolean, int, boolean) failed to verify: android.app.Notification com.android.calendar.alerts.AlertReceiver.buildBasicNotification(android.app.Notification$Builder, android.content.Context, java.lang.String, java.lang.String, long, long, long, int, boolean, int, boolean): [0x6] copy1 v24<-v0 type=Undefined cat=1
01-28 10:28:20.857 4923 4923 W dex2oat :
01-28 10:28:20.857 4923 4925 W dex2oat : Verification error in java.lang.String com.android.calendar.alerts.AlertUtils.formatTimeLocation(android.content.Context, long, boolean, java.lang.String)
01-28 10:28:20.857 4923 4925 W dex2oat : java.lang.String com.android.calendar.alerts.AlertUtils.formatTimeLocation(android.content.Context, long, boolean, java.lang.String) failed to verify: java.lang.String com.android.calendar.alerts.AlertUtils.formatTimeLocation(android.content.Context, long, boolean, java.lang.String): [0x18] Rejecting invocation, long or double parameter at index 1 is not a pair: 15 + 0.
01-28 10:28:20.857 4923 4925 W dex2oat :
01-28 10:28:20.857 4923 4926 W dex2oat : Verification error in int com.android.calendar.alerts.AlertService.processQuery(android.database.Cursor, android.content.Context, long, java.util.ArrayList, java.util.ArrayList, java.util.ArrayList)
01-28 10:28:20.857 4923 4926 W dex2oat : int com.android.calendar.alerts.AlertService.processQuery(android.database.Cursor, android.content.Context, long, java.util.ArrayList, java.util.ArrayList, java.util.ArrayList) failed to verify: int com.android.calendar.alerts.AlertService.processQuery(android.database.Cursor, android.content.Context, long, java.util.ArrayList, java.util.ArrayList, java.util.ArrayList): [0x54A] Expected category1 register type not 'Long (Low Half)'
01-28 10:28:20.857 4923 4926 W dex2oat :
01-28 10:28:20.857 4923 4926 W dex2oat : Verification error in void com.android.calendar.alerts.AlertService.rescheduleMissedAlarms(android.content.ContentResolver, android.content.Context, com.android.calendar.alerts.AlarmManagerInterface)
01-28 10:28:20.857 4923 4926 W dex2oat : void com.android.calendar.alerts.AlertService.rescheduleMissedAlarms(android.content.ContentResolver, android.content.Context, com.android.calendar.alerts.AlarmManagerInterface) failed to verify: void com.android.calendar.alerts.AlertService.rescheduleMissedAlarms(android.content.ContentResolver, android.content.Context, com.android.calendar.alerts.AlarmManagerInterface): [0x17] copy1 v18<-v0 type=Undefined cat=1
01-28 10:28:20.857 4923 4926 W dex2oat :
01-28 10:28:20.857 4923 4923 W dex2oat : Verification error in android.content.Intent com.android.calendar.alerts.AlertReceiver.createEmailIntent(android.content.Context, long, java.lang.String)
01-28 10:28:20.857 4923 4923 W dex2oat : android.content.Intent com.android.calendar.alerts.AlertReceiver.createEmailIntent(android.content.Context, long, java.lang.String) failed to verify: android.content.Intent com.android.calendar.alerts.AlertReceiver.createEmailIntent(android.content.Context, long, java.lang.String): [0x4] Rejecting invocation, long or double parameter at index 1 is not a pair: 15 + 0.
01-28 10:28:20.857 4923 4923 W dex2oat :
01-28 10:28:20.857 4923 4927 W dex2oat : Verification error in void com.android.calendar.alerts.GlobalDismissManager.dismissGlobally(android.content.Context, java.util.List)
01-28 10:28:20.857 4923 4927 W dex2oat : void com.android.calendar.alerts.GlobalDismissManager.dismissGlobally(android.content.Context, java.util.List) failed to verify: void com.android.calendar.alerts.GlobalDismissManager.dismissGlobally(android.content.Context, java.util.List): [0x18A] copy1 v28<-v0 type=Integer cat=3
01-28 10:28:20.857 4923 4927 W dex2oat :
01-28 10:28:20.857 4923 4923 W dex2oat : Verification error in com.android.calendar.alerts.AlertService$NotificationWrapper com.android.calendar.alerts.AlertReceiver.makeDigestNotification(android.content.Context, java.util.ArrayList, java.lang.String, boolean)
01-28 10:28:20.857 4923 4923 W dex2oat : com.android.calendar.alerts.AlertService$NotificationWrapper com.android.calendar.alerts.AlertReceiver.makeDigestNotification(android.content.Context, java.util.ArrayList, java.lang.String, boolean) failed to verify: com.android.calendar.alerts.AlertService$NotificationWrapper com.android.calendar.alerts.AlertReceiver.makeDigestNotification(android.content.Context, java.util.ArrayList, java.lang.String, boolean): [0x2] copy1 v38<-v0 type=Undefined cat=1
01-28 10:28:20.857 4923 4923 W dex2oat :
01-28 10:28:20.857 4923 4927 W dex2oat : Verification error in void com.android.calendar.event.AttendeesView.addOneAttendee(com.android.calendar.CalendarEventModel$Attendee)
01-28 10:28:20.857 4923 4927 W dex2oat : void com.android.calendar.event.AttendeesView.addOneAttendee(com.android.calendar.CalendarEventModel$Attendee) failed to verify: void com.android.calendar.event.AttendeesView.addOneAttendee(com.android.calendar.CalendarEventModel$Attendee): [0x6] copy1 v16<-v0 type=Undefined cat=1
01-28 10:28:20.857 4923 4927 W dex2oat :
01-28 10:28:20.857 4923 4925 W dex2oat : Verification error in com.android.calendar.CalendarController$EventInfo com.android.calendar.event.EditEventActivity.getEventInfoFromIntent(android.os.Bundle)
01-28 10:28:20.857 4923 4925 W dex2oat : com.android.calendar.CalendarController$EventInfo com.android.calendar.event.EditEventActivity.getEventInfoFromIntent(android.os.Bundle) failed to verify: com.android.calendar.CalendarController$EventInfo com.android.calendar.event.EditEventActivity.getEventInfoFromIntent(android.os.Bundle): [0xBC] tried to get class from non-reference register v0 (type=Undefined)
01-28 10:28:20.857 4923 4925 W dex2oat :
01-28 10:28:20.858 4923 4926 W dex2oat : Verification error in void com.android.calendar.event.CreateEventDialogFragment.setDefaultCalendarView(android.database.Cursor)
01-28 10:28:20.858 4923 4926 W dex2oat : void com.android.calendar.event.CreateEventDialogFragment.setDefaultCalendarView(android.database.Cursor): [0x8] tried to get class from non-reference register v0 (type=Undefined)
01-28 10:28:20.858 4923 4926 W dex2oat : void com.android.calendar.event.CreateEventDialogFragment.setDefaultCalendarView(android.database.Cursor) failed to verify: void com.android.calendar.event.CreateEventDialogFragment.setDefaultCalendarView(android.database.Cursor): [0x8] tried to get class from non-reference register v0 (type=Undefined)
01-28 10:28:20.858 4923 4926 W dex2oat :
01-28 10:28:20.858 4923 4927 W dex2oat : Verification error in void com.android.calendar.event.EditEventHelper.offsetStartTimeIfNecessary(android.text.format.Time, android.text.format.Time, java.lang.String, com.android.calendar.CalendarEventModel)
01-28 10:28:20.858 4923 4927 W dex2oat : void com.android.calendar.event.EditEventHelper.offsetStartTimeIfNecessary(android.text.format.Time, android.text.format.Time, java.lang.String, com.android.calendar.CalendarEventModel) failed to verify: void com.android.calendar.event.EditEventHelper.offsetStartTimeIfNecessary(android.text.format.Time, android.text.format.Time, java.lang.String, com.android.calendar.CalendarEventModel): [0x56] cannot access instance field int android.text.format.Time.weekDay from object of type Precise Reference: java.lang.String
01-28 10:28:20.858 4923 4927 W dex2oat :
01-28 10:28:20.858 4923 4927 W dex2oat : Verification error in boolean com.android.calendar.event.EditEventHelper.saveReminders(java.util.ArrayList, long, java.util.ArrayList, java.util.ArrayList, boolean)
01-28 10:28:20.858 4923 4927 W dex2oat : boolean com.android.calendar.event.EditEventHelper.saveReminders(java.util.ArrayList, long, java.util.ArrayList, java.util.ArrayList, boolean) failed to verify: boolean com.android.calendar.event.EditEventHelper.saveReminders(java.util.ArrayList, long, java.util.ArrayList, java.util.ArrayList, boolean): [0x2] register v0 has type Undefined but expected Reference: java.lang.Object
01-28 10:28:20.858 4923 4927 W dex2oat :
01-28 10:28:20.859 4923 4927 W dex2oat : Verification error in void com.android.calendar.event.EditEventHelper.checkTimeDependentFields(com.android.calendar.CalendarEventModel, com.android.calendar.CalendarEventModel, android.content.ContentValues, int)
01-28 10:28:20.859 4923 4927 W dex2oat : void com.android.calendar.event.EditEventHelper.checkTimeDependentFields(com.android.calendar.CalendarEventModel, com.android.calendar.CalendarEventModel, android.content.ContentValues, int) failed to verify: void com.android.calendar.event.EditEventHelper.checkTimeDependentFields(com.android.calendar.CalendarEventModel, com.android.calendar.CalendarEventModel, android.content.ContentValues, int): [0x10B] Expected category1 register type not 'Long (Low Half)'
01-28 10:28:20.859 4923 4927 W dex2oat :
01-28 10:28:20.859 4923 4927 W dex2oat : Verification error in boolean com.android.calendar.event.EditEventHelper.saveEvent(com.android.calendar.CalendarEventModel, com.android.calendar.CalendarEventModel, int)
01-28 10:28:20.859 4923 4927 W dex2oat : boolean com.android.calendar.event.EditEventHelper.saveEvent(com.android.calendar.CalendarEventModel, com.android.calendar.CalendarEventModel, int) failed to verify: boolean com.android.calendar.event.EditEventHelper.saveEvent(com.android.calendar.CalendarEventModel, com.android.calendar.CalendarEventModel, int): [0x1C5] copy1 v44<-v0 type=Integer cat=3
01-28 10:28:20.859 4923 4927 W dex2oat :
01-28 10:28:20.859 4923 4923 W dex2oat : Verification error in java.util.List com.android.calendar.event.EventLocationAdapter.queryContacts(android.content.ContentResolver, java.lang.String, java.util.HashSet)
01-28 10:28:20.859 4923 4923 W dex2oat : java.util.List com.android.calendar.event.EventLocationAdapter.queryContacts(android.content.ContentResolver, java.lang.String, java.util.HashSet) failed to verify: java.util.List com.android.calendar.event.EventLocationAdapter.queryContacts(android.content.ContentResolver, java.lang.String, java.util.HashSet): [0x8] copy1 v22<-v0 type=Undefined cat=1
01-28 10:28:20.859 4923 4923 W dex2oat :
01-28 10:28:20.861 4923 4925 W dex2oat : Verification error in boolean com.android.calendar.month.SimpleDayPickerFragment.goTo(long, boolean, boolean, boolean)
01-28 10:28:20.861 4923 4925 W dex2oat : boolean com.android.calendar.month.SimpleDayPickerFragment.goTo(long, boolean, boolean, boolean) failed to verify: boolean com.android.calendar.month.SimpleDayPickerFragment.goTo(long, boolean, boolean, boolean): [0x22] Rejecting invocation, long or double parameter at index 1 is not a pair: 15 + 0.
01-28 10:28:20.861 4923 4925 W dex2oat :
01-28 10:28:20.861 4923 4923 W dex2oat : Verification error in android.view.View com.android.calendar.month.MonthByWeekAdapter.getView(int, android.view.View, android.view.ViewGroup)
01-28 10:28:20.861 4923 4923 W dex2oat : android.view.View com.android.calendar.month.MonthByWeekAdapter.getView(int, android.view.View, android.view.ViewGroup) failed to verify: android.view.View com.android.calendar.month.MonthByWeekAdapter.getView(int, android.view.View, android.view.ViewGroup): [0x9] register v0 has type Undefined but expected Reference: android.view.ViewGroup
01-28 10:28:20.861 4923 4923 W dex2oat :
01-28 10:28:20.861 4923 4923 W dex2oat : Verification error in void com.android.calendar.month.MonthListView.doFling(float)
01-28 10:28:20.861 4923 4923 W dex2oat : void com.android.calendar.month.MonthListView.doFling(float) failed to verify: void com.android.calendar.month.MonthListView.doFling(float): [0x6E] Expected category1 register type not 'Long (Low Half)'
01-28 10:28:20.861 4923 4923 W dex2oat :
01-28 10:28:20.862 4923 4927 W dex2oat : Rejecting class com.android.calendar.month.MonthByWeekFragment that attempts to sub-type erroneous class com.android.calendar.month.SimpleDayPickerFragment in base.apk
01-28 10:28:20.863 4923 4923 W dex2oat : Verification error in android.view.View com.android.calendar.selectcalendars.SelectCalendarsSimpleAdapter.getView(int, android.view.View, android.view.ViewGroup)
01-28 10:28:20.863 4923 4923 W dex2oat : android.view.View com.android.calendar.selectcalendars.SelectCalendarsSimpleAdapter.getView(int, android.view.View, android.view.ViewGroup) failed to verify: android.view.View com.android.calendar.selectcalendars.SelectCalendarsSimpleAdapter.getView(int, android.view.View, android.view.ViewGroup): [0x1AA] copy1 v22<-v0 type=Imprecise Constant: -128 cat=3
01-28 10:28:20.863 4923 4923 W dex2oat :
01-28 10:28:20.864 4923 4927 W dex2oat : Verification error in void com.android.calendar.selectcalendars.SelectCalendarsSyncFragment.onPause()
01-28 10:28:20.864 4923 4927 W dex2oat : void com.android.calendar.selectcalendars.SelectCalendarsSyncFragment.onPause() failed to verify: void com.android.calendar.selectcalendars.SelectCalendarsSyncFragment.onPause(): [0x6] copy1 v18<-v0 type=Undefined cat=1
01-28 10:28:20.864 4923 4927 W dex2oat :
01-28 10:28:20.865 4923 4927 W dex2oat : Verification error in com.android.calendar.widget.CalendarAppWidgetModel$EventInfo com.android.calendar.widget.CalendarAppWidgetModel.populateEventInfo(long, boolean, long, long, int, int, java.lang.String, java.lang.String, int, int)
01-28 10:28:20.865 4923 4927 W dex2oat : com.android.calendar.widget.CalendarAppWidgetModel$EventInfo com.android.calendar.widget.CalendarAppWidgetModel.populateEventInfo(long, boolean, long, long, int, int, java.lang.String, java.lang.String, int, int) failed to verify: com.android.calendar.widget.CalendarAppWidgetModel$EventInfo com.android.calendar.widget.CalendarAppWidgetModel.populateEventInfo(long, boolean, long, long, int, int, java.lang.String, java.lang.String, int, int): [0x32] cannot access instance field boolean com.android.calendar.widget.CalendarAppWidgetModel$EventInfo.allDay from object of type Precise Reference: java.lang.String
01-28 10:28:20.865 4923 4927 W dex2oat :
01-28 10:28:20.865 4923 4927 W dex2oat : Verification error in void com.android.calendar.widget.CalendarAppWidgetModel.buildFromCursor(android.database.Cursor, java.lang.String)
01-28 10:28:20.865 4923 4927 W dex2oat : void com.android.calendar.widget.CalendarAppWidgetModel.buildFromCursor(android.database.Cursor, java.lang.String) failed to verify: void com.android.calendar.widget.CalendarAppWidgetModel.buildFromCursor(android.database.Cursor, java.lang.String): [0x156] Expected category1 register type not 'Long (Low Half)'
01-28 10:28:20.865 4923 4927 W dex2oat :
01-28 10:28:20.867 4923 4927 W dex2oat : Verification error in java.lang.String com.android.calendarcommon2.RecurrenceSet.computeDuration(android.text.format.Time, com.android.calendarcommon2.ICalendar$Component)
01-28 10:28:20.867 4923 4927 W dex2oat : java.lang.String com.android.calendarcommon2.RecurrenceSet.computeDuration(android.text.format.Time, com.android.calendarcommon2.ICalendar$Component) failed to verify: java.lang.String com.android.calendarcommon2.RecurrenceSet.computeDuration(android.text.format.Time, com.android.calendarcommon2.ICalendar$Component): [0x2] tried to get class from non-reference register v0 (type=Undefined)
01-28 10:28:20.867 4923 4927 W dex2oat :
01-28 10:28:20.867 4923 4927 W dex2oat : Verification error in long[] com.android.calendarcommon2.RecurrenceSet.parseMultiLineRecurrenceDates(java.lang.String)