)]}'
{
  "id": "9f7028330da9c774e8d2cfcf304a38c9d2c59707",
  "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": "27574569604fa917ae3c547a3d6690ea58b14a9e",
      "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": "603bf2bbba83c7adb55af5879d10144385080df2",
      "name": "pointer_nullability_verification_test.cc"
    }
  ]
}