)]}'
{
  "id": "afe7ca5a6ab3690dfe0742921c92bbd722917063",
  "repo": "pulseaudio",
  "revision": "refs/heads/main",
  "path": "coverity/model.c"
}