Do not include framework classes in output dex
Do not override input classes with framework
Always mark caller registers as read
Report unknown return values for reflected methods

Also, try harder to determine if parameter is immutable.