Google Git
Sign in
bazel / crubit / 2030ad680997c087c1e15b5f70b7ef01a4b800f4 / nullability / pointer_nullability_lattice.h
  1. 2c9f53f Use previous inference results in PointerNullabilityAnalysis. by Googler · 1 year, 5 months ago
  2. 742c4c3 Include what you spell, miscellaneous ClangTidy fixes by Dmitri Gribenko · 1 year, 8 months ago
  3. e644e1d All nullability vectors can now store symbolic nullability by Sam McCall · 1 year, 8 months ago
  4. 4f6be42 consistently spell clang::tidy::nullability by Sam McCall · 1 year, 9 months ago
  5. da39880 Fix header guard styles by Sam McCall · 1 year, 9 months ago
  6. 7d9afee clang-format: PointerAlignment: Right, following LLVM style by Sam McCall · 1 year, 9 months ago
  7. 74bf864 Allow binding nullability of decls to SAT variables, to support inference. by Sam McCall · 1 year, 9 months ago
  8. d127f93 Add TypeNullability typedef for nullability vector by Sam McCall · 1 year, 11 months ago
  9. 7f19b2b Rename /nullability_verification to /nullability in preparation for adding/relocating inference functionality here. by Googler · 1 year, 11 months ago[Renamed (90%) from nullability_verification/pointer_nullability_lattice.h]
  10. 03b1ada Eliminate duplicate call to `ignoreCFGOmittedNodes()`. by Martin Brænne · 2 years ago
  11. 676fe94 Make `PointerNullabilityLattice::ExprToNullability` a reference. by Martin Brænne · 2 years ago
  12. bad7052 Integrate LLVM at llvm/llvm-project@ff96267b4202 by Googler · 2 years, 2 months ago
  13. d443731 Implicitly recover missing subexpr nullability by synthesizing it; log details. by Googler · 2 years, 2 months ago
  14. 0d0db1d Add support for non-flow-sensitive nullability of parenthesised expressions by Dani Ferreira Franco Moura · 2 years, 2 months ago
  15. f9dae20 Introduce `assert_nullability`, a debugging function for nullability verification by Dani Ferreira Franco Moura · 2 years, 2 months ago
  16. 97f5c61 Use the dataflow analysis framework to propagate the nullability of expressions. by Dani Ferreira Franco Moura · 2 years, 3 months ago
  17. 3d56a22 Create pointer nullability lattice. by Dani Ferreira Franco Moura · 2 years, 4 months ago
  18. 178ce53 Remove unused PointerNullabilityLattice, replace with NoopLattice. 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. 85d8737 Rename property which indicates if a pointer is non null. by Wei Yi Tee · 2 years, 10 months ago
  21. 1cd62af Implement transfer function for interpreting nullptr, address_of (&) operator, comparison between pointers. by Wei Yi Tee · 2 years, 10 months ago
  22. 543af74 Set up tooling for verifying C++ code complies with nullability annotations. by Wei Yi Tee · 2 years, 10 months ago