Google Git
Sign in
bazel / crubit / a087d23273d6856852826a2ea9cf95300b1e62a2 / nullability / BUILD
  1. 0cdc04a Use correct LLVM gtest/gmock for inference tests by Sam McCall · 1 year, 9 months ago
  2. 60745f5 Collect null-safety constraints based on pointer usage and resolve them into implications of required nullability annotations. by Googler · 1 year, 9 months ago
  3. 74bf864 Allow binding nullability of decls to SAT variables, to support inference. by Sam McCall · 1 year, 9 months ago
  4. 6ab7b1d Internal change by Googler · 1 year, 10 months ago
  5. ef6dc92 add nullability_test runner, and convert some tests by Sam McCall · 1 year, 10 months ago
  6. 9a442aa Add dep from tests to clang:basic by Sam McCall · 1 year, 11 months ago
  7. d127f93 Add TypeNullability typedef for nullability vector by Sam McCall · 1 year, 11 months ago
  8. 5b1af4f Clean up deps after splitting pointer_nullability, and add brief file doc by Sam McCall · 1 year, 11 months ago
  9. e37df98 Fix inconsistency between initPointerNullState and getPointerNullState by Sam McCall · 1 year, 11 months ago
  10. 5fc2a80 Split functions relating to type-nullability out of pointer_nullability.h by Sam McCall · 1 year, 11 months ago
  11. 7f19b2b Rename /nullability_verification to /nullability in preparation for adding/relocating inference functionality here. by Googler · 1 year, 11 months ago[Renamed (93%) from nullability_verification/BUILD]
  12. 70942e5 Function to print a type and its nullability vector together in standard syntax by Sam McCall · 1 year, 11 months ago
  13. edd7d33 Handle aliases (and all sugar) in type => nullability vector computation by Sam McCall · 2 years ago
  14. aaa2a0f Fix license handling in OSS build of Crubit. by Lukasz Anforowicz · 2 years ago
  15. 248dd7b Move pointer_nullability_verification_test to a new "test" subdirectory. by Martin Brænne · 2 years ago
  16. b1f1ce1 Automatic code cleanup. by Googler · 2 years, 1 month ago
  17. 92d72bd Refactoring by Dani Ferreira Franco Moura · 2 years, 2 months ago
  18. d50cc5b Refactoring by Dani Ferreira Franco Moura · 2 years, 2 months ago
  19. 5ef1bdf Detect/log/recover mismatch between expression and nullability vector by Googler · 2 years, 2 months ago
  20. d443731 Implicitly recover missing subexpr nullability by synthesizing it; log details. by Googler · 2 years, 2 months ago
  21. 97f5c61 Use the dataflow analysis framework to propagate the nullability of expressions. by Dani Ferreira Franco Moura · 2 years, 3 months ago
  22. 4a73ca7 Update nullability verification framework to adapt to the new diagnoser API in the clang dataflow framework by Dani Ferreira Franco Moura · 2 years, 3 months ago
  23. 3d56a22 Create pointer nullability lattice. by Dani Ferreira Franco Moura · 2 years, 4 months ago
  24. 309f2d7 Make nullability verification work for simple template-instantiated methods. by Dani Ferreira Franco Moura · 2 years, 4 months ago
  25. 6d757aa Integrate LLVM at llvm/llvm-project@f57557de70eb by Googler · 2 years, 5 months ago
  26. 2c34cae Replace `crubit/common/check.h` with `absl/log/...`. by Lukasz Anforowicz · 2 years, 7 months ago
  27. 9c16161 Refactoring common null-safety checking functions. by Wei Yi Tee · 2 years, 7 months ago
  28. 036efdf Check that assignment to parameters in function calls are null-safe. by Wei Yi Tee · 2 years, 7 months ago
  29. 178ce53 Remove unused PointerNullabilityLattice, replace with NoopLattice. by Wei Yi Tee · 2 years, 8 months ago
  30. 8b58e19 Separate analysis and diagnosis components for pointer nullability verification. by Wei Yi Tee · 2 years, 8 months ago
  31. 85d8737 Rename property which indicates if a pointer is non null. by Wei Yi Tee · 2 years, 10 months ago
  32. 1cd62af Implement transfer function for interpreting nullptr, address_of (&) operator, comparison between pointers. by Wei Yi Tee · 2 years, 10 months ago
  33. 543af74 Set up tooling for verifying C++ code complies with nullability annotations. by Wei Yi Tee · 2 years, 10 months ago