Points-to sets of all variables
[]:<Interface: void main(java.lang.String[])>/args -> [[]:EntryPointObj{alloc=MethodParam{<Interface: void main(java.lang.String[])>/0},type=java.lang.String[] in <Interface: void main(java.lang.String[])>}]
[]:<Interface: void main(java.lang.String[])>/n -> [[]:NewObj{<Interface: void main(java.lang.String[])>[0@L8] new One}]
[]:<Interface: void main(java.lang.String[])>/temp$0 -> [[]:NewObj{<Interface: void main(java.lang.String[])>[0@L8] new One}]
[]:<One: int get()>/%this -> [[]:NewObj{<Interface: void main(java.lang.String[])>[0@L8] new One}]
[]:<One: void <init>()>/%this -> [[]:NewObj{<Interface: void main(java.lang.String[])>[0@L8] new One}]

Points-to sets of all static fields

Points-to sets of all instance fields

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

