100644 blob c5b4784e290f8d1e8ab738aa72563f5274f97894	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
040000 tree 37f65100f54d062b98f6fe57943dbd05306d28ea	inference
100644 blob 084c25c6f0ca719ef1a0ac09f0ddddef94c1ffd5	pointer_nullability.cc
100644 blob 7dfef80f90e94ea87563c4eb822d526e57ca4f2d	pointer_nullability.h
100644 blob 5d27558b437e82c76d31febbe1db6ce8067d99e3	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 9a70c8ed24fab891950194097e94fc0cae664c64	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 4a94944cc2de1dd04a5181bfaec4e08c9cba75aa	proto_matchers.cc
100644 blob 0e63a5f002f90f3b4a9451f05b8a4e271c7e7339	proto_matchers.h
040000 tree cbfdcc55859a5099bc481d686584a2a7dbab3da9	test
100644 blob ae6d6b4ddfd7ff90999e4e3a54a51cb8338bd635	type_nullability.cc
100644 blob 3c753ddf8df8633a1ec739be449af891bf1eb8c2	type_nullability.h
100644 blob f10f2fc034b661cb308b4f19e73517069b234237	type_nullability_test.cc