- 566e2df Check that constructor initializers for pointer fields are null-safe. by Wei Yi Tee · 2 years, 6 months ago
- afbca01 Check that constructor calls are null-safe. by Wei Yi Tee · 2 years, 6 months ago
- ed480d6 Check that return values comply with the nullability annotations (if any) on the function return type. by Wei Yi Tee · 2 years, 7 months ago
- c1e1d86 Create PointerValues for function calls returning a pointer and initialise its nullability based on the return type of the function. by Wei Yi Tee · 2 years, 7 months ago
- 8b58e19 Separate analysis and diagnosis components for pointer nullability verification. by Wei Yi Tee · 2 years, 8 months ago
- 9f55817 Remove creation of PointerValue for `nullptr`. by Wei Yi Tee · 2 years, 8 months ago
- 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
- 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
