)]}'
{
  "id": "822d201e59806d3e59a862e5085db6e3d875ab38",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e851a19be4b68c0f94178484440588342058016a",
      "name": "BUILD"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83453dfc9a9e2808a47bb2e2b189643c5cc4395a",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "07623645be404a21d861e613b9faac8a21fb062c",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2eec8a7ce9964bc28cb9084c200b050a5547cb8e",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3ff9ac01837a45d54985418e01b0633c21dbf2dd",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6559beba43e3e20bc4df1e28277b69838eb39014",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5547e7775f01db20023bb16cec4cf2c926e4b86f",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "545765f5c0d0cdc59e2df9e32fa81c6f13f56bbf",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0dfa3c0f889ea7027ee668ca210b45214dae06a6",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fcf200e47c8870a161450a793eafc24c3d3ebd6b",
      "name": "pointer_nullability_verification_test.cc"
    }
  ]
}