Points-to sets of all variables
[]:<CallSiteMode: void main(java.lang.String[])>/args -> [[]:EntryPointObj{alloc=MethodParam{<CallSiteMode: void main(java.lang.String[])>/0},type=java.lang.String[] in <CallSiteMode: void main(java.lang.String[])>}]
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/%stringconst0 -> [[]:MergedObj{<Merged string constants>}]
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/%stringconst1 -> [[]:MergedObj{<Merged string constants>}]
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/input -> [[]:TaintObj{alloc=<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>[0@L8] temp$0 = invokeinterface source.getSource()/result,type=java.lang.String}]
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/rs -> []
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/sb -> [[]:TaintObj{alloc=<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>[0@L8] temp$0 = invokeinterface source.getSource()/result,type=StringBuilder}]
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/sql -> [[]:TaintObj{alloc=<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>[0@L8] temp$0 = invokeinterface source.getSource()/result,type=java.lang.String}]
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/stmt -> []
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/temp$0 -> [[]:TaintObj{alloc=<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>[0@L8] temp$0 = invokeinterface source.getSource()/result,type=java.lang.String}]
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/temp$4 -> [[]:TaintObj{alloc=<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>[0@L8] temp$0 = invokeinterface source.getSource()/result,type=java.lang.String}]
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/temp$5 -> []
[]:<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>/temp$6 -> []

Points-to sets of all static fields

Points-to sets of all instance fields

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

Detected 1 taint flow(s):
TaintFlow{<CallSiteMode: void testConnection(Source,StringBuilder,Connection)>[0@L8] temp$0 = invokeinterface source.getSource()/result -> <CallSiteMode: void testConnection(Source,StringBuilder,Connection)>[11@L14] temp$6 = invokeinterface stmt.executeQuery(sql)/0}

