)]}'
{
  "id": "2b56dc709b882c7885b2f86013ae9a2261af034a",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "d15de47cf86a1015d4a2a82ee829a531ab115525",
      "name": "BUILD"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83453dfc9a9e2808a47bb2e2b189643c5cc4395a",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "07623645be404a21d861e613b9faac8a21fb062c",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9c9e9adb08c7c0c4183aeabdcd902d041f7e8283",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "45150915198784c7b5669f5435c4adf059c92b1c",
      "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": "506e2c01ae21f61de5b14a0d3c78c877b898b527",
      "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": "4ed0585cc6ad1fe760ae5039c04dcb4cfa6c4f1a",
      "name": "pointer_nullability_verification_test.cc"
    }
  ]
}