Annotation Interface SecureMethod
Mark a method as secure.
This annotation is utilized only by testing to guarantee the methods are overridden and properly verified. A method with this annotation is skipped during verification since it is deemed secure already.