taint-config-instance-source-sink.yml

sources:
  - { kind: call, method: "<InstanceSourceSink: java.lang.String instanceSource()>", index: result }
  - { kind: call, method: "<Taint: void becomeTainted()>", index: base }
  - { kind: call, method: "<Taint: void becomeTainted(Taint)>", index: 0 }
  - { kind: param, method: "<InstanceSourceSink: void main(java.lang.String[])>", index: 0 }

sinks:
  - { method: "<InstanceSourceSink: void instanceSink(java.lang.String)>", index: 0 }
  - { method: "<InstanceSourceSink: void instanceSink(Taint)>", index: 0 }
  - { method: "<ProcessBuilder: void start()>", index: base }

transfers:
  - { method: "<ProcessBuilder: void <init>(java.lang.String[])>", from: 0, to: base }