100644 blob 5c62ecf14cf7a0cf90825f7b39fdea760718873a	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
040000 tree faaaaf4eb6fd58ff434edca89937717a38c4c148	inference
100644 blob 83ee3fb35ab385d5e318087cdc664f008086c354	pointer_nullability.cc
100644 blob a768650088ee2a6a3ba690b1f2ed02e6a6c151b8	pointer_nullability.h
100644 blob be1e0f8c8a4cf76ebe9190520b2e0f1d6b92c66f	pointer_nullability_analysis.cc
100644 blob f8c71f4aeec76fcc41bc389a66a8bed177b002eb	pointer_nullability_analysis.h
100644 blob 1a7ba06e53108ce056b85c4012e55ed027d574ec	pointer_nullability_analysis_benchmark.cc
100644 blob d19943a80bd65788b53083a2cabe36a7f0728413	pointer_nullability_analysis_test.cc
100644 blob b33fdf56d6b01d0e0edde8048dfbeb4295790971	pointer_nullability_diagnosis.cc
100644 blob 806166a3c527f1170d1fcd47dde56b1322792720	pointer_nullability_diagnosis.h
100644 blob abab6ab356671967dbff4d43094d521e26310a2a	pointer_nullability_lattice.cc
100644 blob 6457ca50f73b33158cc8b6e23d139cbe41f17153	pointer_nullability_lattice.h
100644 blob fc3d74cd5f910b09a46ad7de58867d3c0094d23e	pointer_nullability_matchers.cc
100644 blob e6641e181e04be6ea17040658afe848109ebdc87	pointer_nullability_matchers.h
100644 blob 77c0717a87b9a3da3346c37390845a1101ab6152	pointer_nullability_matchers_test.cc
100644 blob ffe1f22db55d347f4d16798631c491f2b157f5ae	pointer_nullability_test.cc
100644 blob 87f02fd3d24fa3e349a3b8d8bc436983b2e37398	proto_matchers.cc
100644 blob 0e63a5f002f90f3b4a9451f05b8a4e271c7e7339	proto_matchers.h
040000 tree 29123c7682a0908175851bb92085073446bcb5fc	test
100644 blob af998f3d1ea85b1c0a716c6995b727ee5a313cdc	type_nullability.cc
100644 blob 54d5e9676ebbf8bc82fcfb33220a61d2429e45e9	type_nullability.h
100644 blob e058bf3872f1af85ea198889a1496d3d5935f616	type_nullability_test.cc