100644 blob ae4b293d8abe3067119d74a849533230180866ed	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
040000 tree fd5ce2bd438c6b3fb7121ec7d1c7e36618745f43	inference
100644 blob 2d86787f0eae63ef54a8b8fbcb007a1862df186a	pointer_nullability.cc
100644 blob 7dfef80f90e94ea87563c4eb822d526e57ca4f2d	pointer_nullability.h
100644 blob 846b90b06844d515c5076c5709d976a304bc8281	pointer_nullability_analysis.cc
100644 blob ca94c8a564ff222552ee9ada72377ed4042e8131	pointer_nullability_analysis.h
100644 blob ef84a9222d8883b99a400629aac00852e1aa95c6	pointer_nullability_analysis_test.cc
100644 blob 75d1a2bb7e965cb2a89eecc5ec2fbdb7e3dd97d9	pointer_nullability_diagnosis.cc
100644 blob 806166a3c527f1170d1fcd47dde56b1322792720	pointer_nullability_diagnosis.h
100644 blob 2a27d8e2e665e61906eff7e60f5ab0553ff94140	pointer_nullability_lattice.h
100644 blob dda8929058faa9a69a2253f4f4d2a3c2ca0c0c3b	pointer_nullability_matchers.cc
100644 blob 353bbe891ce9533f61461089dcd621b93fc7c430	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 81c07fe4140b7b1b856791db488545059773aab5	type_nullability.cc
100644 blob 2a68815a2fd2827570c6610b8b25462f3f6a95fc	type_nullability.h
100644 blob 33eb23a33e5ef08432e9e80fa0ed27a3c6fbb7ec	type_nullability_test.cc