)]}'
{
  "id": "ff0f4a06121ce66d18691ea319273c71ae6da3c6",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "aa6ea3d2768d53326bb1fa159dd7db10dc1d6703",
      "name": "BUILD"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e18ae8ff6ddf045e83bf6421d1ad1d6164312a31",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dc47af2ef282d77bfec72f10eaaa17f2e3c5b8d5",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "80dc0df1be40844dcbe3001ee48e2fd853fbfd7c",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c740b2bb545fce08921e4270e622793248a2f70f",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1706e0ceee78418f69b56c76c96aa7d9cfdc849e",
      "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": "944fd8d63efd4fe7e3b9be849630e274c14ead2b",
      "name": "pointer_nullability_verification_test.cc"
    }
  ]
}