100644 blob 3920f6f2cb205ccfbd2a0f4d54cc6ead00f05afa	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
100644 blob 44d6de4e859e7c128dcc26daf2c14b8c0e9c25a7	ast_helpers.h
100644 blob 12d16ddcfa6b23c7810601d8be315e7310c96d1b	bluze.textproto
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
040000 tree b3befa2b145fc9d948ad2691d78c337c16e923dc	inference
100644 blob b3dd5d783091c7e7c53a7dc5bb96b8b7f1f06fe9	loc_filter.cc
100644 blob ad9dfdd1248d641b65e7d1c9c790f4d1c2ad8a09	loc_filter.h
100644 blob 11d0fe48cca9de7f29b241206a89758140054a2d	loc_filter_test.cc
100644 blob e42346ff6963be0b1bc332f52ddcff6aaa602668	macro_arg_capture.h
100644 blob d3b84be205b17b3327191c94897939e92f1405e5	pointer_nullability.cc
100644 blob ad16d98306e9ca7c152bbbc44cdce7daf84939dd	pointer_nullability.h
100644 blob 3cf7713c9ab7dfd3addb1532aaeaee7c72750d0f	pointer_nullability_analysis.cc
100644 blob f9936779dd1779781a78bc04201b74d2403858d3	pointer_nullability_analysis.h
100644 blob b601111a2db6608b584ee81164f203152f0d5bfe	pointer_nullability_analysis_benchmark.cc
100644 blob 581feaeba86cab2dd09c1e34418e0a2b2d99f2dc	pointer_nullability_analysis_test.cc
100644 blob 58025d666020cdb91f3af2a76fd5232a22f0e5e7	pointer_nullability_diagnosis.cc
100644 blob c7dace6da8f5f3de19512fc87afc5c3eb983566b	pointer_nullability_diagnosis.h
100644 blob bdb466d0198e1dd282200dc8581a2fa986e64764	pointer_nullability_lattice.cc
100644 blob 31c370864f585ecfa9c704fe2a710e10d5039d2a	pointer_nullability_lattice.h
100644 blob 43c64910ccfeec18c8b6fd3db87e5d7aebc04951	pointer_nullability_lattice_test.cc
100644 blob 0646ac048fbb74ecee7f820d778519b67f2b2deb	pointer_nullability_matchers.cc
100644 blob cf6353c11c33790839f02781c9132b9a313167b7	pointer_nullability_matchers.h
100644 blob 3a0e8233c215012b45e9f99ba2b4f9bcd02a6598	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 9c9b8caf1f1e0b87f0a05a2405882c68907c5ad4	proto_matchers.cc
100644 blob 56f7ad6163375aa5f53a1d0e5cba8ff41ae72459	proto_matchers.h
040000 tree 17cfefd75cba7afeec2bd1462b797cbd85a81eee	test
100644 blob a3294124110bc64ac75c6ed205d019e1ca7fb2bb	type_and_maybe_loc_visitor.h
100644 blob 2a8d69e8503ddb184ef606000ddd0f541dccff9b	type_nullability.cc
100644 blob 86b691b27b6c6865e448fe9deff0fffe0ec943c4	type_nullability.h
100644 blob 47e9d481fb6c277dcdbcb1bfd17c6e6633200e3d	type_nullability_test.cc