Google Git
Sign in
bazel / crubit / 6f317ada331c335b1d2544dad2aab38450adc184 / nullability_verification
  1. 1c3d710 Integrate LLVM at llvm/llvm-project@79a4fa366c6e by Googler · 2 years, 7 months ago
  2. 2c34cae Replace `crubit/common/check.h` with `absl/log/...`. by Lukasz Anforowicz · 2 years, 7 months ago
  3. 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
  4. 1bf1116 Handle return values and parameter assignments for overloaded operator calls. by Wei Yi Tee · 2 years, 7 months ago
  5. eb0f00c Check that nullability of pointer references are handled correctly. by Wei Yi Tee · 2 years, 7 months ago
  6. 9c16161 Refactoring common null-safety checking functions. by Wei Yi Tee · 2 years, 7 months ago
  7. 036efdf Check that assignment to parameters in function calls are null-safe. by Wei Yi Tee · 2 years, 7 months ago
  8. 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
  9. 8374c8f Refactoring to separate the logic bridging expressions with values, and the logic for nullability on pointer values to increase reusability of each piece of logic. by Wei Yi Tee · 2 years, 7 months ago
  10. 721ee97 Set the null state of a PointerValue at a control flow join based on the nullability information from each incoming path. by Wei Yi Tee · 2 years, 7 months ago
  11. b75caf0 Fix pointer_nullability_verification_test by Marcel Hlopko · 2 years, 7 months ago
  12. ae43f39 Initialise unannotated pointers with unknown nullability. by Wei Yi Tee · 2 years, 8 months ago
  13. f5e8e57 Implement parsing of nullability annotations to initialise the null state of PointerValues. by Wei Yi Tee · 2 years, 8 months ago
  14. 76ebe3d Refactor `pointer_nullability_verification_test.cc` - add comments, categorise and remove redundant test cases. by Wei Yi Tee · 2 years, 8 months ago
  15. 178ce53 Remove unused PointerNullabilityLattice, replace with NoopLattice. by Wei Yi Tee · 2 years, 8 months ago
  16. 8b58e19 Separate analysis and diagnosis components for pointer nullability verification. by Wei Yi Tee · 2 years, 8 months ago
  17. 06f0696 Add "is_known" synthetic property to null state of PointerValue. by Wei Yi Tee · 2 years, 8 months ago
  18. ecb2bd8 Update formalisation of transfer functions: by Wei Yi Tee · 2 years, 8 months ago
  19. c46666a Use synthetic properties on PointerValue to track null state of pointers, instead of tracking in the lattice. by Wei Yi Tee · 2 years, 8 months ago
  20. 9f55817 Remove creation of PointerValue for `nullptr`. by Wei Yi Tee · 2 years, 8 months ago
  21. c4fa436 Move subexpressions into separate assertions. by Wei Yi Tee · 2 years, 8 months ago
  22. 2994238 Design transfer functions and safety criteria with an SMT solver by Dmitri Gribenko · 2 years, 8 months ago
  23. cebc226 Implement transfer function for identifying `this` pointer as always non-null. by Wei Yi Tee · 2 years, 9 months ago
  24. f02698e Implement transfer function for checking that member accesses on pointers via the arrow (->) operator are null-safe. by Wei Yi Tee · 2 years, 9 months ago
  25. e314ca6 Implement matchers for identifying pointers that are members of structs/classes. by Wei Yi Tee · 2 years, 9 months ago
  26. 264ee4d Replace inline namespace scope resolution with using declaration for consistency. by Wei Yi Tee · 2 years, 9 months ago
  27. 85d8737 Rename property which indicates if a pointer is non null. by Wei Yi Tee · 2 years, 9 months ago
  28. 1cd62af Implement transfer function for interpreting nullptr, address_of (&) operator, comparison between pointers. by Wei Yi Tee · 2 years, 9 months ago
  29. 543af74 Set up tooling for verifying C++ code complies with nullability annotations. by Wei Yi Tee · 2 years, 10 months ago