100644 blob 17696cba0cf5d8d045f13a5fc1ca970cce0e3ad9	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
040000 tree 4db4af38e7aa969670fbe8b72f79d36702318878	formal_methods
040000 tree 744a9025e9f0f439d205c9f15c831ff7d05d1c29	inference
100644 blob 9726f1cf4244f139b728ed4a790f21348309e428	pointer_nullability.cc
100644 blob 73c7daf8005752cc6b580b9c6c8e6cc980b889c0	pointer_nullability.h
100644 blob a1ae8d06808adf2ce0b2eaa762a8c70f987a33d6	pointer_nullability_analysis.cc
100644 blob 0b88497eadebba7c4f1bc36a297e1658c639a27c	pointer_nullability_analysis.h
100644 blob 962216f1a5dbc51452cbad65cc8850a7d70af073	pointer_nullability_diagnosis.cc
100644 blob 57cf6a15b3dedb43eeeb2c732ab58b7aed0437e1	pointer_nullability_diagnosis.h
100644 blob 01642676361767ff35cb4e7a9611e5ea62f97956	pointer_nullability_lattice.h
100644 blob e2416c5885c6b42ceaa8720a2108badc7fb74c0c	pointer_nullability_matchers.cc
100644 blob 353bbe891ce9533f61461089dcd621b93fc7c430	pointer_nullability_matchers.h
100644 blob 82fb128c2ea309071648a25293419dfe8823406a	pointer_nullability_test.cc
040000 tree 574f694c234e51e4f34557a25cdad9f6b5f0b2df	test
100644 blob 7493e8daede614324a5c848da689953deea3768b	type_nullability.cc
100644 blob 031d8218f24f9c512399b2b1c01ed89ac9c4d20b	type_nullability.h
100644 blob 844f27d53b732a690aa8b58fc3077600719e3ea3	type_nullability_test.cc