100644 blob 55e37e0c04009575ffceaa915b25adb864b96d26	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
040000 tree 4db4af38e7aa969670fbe8b72f79d36702318878	formal_methods
040000 tree 9918d6fe35fa26e696d6820d6551983e88e7d136	inference
100644 blob 188fc41f83db640c154c3dfe7ca72be2b380c647	pointer_nullability.cc
100644 blob 1abb4754712953355a43e46cd13467185507c7f8	pointer_nullability.h
100644 blob d09b6a41dc2b53f88b89c156ddc4dda0a3e519ea	pointer_nullability_analysis.cc
100644 blob 73d8cd1d15258309c095ac7e410cfa087467752e	pointer_nullability_analysis.h
100644 blob eb94326eec656a8be121ca8cfed49778c60000b4	pointer_nullability_analysis_test.cc
100644 blob 6456910b8d759640f4e8a0e3e06710d5a3696fc5	pointer_nullability_diagnosis.cc
100644 blob e5eb93146c9a0604bed25f5a9ede1b25798ade5e	pointer_nullability_diagnosis.h
100644 blob e8e02269492cd9255e15bf786a014eb94c7c5156	pointer_nullability_lattice.h
100644 blob 0b5ef0c4b0286c7b094dfd1f84774f13bbc4a9f8	pointer_nullability_matchers.cc
100644 blob 353bbe891ce9533f61461089dcd621b93fc7c430	pointer_nullability_matchers.h
100644 blob 87e0dccaeb2bbdc08e3d71391cb24f0cadb93740	pointer_nullability_test.cc
100644 blob 4a94944cc2de1dd04a5181bfaec4e08c9cba75aa	proto_matchers.cc
100644 blob 0e63a5f002f90f3b4a9451f05b8a4e271c7e7339	proto_matchers.h
040000 tree 63202c5961cb1ba07c0629f6a2d21eac8533433e	test
100644 blob e3762cf0d48db728d0cded313569a0e65a63a669	type_nullability.cc
100644 blob 55ba0e00fcecc269af2c73fd7107bd4fe1b389ca	type_nullability.h
100644 blob f10f2fc034b661cb308b4f19e73517069b234237	type_nullability_test.cc