)]}'
{
  "id": "a28c477883737ac72ede14499ed39ab0385b8be5",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e28cfaf8649b2a8fa7f2e31eaee9b7020a42c778",
      "name": "BUILD"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "01761f4d5fcca5bb46489f96c9476fa9b2226643",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "07623645be404a21d861e613b9faac8a21fb062c",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "73532886673373ded0d476159f4350e2f86fd768",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c740b2bb545fce08921e4270e622793248a2f70f",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "66d7f3be791ac3674c55dd47aa40f9b7f05a8669",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a4785f309b0c1d59994c0a9c0038f87933250a9e",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "67e4d3ac8194b860a419eb7aec555b41a1760b2c",
      "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": "c21ba8a6e74917ea16690b8c0c440a6d22b9764b",
      "name": "pointer_nullability_verification_test.cc"
    }
  ]
}