Log - 1c097f2c181b7b4f6dc4abca1daf0ca36cb19063 - crubit

cebc226 Implement transfer function for identifying `this` pointer as always non-null. by Wei Yi Tee · 2 years, 10 months ago
f02698e Implement transfer function for checking that member accesses on pointers via the arrow (->) operator are null-safe. by Wei Yi Tee · 2 years, 10 months ago
e314ca6 Implement matchers for identifying pointers that are members of structs/classes. by Wei Yi Tee · 2 years, 10 months ago
264ee4d Replace inline namespace scope resolution with using declaration for consistency. by Wei Yi Tee · 2 years, 10 months ago
85d8737 Rename property which indicates if a pointer is non null. by Wei Yi Tee · 2 years, 10 months ago
1cd62af Implement transfer function for interpreting nullptr, address_of (&) operator, comparison between pointers. by Wei Yi Tee · 2 years, 10 months ago
543af74 Set up tooling for verifying C++ code complies with nullability annotations. by Wei Yi Tee · 2 years, 10 months ago