Google Git
Sign in
bazel / crubit / c884b1f7280981d57e66a079555fb5ec3c884699 / nullability / pointer_nullability_analysis.h
  1. 06d1d08 [nullability] Override `join()` instead of deprecated `merge()`. by Martin Brænne · 1 year, 1 month ago
  2. f7154ea Annotate pointers in crubit/nullability Abseil nullability annotations. by Googler · 1 year, 3 months ago
  3. 0f56af6 [nullability] Smart pointers: Add synthetic field for underlying raw pointer. by Martin Brænne · 1 year, 3 months ago
  4. 1aea588 [nullability] Rename "flow-sensitive" to "value" and "non-flow-sensitive" to "type". by Martin Brænne · 1 year, 4 months ago
  5. dd2a770 [nullability] Implement pointer widening. by Martin Brænne · 1 year, 5 months ago
  6. 2c9f53f Use previous inference results in PointerNullabilityAnalysis. by Googler · 1 year, 5 months ago
  7. e644e1d All nullability vectors can now store symbolic nullability by Sam McCall · 1 year, 8 months ago
  8. 1a55cfb Update last references to is_known to from_nullable. by Googler · 1 year, 8 months ago
  9. 7d9afee clang-format: PointerAlignment: Right, following LLVM style by Sam McCall · 1 year, 9 months ago
  10. 74bf864 Allow binding nullability of decls to SAT variables, to support inference. by Sam McCall · 1 year, 9 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 (86%) from nullability_verification/pointer_nullability_analysis.h]
  12. 676fe94 Make `PointerNullabilityLattice::ExprToNullability` a reference. by Martin Brænne · 2 years ago
  13. ecf0079 Automatic code cleanup. by Googler · 2 years, 1 month ago
  14. 9949b46 The LLVM patch https://reviews.llvm.org/D143920 changes the type signature of `transfer()`. Since this is a concept and not a virtual interface, we can prepare for this change by adding the new overload. by Googler · 2 years, 1 month ago
  15. 97f5c61 Use the dataflow analysis framework to propagate the nullability of expressions. by Dani Ferreira Franco Moura · 2 years, 3 months ago
  16. 3d56a22 Create pointer nullability lattice. by Dani Ferreira Franco Moura · 2 years, 4 months ago
  17. 217eb5f Replace `transfer(const Stmt *, ...)` with `transfer(const CFGElement *, ...)` in `crubit/nullability_verification`. by Wei Yi Tee · 2 years, 6 months ago
  18. 178ce53 Remove unused PointerNullabilityLattice, replace with NoopLattice. by Wei Yi Tee · 2 years, 8 months ago
  19. 8b58e19 Separate analysis and diagnosis components for pointer nullability verification. by Wei Yi Tee · 2 years, 8 months ago
  20. 543af74 Set up tooling for verifying C++ code complies with nullability annotations. by Wei Yi Tee · 2 years, 10 months ago