100644 blob f8d4616c2ff39ecdfcc60833f4b58b7af0427487	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
100644 blob 6da4f030c28a1fba868f32f8fff29aced440ed8f	annotations.h
100644 blob 44d6de4e859e7c128dcc26daf2c14b8c0e9c25a7	ast_helpers.h
100644 blob 12d16ddcfa6b23c7810601d8be315e7310c96d1b	bluze.textproto
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
100644 blob 14eecb667a746cfd8416c6c80c313af8e35562eb	forwarding_functions.cc
100644 blob b1057c7059bed56b2cc5436fc308b149357dbebc	forwarding_functions.h
040000 tree 4cc583cf8746c0311294d4988753c844efaae0c6	inference
100644 blob a73a7ba09c4f2c6fd6a8c494162cc9785133f364	loc_filter.cc
100644 blob d326fa6f5febde850c034033cb869ec6127dc1e3	loc_filter.h
100644 blob 926ad41619784b3269c726bf805d565942901d80	loc_filter_test.cc
100644 blob e42346ff6963be0b1bc332f52ddcff6aaa602668	macro_arg_capture.h
100644 blob ccf0f087f09b7299b8cab7080de71a5b469305d2	pointer_nullability.cc
100644 blob 91730fa43544f4cd71eb5f903768d1b261388b2f	pointer_nullability.h
100644 blob cf35dea554ecc7d67977187a3165bdea21ebd3c4	pointer_nullability_analysis.cc
100644 blob bc201b773c3a2877122492baf7275ca6b2ea99f8	pointer_nullability_analysis.h
100644 blob ff03bfe02c93e318a1127ab55d6d8ae3cdb5cdf2	pointer_nullability_analysis_benchmark.cc
100644 blob 3573c4896f64f53edc5f09a1197afc737cc8f6fb	pointer_nullability_analysis_test.cc
100644 blob efe08dee22c04c5c33deda641ed41cc46970e93f	pointer_nullability_diagnosis.cc
100644 blob cb17e6d3e0972342909b62fabf9e22c7107bce5f	pointer_nullability_diagnosis.h
100644 blob 475a1f2957710b4c6d0fdb56b5227d6138d3658f	pointer_nullability_lattice.cc
100644 blob 9d17b26c2931385da94a36537b563dda71e0df17	pointer_nullability_lattice.h
100644 blob 9a7dd6e3499d9ddbb6950663276ec3e9272b63de	pointer_nullability_lattice_test.cc
100644 blob e445b140a470e741e451a8e2671ad3910335f5f3	pointer_nullability_matchers.cc
100644 blob b09186e091dc5bdbca9a2540c518324ded9581c5	pointer_nullability_matchers.h
100644 blob e68f8f3e8a2f1262d877c687920b0d010c1cd16a	pointer_nullability_matchers_test.cc
100644 blob 10ff0dcec106b622fce9bafcfd0a6bebe0dd92de	pointer_nullability_test.cc
100644 blob 2913c81bf092c4413f841c44063f50beb5f66db1	pragma.cc
100644 blob c2756fef64af49eaf302b1478c7e5ea1b67d6bb4	pragma.h
100644 blob 598b180d20c6c30961281c11ba7924b95de346a7	pragma_test.cc
100644 blob fe51e876f1a01b3334e6ad44ef6ffeb70c8349a9	proto_matchers.cc
100644 blob 5332bfadf0ffefa96197c1520d35a65fac6122ce	proto_matchers.h
040000 tree fabc8b684227395dfbc2116baead6d2140326374	test
100644 blob a3294124110bc64ac75c6ed205d019e1ca7fb2bb	type_and_maybe_loc_visitor.h
100644 blob ac252192dcfbfce80480b18d6e2ff1ad7a99a78a	type_nullability.cc
100644 blob 9f7ee5d5208d01b5a03af7e776817897184aa3be	type_nullability.h
100644 blob 306fbf3831d0ce4ee19825639551e204a7f9d5ad	type_nullability_test.cc
100644 blob 22edacf75488a9347b1e69e44041b77e435c7354	type_transferer.cc
100644 blob 4e6ca278b184266230637027fe5b0093d7c12819	type_transferer.h
100644 blob 5946368ebf7c2f460d35f6bc7a8e284eb2a81339	value_transferer.cc
100644 blob 772145b6a1556130e8303131d862aa34a53cc0e9	value_transferer.h