)]}'
{
  "id": "fc618b44e87a18ae81623a30b20c979139682629",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "1c0c05e8380a526e9f6d485e5a82de7a23137470",
      "name": "BUILD"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "20f7618dd3fd8a22a3c708d76d5083354ede9697",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aeea7f6e4acf6e736eec3d64c92444ddc34c51c1",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "50f28edad0dad3936d1178ff2354ea0b49874119",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c740b2bb545fce08921e4270e622793248a2f70f",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8ee8b0fc64d927545fd25aa73f71723aee26f51f",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a4785f309b0c1d59994c0a9c0038f87933250a9e",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f4829aa1e9edae08c550a94418786bb797d0a382",
      "name": "pointer_nullability_lattice.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cb9b8a0ef9f65d5e61fae680d514a104abc21152",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7e267301b0e1a76b423900c2d327aeee6b79c585",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9becdeced18c5b78979155eaf794fcbda27849b8",
      "name": "pointer_nullability_verification_test.cc"
    }
  ]
}