100644 blob 5c4e7af07fe53b83ff4ebd3078aaab3c6af813cc	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
040000 tree d615d368321d6700ba3377b0baf749249a649da3	inference
100644 blob 83ee3fb35ab385d5e318087cdc664f008086c354	pointer_nullability.cc
100644 blob a768650088ee2a6a3ba690b1f2ed02e6a6c151b8	pointer_nullability.h
100644 blob cc569842249881d5c060955feb21c5baa32a19b4	pointer_nullability_analysis.cc
100644 blob 850234c16f1e514541b4dfa19313f12465f5ef4d	pointer_nullability_analysis.h
100644 blob eba9461c6eabc050bec88f0934886413603edd0b	pointer_nullability_analysis_benchmark.cc
100644 blob d19943a80bd65788b53083a2cabe36a7f0728413	pointer_nullability_analysis_test.cc
100644 blob c9b6b2ed60efebc87f0bea076b2eb96600d9e5d3	pointer_nullability_diagnosis.cc
100644 blob d41cf092f3863c5d8539a2c658b64289c0ffb7c4	pointer_nullability_diagnosis.h
100644 blob abab6ab356671967dbff4d43094d521e26310a2a	pointer_nullability_lattice.cc
100644 blob 6457ca50f73b33158cc8b6e23d139cbe41f17153	pointer_nullability_lattice.h
100644 blob 855a31abd94904c51b3725bc22e582ff15b61356	pointer_nullability_matchers.cc
100644 blob 87f5e8d6876a660573ea2689cecd0e4e648455c3	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 15dd246c20249547920e806c1423bae935833c38	test
100644 blob 262b401bc18518a5ab95bff24469510309c5b5bb	type_nullability.cc
100644 blob bbd84216a0244d8a14ddc7b0196e170044814866	type_nullability.h
100644 blob 7476450dc0ca10508bd38479eaa9d5113ef79cee	type_nullability_test.cc