)]}'
{
  "id": "51f9a9de62f5338ef64368f6ecc0ab0c6e6e269c",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "3dce1691e324fadac30fb93672c6c1147426f484",
      "name": "BUILD"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "04ba12b6e6a18754668c57d0eda02d0631a492ae",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1f8fc70d1694482db48dd7044cd949793c2ade55",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e3489936a939eeca55d768dd2b9f9caf69a3d82e",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3ff9ac01837a45d54985418e01b0633c21dbf2dd",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d1aa1e0e0a6609b11dd987c6afc8e354f1b45514",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e6882103bcee260d5dd6310f4331d269a985497e",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "545765f5c0d0cdc59e2df9e32fa81c6f13f56bbf",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0dfa3c0f889ea7027ee668ca210b45214dae06a6",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b5af9d17e9bd93cd1806adf40c17f916c9db4646",
      "name": "pointer_nullability_verification_test.cc"
    }
  ]
}