)]}'
{
  "id": "6311428065a8711aba793de0520bfbf604a3133a",
  "repo": "third_party/github/FreeRTOS/FreeRTOS-Kernel",
  "revision": "950ab4ff916fe37998ca8453e32a62f3d4e3c59f",
  "path": "examples/coverity/coverity_misra.config"
}