Points-to sets of all variables
[]:<StaticCall: java.lang.Object bar(int,java.lang.Object)>/o -> [[]:NewObj{<StaticCall: void main(java.lang.String[])>[0@L4] new java.lang.Object}]
[]:<StaticCall: java.lang.Object bar(int,java.lang.Object)>/temp$2 -> [[]:NewObj{<StaticCall: void main(java.lang.String[])>[0@L4] new java.lang.Object}]
[]:<StaticCall: java.lang.Object foo(int,java.lang.Object)>/o -> [[]:NewObj{<StaticCall: void main(java.lang.String[])>[0@L4] new java.lang.Object}]
[]:<StaticCall: java.lang.Object foo(int,java.lang.Object)>/temp$0 -> [[]:NewObj{<StaticCall: void main(java.lang.String[])>[0@L4] new java.lang.Object}]
[]:<StaticCall: void main(java.lang.String[])>/args -> [[]:EntryPointObj{alloc=MethodParam{<StaticCall: void main(java.lang.String[])>/0},type=java.lang.String[] in <StaticCall: void main(java.lang.String[])>}]
[]:<StaticCall: void main(java.lang.String[])>/o -> [[]:NewObj{<StaticCall: void main(java.lang.String[])>[0@L4] new java.lang.Object}]
[]:<StaticCall: void main(java.lang.String[])>/temp$0 -> [[]:NewObj{<StaticCall: void main(java.lang.String[])>[0@L4] new java.lang.Object}]
[]:<StaticCall: void main(java.lang.String[])>/temp$1 -> [[]:NewObj{<StaticCall: void main(java.lang.String[])>[0@L4] new java.lang.Object}]

Points-to sets of all static fields

Points-to sets of all instance fields

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

