)]}'
{
  "id": "58f354f5e762e62d6c46c81196b8c33adc6eb18e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "8aa519cd41ce0693a92100fb08169b48a7519746",
      "name": "BUILD"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0a1221107e7f9fee701638a0df61abaa67f1576",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "744a9025e9f0f439d205c9f15c831ff7d05d1c29",
      "name": "inference"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "660b656e474cb0489f38d5b5876dd49e450ed286",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ab7b1e852b7593a070c68905c7f614926666ae3b",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f2c75f020006688a63f93a97b8ea618a9fc4023d",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0b88497eadebba7c4f1bc36a297e1658c639a27c",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "962216f1a5dbc51452cbad65cc8850a7d70af073",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "57cf6a15b3dedb43eeeb2c732ab58b7aed0437e1",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "01642676361767ff35cb4e7a9611e5ea62f97956",
      "name": "pointer_nullability_lattice.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e2416c5885c6b42ceaa8720a2108badc7fb74c0c",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "353bbe891ce9533f61461089dcd621b93fc7c430",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82fb128c2ea309071648a25293419dfe8823406a",
      "name": "pointer_nullability_test.cc"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "bf61dbd0488c9832a39aa4e385a6caed91950a8e",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e3f34a176f70498bf71fbb6041ca5189101219a6",
      "name": "type_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "031d8218f24f9c512399b2b1c01ed89ac9c4d20b",
      "name": "type_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "36e463297ed23402f199a4e69f974863087c9aa3",
      "name": "type_nullability_test.cc"
    }
  ]
}