)]}'
{
  "id": "932c7a70bb835ae47b337f1ee920c23bed8f53c1",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "3dce1691e324fadac30fb93672c6c1147426f484",
      "name": "BUILD"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "04ba12b6e6a18754668c57d0eda02d0631a492ae",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1f8fc70d1694482db48dd7044cd949793c2ade55",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83136b4d6e4c69f9c5cb82d06dec42d95d032d04",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6d58c08a0dadf17fc12c33f75048e9978733f01a",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f1e92c7eb0cbb358ce198ad71aa8372755abb82f",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4d92456c140157e21e0fb6ef7c15ec9fa4a57b3a",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6fa440d394a3a4f94954b5c7a022f4b87a579a5f",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "be05e1c86ffdae6d8526abddd04c5cc8a51623de",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9128c9843f7d12b5b56b79385814919428697f49",
      "name": "pointer_nullability_verification_test.cc"
    }
  ]
}