100644 blob 5c62ecf14cf7a0cf90825f7b39fdea760718873a	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
040000 tree 8a6782302c02b3b651ee59a662517fb71f21d1f0	inference
100644 blob 83ee3fb35ab385d5e318087cdc664f008086c354	pointer_nullability.cc
100644 blob a768650088ee2a6a3ba690b1f2ed02e6a6c151b8	pointer_nullability.h
100644 blob b02582d068dd5110f8fb0ba8407bd4fae66e536b	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 932fbb3e1be69da46eb16572f1223ed3e33d88e3	pointer_nullability_lattice.h
100644 blob 00b1720aa6ce4553e2efae65677de198f3da1895	pointer_nullability_matchers.cc
100644 blob 4e670765ac3465153f92b8e698faa960bb4d3f25	pointer_nullability_matchers.h
100644 blob 5ae437b9047d2fdadee6053f41d07feb2d0f265f	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 1b638d2107a0232e1dce9b4e722a4f6e60593bcb	test
100644 blob af998f3d1ea85b1c0a716c6995b727ee5a313cdc	type_nullability.cc
100644 blob 54d5e9676ebbf8bc82fcfb33220a61d2429e45e9	type_nullability.h
100644 blob e058bf3872f1af85ea198889a1496d3d5935f616	type_nullability_test.cc