)]}'
{
  "id": "242aca963f19b34c8a61c006a18bd8fc75bf8cf5",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "584d79b019e75e5584a4a2623b25deef43828f85",
      "name": "BUILD"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "35c509646d90c122867fc48d0a07f64638881bb5",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dc47af2ef282d77bfec72f10eaaa17f2e3c5b8d5",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a8a1a1629f7a7e1e5bcf7ff66ae35f50eca155b6",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c08eea25da44346a53e63e79a7440177e8ffb71d",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6c81070bb9dbaed3cd0fab7da6af1eba332d77f9",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5551f2d48feefaecdfc8014f7bc1ee46badba4d0",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "86ca00d4122d1aa9723d671c9aa1752feb97c1f1",
      "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": "9d563bf4049d666019d63fe55d74efa7e072723b",
      "name": "pointer_nullability_verification_test.cc"
    }
  ]
}