• Monitor advice code for inconsistent stack heights at return statements to clean the stack during instrumentation to not trigger verifier errors if such atypical but legal code is encountered.
• Do not generate handlers for return values if an instrumented method or an advice method only throws exceptions but never returns regularly.