Points-to sets of all variables
[]:<NativeModelWithLambda$A: void <init>()>/%this -> [[]:LambdaConstructedObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[0@L14] $r0 = 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)> "run" <MethodType: java.security.PrivilegedAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=NativeModelWithLambda$A in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}, []:LambdaConstructedObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[3@L15] $r3 = 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)> "run" <MethodType: java.security.PrivilegedAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=NativeModelWithLambda$A in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}, []:LambdaConstructedObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[6@L16] $r6 = 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)> "run" <MethodType: java.security.PrivilegedExceptionAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=NativeModelWithLambda$A in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}, []:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$0()>[0@L20] new NativeModelWithLambda$A}, []:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$1()>[0@L21] new NativeModelWithLambda$A}, []:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$2()>[0@L22] new NativeModelWithLambda$A}]
[]:<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$0()>/$r0 -> [[]:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$0()>[0@L20] new NativeModelWithLambda$A}]
[]:<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$1()>/$r0 -> [[]:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$1()>[0@L21] new NativeModelWithLambda$A}]
[]:<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$2()>/$r0 -> [[]:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$2()>[0@L22] new NativeModelWithLambda$A}]
[]:<NativeModelWithLambda: void doPrivilegedWithLambda()>/$r0 -> [[]:LambdaObj{alloc=<NativeModelWithLambda: void doPrivilegedWithLambda()>[0@L20] $r0 = 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)> "run" <MethodType: java.security.PrivilegedAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_invokeStatic]: <NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$0()>,MethodType: NativeModelWithLambda$A ()](),type=java.security.PrivilegedAction in <NativeModelWithLambda: void doPrivilegedWithLambda()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithLambda()>/$r1 -> [[]:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$0()>[0@L20] new NativeModelWithLambda$A}]
[]:<NativeModelWithLambda: void doPrivilegedWithLambda()>/$r3 -> [[]:LambdaObj{alloc=<NativeModelWithLambda: void doPrivilegedWithLambda()>[3@L21] $r3 = 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)> "run" <MethodType: java.security.PrivilegedAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_invokeStatic]: <NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$1()>,MethodType: NativeModelWithLambda$A ()](),type=java.security.PrivilegedAction in <NativeModelWithLambda: void doPrivilegedWithLambda()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithLambda()>/$r4 -> [[]:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$1()>[0@L21] new NativeModelWithLambda$A}]
[]:<NativeModelWithLambda: void doPrivilegedWithLambda()>/$r6 -> [[]:LambdaObj{alloc=<NativeModelWithLambda: void doPrivilegedWithLambda()>[6@L22] $r6 = 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)> "run" <MethodType: java.security.PrivilegedExceptionAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_invokeStatic]: <NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$2()>,MethodType: NativeModelWithLambda$A ()](),type=java.security.PrivilegedExceptionAction in <NativeModelWithLambda: void doPrivilegedWithLambda()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithLambda()>/$r7 -> [[]:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$2()>[0@L22] new NativeModelWithLambda$A}]
[]:<NativeModelWithLambda: void doPrivilegedWithLambda()>/r2 -> [[]:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$0()>[0@L20] new NativeModelWithLambda$A}]
[]:<NativeModelWithLambda: void doPrivilegedWithLambda()>/r5 -> [[]:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$1()>[0@L21] new NativeModelWithLambda$A}]
[]:<NativeModelWithLambda: void doPrivilegedWithLambda()>/r8 -> [[]:NewObj{<NativeModelWithLambda: NativeModelWithLambda$A lambda$doPrivilegedWithLambda$2()>[0@L22] new NativeModelWithLambda$A}]
[]:<NativeModelWithLambda: void doPrivilegedWithMethodRef()>/$r0 -> [[]:LambdaObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[0@L14] $r0 = 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)> "run" <MethodType: java.security.PrivilegedAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=java.security.PrivilegedAction in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithMethodRef()>/$r1 -> [[]:LambdaConstructedObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[0@L14] $r0 = 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)> "run" <MethodType: java.security.PrivilegedAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=NativeModelWithLambda$A in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithMethodRef()>/$r3 -> [[]:LambdaObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[3@L15] $r3 = 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)> "run" <MethodType: java.security.PrivilegedAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=java.security.PrivilegedAction in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithMethodRef()>/$r4 -> [[]:LambdaConstructedObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[3@L15] $r3 = 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)> "run" <MethodType: java.security.PrivilegedAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=NativeModelWithLambda$A in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithMethodRef()>/$r6 -> [[]:LambdaObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[6@L16] $r6 = 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)> "run" <MethodType: java.security.PrivilegedExceptionAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=java.security.PrivilegedExceptionAction in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithMethodRef()>/$r7 -> [[]:LambdaConstructedObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[6@L16] $r6 = 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)> "run" <MethodType: java.security.PrivilegedExceptionAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=NativeModelWithLambda$A in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithMethodRef()>/r2 -> [[]:LambdaConstructedObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[0@L14] $r0 = 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)> "run" <MethodType: java.security.PrivilegedAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=NativeModelWithLambda$A in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithMethodRef()>/r5 -> [[]:LambdaConstructedObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[3@L15] $r3 = 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)> "run" <MethodType: java.security.PrivilegedAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=NativeModelWithLambda$A in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}]
[]:<NativeModelWithLambda: void doPrivilegedWithMethodRef()>/r8 -> [[]:LambdaConstructedObj{alloc=<NativeModelWithLambda: void doPrivilegedWithMethodRef()>[6@L16] $r6 = 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)> "run" <MethodType: java.security.PrivilegedExceptionAction ()>[MethodType: java.lang.Object (),MethodHandle[REF_newInvokeSpecial]: <NativeModelWithLambda$A: void <init>()>,MethodType: NativeModelWithLambda$A ()](),type=NativeModelWithLambda$A in <NativeModelWithLambda: void doPrivilegedWithMethodRef()>}]
[]:<NativeModelWithLambda: void main(java.lang.String[])>/r0 -> [[]:EntryPointObj{alloc=MethodParam{<NativeModelWithLambda: void main(java.lang.String[])>/0},type=java.lang.String[] in <NativeModelWithLambda: void main(java.lang.String[])>}]

Points-to sets of all static fields

Points-to sets of all instance fields

Points-to sets of all array indexes
[]:EntryPointObj{alloc=MethodParam{<NativeModelWithLambda: void main(java.lang.String[])>/0},type=java.lang.String[] in <NativeModelWithLambda: void main(java.lang.String[])>}[*] -> [[]:EntryPointObj{alloc=MethodParam{<NativeModelWithLambda: void main(java.lang.String[])>/0}[*],type=java.lang.String in <NativeModelWithLambda: void main(java.lang.String[])>}]

