blob: 921560bdf67233825e197a75567e2c273ad49eeb (
plain)
1
2
3
4
5
6
7
8
9
10
|
package java.lang:
annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})
package annotator.tests:
class InstanceOfSimple:
method foo(Ljava/lang/Object;)V:
return:
insert-annotation Method.body, Block.statement 0, If.condition, Parenthesized.expression, InstanceOf.type: @java.lang.Tainted
|