Points-to sets of all variables
[]:<ImpreciseLambdas: void lambda$main$0(java.lang.Object)>/r0 -> [[]:NewObj{<ImpreciseLambdas: void main(java.lang.String[])>[10@L11] new java.lang.Object}]
[]:<ImpreciseLambdas: void lambda$main$1(java.lang.Integer)>/r0 -> []
[]:<ImpreciseLambdas: void main(java.lang.String[])>/$r1 -> [[]:LambdaObj{alloc=<ImpreciseLambdas: void main(java.lang.String[])>[2@L7] $r1 = invokedynamic <java.lang.invoke.LambdaMetafactory: java.lang.invoke.CallSite metafactory(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.invoke.MethodType,java.lang.invoke.MethodHandle,java.lang.invoke.MethodType)> "accept" <MethodType: java.util.function.Consumer ()>[MethodType: void (java.lang.Object),MethodHandle[REF_invokeStatic]: <ImpreciseLambdas: void lambda$main$0(java.lang.Object)>,MethodType: void (java.lang.Object)](),type=java.util.function.Consumer in <ImpreciseLambdas: void main(java.lang.String[])>}]
[]:<ImpreciseLambdas: void main(java.lang.String[])>/$r2 -> [[]:LambdaObj{alloc=<ImpreciseLambdas: void main(java.lang.String[])>[5@L9] $r2 = invokedynamic <java.lang.invoke.LambdaMetafactory: java.lang.invoke.CallSite metafactory(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.invoke.MethodType,java.lang.invoke.MethodHandle,java.lang.invoke.MethodType)> "accept" <MethodType: java.util.function.Consumer ()>[MethodType: void (java.lang.Object),MethodHandle[REF_invokeStatic]: <ImpreciseLambdas: void lambda$main$1(java.lang.Integer)>,MethodType: void (java.lang.Integer)](),type=java.util.function.Consumer in <ImpreciseLambdas: void main(java.lang.String[])>}]
[]:<ImpreciseLambdas: void main(java.lang.String[])>/$r3 -> [[]:LambdaObj{alloc=<ImpreciseLambdas: void main(java.lang.String[])>[2@L7] $r1 = invokedynamic <java.lang.invoke.LambdaMetafactory: java.lang.invoke.CallSite metafactory(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.invoke.MethodType,java.lang.invoke.MethodHandle,java.lang.invoke.MethodType)> "accept" <MethodType: java.util.function.Consumer ()>[MethodType: void (java.lang.Object),MethodHandle[REF_invokeStatic]: <ImpreciseLambdas: void lambda$main$0(java.lang.Object)>,MethodType: void (java.lang.Object)](),type=java.util.function.Consumer in <ImpreciseLambdas: void main(java.lang.String[])>}, []:LambdaObj{alloc=<ImpreciseLambdas: void main(java.lang.String[])>[5@L9] $r2 = invokedynamic <java.lang.invoke.LambdaMetafactory: java.lang.invoke.CallSite metafactory(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.invoke.MethodType,java.lang.invoke.MethodHandle,java.lang.invoke.MethodType)> "accept" <MethodType: java.util.function.Consumer ()>[MethodType: void (java.lang.Object),MethodHandle[REF_invokeStatic]: <ImpreciseLambdas: void lambda$main$1(java.lang.Integer)>,MethodType: void (java.lang.Integer)](),type=java.util.function.Consumer in <ImpreciseLambdas: void main(java.lang.String[])>}]
[]:<ImpreciseLambdas: void main(java.lang.String[])>/$r4 -> [[]:NewObj{<ImpreciseLambdas: void main(java.lang.String[])>[10@L11] new java.lang.Object}]
[]:<ImpreciseLambdas: void main(java.lang.String[])>/$r5 -> [[]:LambdaObj{alloc=<ImpreciseLambdas: void main(java.lang.String[])>[2@L7] $r1 = invokedynamic <java.lang.invoke.LambdaMetafactory: java.lang.invoke.CallSite metafactory(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.invoke.MethodType,java.lang.invoke.MethodHandle,java.lang.invoke.MethodType)> "accept" <MethodType: java.util.function.Consumer ()>[MethodType: void (java.lang.Object),MethodHandle[REF_invokeStatic]: <ImpreciseLambdas: void lambda$main$0(java.lang.Object)>,MethodType: void (java.lang.Object)](),type=java.util.function.Consumer in <ImpreciseLambdas: void main(java.lang.String[])>}, []:LambdaObj{alloc=<ImpreciseLambdas: void main(java.lang.String[])>[5@L9] $r2 = invokedynamic <java.lang.invoke.LambdaMetafactory: java.lang.invoke.CallSite metafactory(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.invoke.MethodType,java.lang.invoke.MethodHandle,java.lang.invoke.MethodType)> "accept" <MethodType: java.util.function.Consumer ()>[MethodType: void (java.lang.Object),MethodHandle[REF_invokeStatic]: <ImpreciseLambdas: void lambda$main$1(java.lang.Integer)>,MethodType: void (java.lang.Integer)](),type=java.util.function.Consumer in <ImpreciseLambdas: void main(java.lang.String[])>}]
[]:<ImpreciseLambdas: void main(java.lang.String[])>/r0 -> [[]:NewObj{<ImpreciseLambdas: void main(java.lang.String[])>[1@L5] newarray java.lang.Object[%intconst0]}]
[]:<ImpreciseLambdas: void main(java.lang.String[])>/r6 -> [[]:EntryPointObj{alloc=MethodParam{<ImpreciseLambdas: void main(java.lang.String[])>/0},type=java.lang.String[] in <ImpreciseLambdas: void main(java.lang.String[])>}]
[]:<ImpreciseLambdas: void print(java.lang.Object)>/r0 -> [[]:NewObj{<ImpreciseLambdas: void main(java.lang.String[])>[10@L11] new java.lang.Object}]
[]:<ImpreciseLambdas: void useInt(java.lang.Integer)>/r0 -> []

