package java.lang: | |
annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) | |
annotation @DoesNotExist: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) | |
package annotator.tests: | |
class InnerClassSimple$ActualInnerClass: @java.lang.Tainted | |
field d: | |
type: @java.lang.Tainted | |
package annotator.tests: | |
class InnerClassSimple$ActualInnerClass: @java.lang.DoesNotExist | |