100644 blob 0ee6158ae07e0f06c1301fcbbe7a90dfd9340bd5	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
040000 tree 92bce8b235788964161cfb27315f52b5db82b380	inference
100644 blob 2d86787f0eae63ef54a8b8fbcb007a1862df186a	pointer_nullability.cc
100644 blob 7dfef80f90e94ea87563c4eb822d526e57ca4f2d	pointer_nullability.h
100644 blob 28dc665f8094fa839fa4c8df7dd5fce7e3080150	pointer_nullability_analysis.cc
100644 blob ca94c8a564ff222552ee9ada72377ed4042e8131	pointer_nullability_analysis.h
100644 blob ef84a9222d8883b99a400629aac00852e1aa95c6	pointer_nullability_analysis_test.cc
100644 blob b33fdf56d6b01d0e0edde8048dfbeb4295790971	pointer_nullability_diagnosis.cc
100644 blob 806166a3c527f1170d1fcd47dde56b1322792720	pointer_nullability_diagnosis.h
100644 blob 2a27d8e2e665e61906eff7e60f5ab0553ff94140	pointer_nullability_lattice.h
100644 blob be9ca0f0a1f4b047e46417ac62db8b7a4f45ac6f	pointer_nullability_matchers.cc
100644 blob ea0ed264b954ae736d5100d1ae98b5be404dc96d	pointer_nullability_matchers.h
100644 blob f41035848b88f62a9044824dd905f8ce06147565	pointer_nullability_test.cc
100644 blob 87f02fd3d24fa3e349a3b8d8bc436983b2e37398	proto_matchers.cc
100644 blob 0e63a5f002f90f3b4a9451f05b8a4e271c7e7339	proto_matchers.h
040000 tree cbfdcc55859a5099bc481d686584a2a7dbab3da9	test
100644 blob af998f3d1ea85b1c0a716c6995b727ee5a313cdc	type_nullability.cc
100644 blob 8605452a6c15cc72ed5cfe572dd2608baecb2b7e	type_nullability.h
100644 blob e058bf3872f1af85ea198889a1496d3d5935f616	type_nullability_test.cc