100644 blob 79bdb80f8c13acf2795c22b2ccdf115ebf8df5e9	BUILD
100644 blob b0a1221107e7f9fee701638a0df61abaa67f1576	README.md
100644 blob 00c93714e2394b5bd35e9ac328cc535d374ac709	ast_helpers.h
100644 blob 12d16ddcfa6b23c7810601d8be315e7310c96d1b	bluze.textproto
040000 tree 203da5135eb75f7168e90b479ffa609632a68f44	formal_methods
040000 tree bdd13998464befc53ef93eb151a73e7fb6e71389	inference
100644 blob fdd8526d5e78075b6dfe00e7ddfddae12d0b64d9	macro_arg_capture.h
100644 blob d3b84be205b17b3327191c94897939e92f1405e5	pointer_nullability.cc
100644 blob ad16d98306e9ca7c152bbbc44cdce7daf84939dd	pointer_nullability.h
100644 blob 2d9edca6a81c147878d12f6bf9c1b51b6e57fd36	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 9c9e932ac4abfd6ae9339f3becfabf586ab020ab	pointer_nullability_diagnosis.cc
100644 blob c7dace6da8f5f3de19512fc87afc5c3eb983566b	pointer_nullability_diagnosis.h
100644 blob 71813e820709877cfa2511e7ad2e3466dd87d949	pointer_nullability_lattice.cc
100644 blob 83a3341d955a31e08ccad85de9b4ee95a12db5da	pointer_nullability_lattice.h
100644 blob 2b525adaa9f909131a5d2cbd2354d4158ca68495	pointer_nullability_lattice_test.cc
100644 blob 01ea2ce631f26b5c7cd1db114e097e778823bec9	pointer_nullability_matchers.cc
100644 blob 396c93f38bf5ffa996cb554691396844cb1996c4	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 b9f018718823870cfb98ef376da201aa6d04e951	test
100644 blob 2d4819a06fa8ec8af12ab78ab18a6b6e43487961	type_and_maybe_loc_visitor.h
100644 blob 6a55766501e4a439bbe024fa057275153042096f	type_nullability.cc
100644 blob 86b691b27b6c6865e448fe9deff0fffe0ec943c4	type_nullability.h
100644 blob 23af7675f1a9b24062ab25db3cd160f89bd3ff5a	type_nullability_test.cc