100644 blob c377da65c646181873488b894bef21dd2065a74c	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
100644 blob 00c93714e2394b5bd35e9ac328cc535d374ac709	ast_helpers.h
100644 blob 12d16ddcfa6b23c7810601d8be315e7310c96d1b	bluze.textproto
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
040000 tree 85666146516b343d93416f2680c00a89bbccd9f9	inference
100644 blob fdd8526d5e78075b6dfe00e7ddfddae12d0b64d9	macro_arg_capture.h
100644 blob d419d7268c9bcf06891392f289e2048845508230	pointer_nullability.cc
100644 blob ad16d98306e9ca7c152bbbc44cdce7daf84939dd	pointer_nullability.h
100644 blob fca04ea7278c8e6bae4f83ad1e3f0026aa1679b7	pointer_nullability_analysis.cc
100644 blob f9936779dd1779781a78bc04201b74d2403858d3	pointer_nullability_analysis.h
100644 blob b601111a2db6608b584ee81164f203152f0d5bfe	pointer_nullability_analysis_benchmark.cc
100644 blob 5f52f66b5b9afe3e1cbd455e7610211e8824f40f	pointer_nullability_analysis_test.cc
100644 blob abc91759063fcf4342a011daefa9f40b31c697ed	pointer_nullability_diagnosis.cc
100644 blob 240eaef1e65c0d525d88c629a5ae516162c67f94	pointer_nullability_diagnosis.h
100644 blob a5548e119a0d5ed232fb5af438a9f72f816eaabf	pointer_nullability_lattice.cc
100644 blob 9055c0eec8574e4b76eb1e31d92b75396c2406a8	pointer_nullability_lattice.h
100644 blob 2b525adaa9f909131a5d2cbd2354d4158ca68495	pointer_nullability_lattice_test.cc
100644 blob 493799a19380af30dd19460f3598e94b8e8a7b57	pointer_nullability_matchers.cc
100644 blob 2969fafda31a11d953ff125a1067889901bf6b48	pointer_nullability_matchers.h
100644 blob 6687aeb59b2be5636f987824889e3cbc98db9c9f	pointer_nullability_matchers_test.cc
100644 blob c600babcd9b854002fb1d34c939e773c72a4cff4	pointer_nullability_test.cc
100644 blob 2913c81bf092c4413f841c44063f50beb5f66db1	pragma.cc
100644 blob c2756fef64af49eaf302b1478c7e5ea1b67d6bb4	pragma.h
100644 blob ecc9b38bf160e7a43b6b692d00febaf4ec4a4e57	pragma_test.cc
100644 blob 5059958c065878885d3003c926dcdcb62831061c	proto_matchers.cc
100644 blob 0e63a5f002f90f3b4a9451f05b8a4e271c7e7339	proto_matchers.h
040000 tree 5f47b466e115c3357bdff849853f2b229d6ea24a	test
100644 blob 2d4819a06fa8ec8af12ab78ab18a6b6e43487961	type_and_maybe_loc_visitor.h
100644 blob 6c7c76969f882fdc06bc691697b26f04c05a64b4	type_nullability.cc
100644 blob 86b691b27b6c6865e448fe9deff0fffe0ec943c4	type_nullability.h
100644 blob 07c7acb28252c1ef9df4f93eebb9e86373c9fd2c	type_nullability_test.cc