Points-to sets of all static fields

Points-to sets of all instance fields

Points-to sets of all array indexes
[]:EntryPointObj{alloc=MethodParam{<ImpreciseLambdas: void main(java.lang.String[])>/0},type=java.lang.String[] in <ImpreciseLambdas: void main(java.lang.String[])>}[*] -> [[]:EntryPointObj{alloc=MethodParam{<ImpreciseLambdas: void main(java.lang.String[])>/0}[*],type=java.lang.String in <ImpreciseLambdas: void main(java.lang.String[])>}]
[]:NewObj{<ImpreciseLambdas: void main(java.lang.String[])>[1@L5] newarray java.lang.Object[%intconst0]}[*] -> [[]:LambdaObj{alloc=<ImpreciseLambdas: void main(java.lang.String[])>[2@L7] $r1 = invokedynamic <java.lang.invoke.LambdaMetafactory: java.lang.invoke.CallSite metafactory(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.invoke.MethodType,java.lang.invoke.MethodHandle,java.lang.invoke.MethodType)> "accept" <MethodType: java.util.function.Consumer ()>[MethodType: void (java.lang.Object),MethodHandle[REF_invokeStatic]: <ImpreciseLambdas: void lambda$main$0(java.lang.Object)>,MethodType: void (java.lang.Object)](),type=java.util.function.Consumer in <ImpreciseLambdas: void main(java.lang.String[])>}, []:LambdaObj{alloc=<ImpreciseLambdas: void main(java.lang.String[])>[5@L9] $r2 = invokedynamic <java.lang.invoke.LambdaMetafactory: java.lang.invoke.CallSite metafactory(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.invoke.MethodType,java.lang.invoke.MethodHandle,java.lang.invoke.MethodType)> "accept" <MethodType: java.util.function.Consumer ()>[MethodType: void (java.lang.Object),MethodHandle[REF_invokeStatic]: <ImpreciseLambdas: void lambda$main$1(java.lang.Integer)>,MethodType: void (java.lang.Integer)](),type=java.util.function.Consumer in <ImpreciseLambdas: void main(java.lang.String[])>}]

