100644 blob 7b06d42e7162ecdfae7a159f8b2cf1b479e7a546	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
040000 tree 490b8ecc58f5d0b2297c21126921245f05239581	inference
100644 blob 54daf2bd5f49fba40910f397450867c5d93c5798	pointer_nullability.cc
100644 blob 8e156bba56d9a53755f73050cff442678ca55561	pointer_nullability.h
100644 blob 262472721dfc1a0459ead99f0341223ef177ffbd	pointer_nullability_analysis.cc
100644 blob ca94c8a564ff222552ee9ada72377ed4042e8131	pointer_nullability_analysis.h
100644 blob 61eb15d3342705157d121b950837d679e4f9c1b1	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 67e47de61a663d891f5033eb24b65716981bffb5	pointer_nullability_test.cc
100644 blob 87f02fd3d24fa3e349a3b8d8bc436983b2e37398	proto_matchers.cc
100644 blob 0e63a5f002f90f3b4a9451f05b8a4e271c7e7339	proto_matchers.h
040000 tree 263d0601b20410b31ede99cc64f2a5f0195f33fb	test
100644 blob af998f3d1ea85b1c0a716c6995b727ee5a313cdc	type_nullability.cc
100644 blob 54d5e9676ebbf8bc82fcfb33220a61d2429e45e9	type_nullability.h
100644 blob e058bf3872f1af85ea198889a1496d3d5935f616	type_nullability_test.cc