)]}'
{
  "id": "c08eea25da44346a53e63e79a7440177e8ffb71d",
  "repo": "crubit",
  "revision": "c199b8f23aef35be6f458254ac9f8367cab150a8",
  "path": "nullability_verification/pointer_nullability_analysis.h"
}