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