{
  "value_taint": "tainted",
  "boundary": "sink"
}