Google Git
Sign in
bazel / crubit / 68c8882ddf275f58debfcadc034887b9b3e89aa7 / nullability / pointer_nullability_analysis.cc
  1. 0da5885 [nullability] Use `Strict` `Environment` accessors in pointer_nullability_analysis.cc. by Martin Brænne · 1 year, 10 months ago
  2. f164e03 Expose whether a PointerVal has nullability properties. by Googler · 1 year, 11 months ago
  3. 834d4b8 [nullability] Handle `CXXThisExpr` in non-flow-sensitive instead of flow-sensitive analysis. by Martin Brænne · 1 year, 11 months ago
  4. d127f93 Add TypeNullability typedef for nullability vector by Sam McCall · 1 year, 11 months ago
  5. f2b62b3 Add non-flow-sensitive support for array types by Sam McCall · 1 year, 11 months ago
  6. 5fc2a80 Split functions relating to type-nullability out of pointer_nullability.h by Sam McCall · 1 year, 11 months ago
  7. 7f19b2b Rename /nullability_verification to /nullability in preparation for adding/relocating inference functionality here. by Googler · 1 year, 11 months ago[Renamed (98%) from nullability_verification/pointer_nullability_analysis.cc]
  8. a45d260 For classes nested in template classes, include outer tparams in nullability by Sam McCall · 1 year, 11 months ago
  9. 684cf70 [nullability] Add references to bugs. by Martin Brænne · 1 year, 11 months ago
  10. 8cdb0b1 [nullability] Fix crash on function template calls that only deduce some arguments. by Martin Brænne · 1 year, 11 months ago
  11. 61d4e36 [nullability] Fix a null-pointer crash (ironically) on a null `TypeSourceInfo`. by Martin Brænne · 1 year, 11 months ago
  12. 60ed6c8 Set `BAZEL_CXXOPTS` to force C++17. by Lukasz Anforowicz · 2 years ago
  13. 803ab03 Add `_for_debugging` suffix to `use_prebuilt_rs_bindings_from_cc` flag and setting. by Googler · 2 years ago
  14. c490306 [nullability] Improve treatment of function pointers: by Martin Brænne · 2 years ago
  15. c307b1f [nullability] Create a `StorageLocation` when calling a func that returns a reference. by Martin Brænne · 2 years ago
  16. 66bc243 [nullability] Handle operator new. by Martin Brænne · 2 years ago
  17. 2245db2 Reland "Extend non-flow-sensitive transfer for CastExpr" by Sam McCall · 2 years ago
  18. 945a956 Extend non-flow-sensitive transfer for CastExpr by Sam McCall · 2 years ago
  19. 7a808ea Extend non-flow-sensitive transfer for CastExpr by Sam McCall · 2 years ago
  20. 9d2afac Change "Bad computed nullability" message to be more specific. by Martin Brænne · 2 years ago
  21. 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, 2 months ago
  22. bad7052 Integrate LLVM at llvm/llvm-project@ff96267b4202 by Googler · 2 years, 2 months ago
  23. 92d72bd Refactoring by Dani Ferreira Franco Moura · 2 years, 2 months ago
  24. 28ab01a Clean up substituteNullabilityAnnotationsInClassTemplate by Sam McCall · 2 years, 2 months ago
  25. 932b743 Unify three type nullability traversals, so they don't get out of sync by Sam McCall · 2 years, 2 months ago
  26. d50cc5b Refactoring by Dani Ferreira Franco Moura · 2 years, 2 months ago
  27. 5ef1bdf Detect/log/recover mismatch between expression and nullability vector by Googler · 2 years, 2 months ago
  28. 2bccf74 Add transfer function for `UnaryOperator`, particularly addr/deref. by Googler · 2 years, 2 months ago
  29. d443731 Implicitly recover missing subexpr nullability by synthesizing it; log details. by Googler · 2 years, 2 months ago
  30. 82c1758 Refactor `substituteNullabilityAnnotationsInClassTemplate` for simplicity and readability by Dani Ferreira Franco Moura · 2 years, 2 months ago
  31. a29a2a0 Propagate the nullability of free functions by Dani Ferreira Franco Moura · 2 years, 2 months ago
  32. aa2211d Add transfer function for `MaterializeTemporaryExpr` in nullability verification by Dani Ferreira Franco Moura · 2 years, 2 months ago
  33. 9ceb498 countPointers() always operates on canonical types by Googler · 2 years, 2 months ago
  34. 933a69b Internal change by Dani Ferreira Franco Moura · 2 years, 3 months ago
  35. 826c8b3 Propagate the nullability of templated call expressions through dataflow analysis by Dani Ferreira Franco Moura · 2 years, 3 months ago
  36. 662155b Remove unnecessary code by Dani Ferreira Franco Moura · 2 years, 3 months ago
  37. 5d2aff4 Rename transfer functions to distinguish between flow-sensitive and non-flow-sensitive nullability analysis. by Dani Ferreira Franco Moura · 2 years, 3 months ago
  38. 1d41c11 Remove unused arguments in function that get an expression's nullability. by Dani Ferreira Franco Moura · 2 years, 3 months ago
  39. 069c6de Add fail-safe to prevent test crashes in nullability verification by Dani Ferreira Franco Moura · 2 years, 4 months ago
  40. 97f5c61 Use the dataflow analysis framework to propagate the nullability of expressions. by Dani Ferreira Franco Moura · 2 years, 4 months ago
  41. 4156e26 Handle double pointer dereferences by Dani Ferreira Franco Moura · 2 years, 4 months ago
  42. 24739d0 Refactor template nullability functions using TypeVisitors. by Dani Ferreira Franco Moura · 2 years, 4 months ago
  43. 3d56a22 Create pointer nullability lattice. by Dani Ferreira Franco Moura · 2 years, 4 months ago
  44. a90de3d Rewrite getNullabilityAnnotationsFromType with a TypeVisitor. by Dani Ferreira Franco Moura · 2 years, 4 months ago
  45. 223caf6 Remove getNullabilityAnnotations function and call substituteNullabilityAnnotations directly. by Dani Ferreira Franco Moura · 2 years, 4 months ago
  46. 7ca32fc Handle more shapes of template instantiations by recursively computing nullability annotations. by Dani Ferreira Franco Moura · 2 years, 4 months ago
  47. 309f2d7 Make nullability verification work for simple template-instantiated methods. by Dani Ferreira Franco Moura · 2 years, 5 months ago
  48. a064982 Refactor NotNull constraint to be Null instead. by Dani Ferreira Franco Moura · 2 years, 5 months ago
  49. 217eb5f Replace `transfer(const Stmt *, ...)` with `transfer(const CFGElement *, ...)` in `crubit/nullability_verification`. by Wei Yi Tee · 2 years, 7 months ago
  50. 2c34cae Replace `crubit/common/check.h` with `absl/log/...`. by Lukasz Anforowicz · 2 years, 7 months ago
  51. 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, 8 months ago
  52. 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, 8 months ago
  53. 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, 8 months ago
  54. ae43f39 Initialise unannotated pointers with unknown nullability. by Wei Yi Tee · 2 years, 8 months ago
  55. f5e8e57 Implement parsing of nullability annotations to initialise the null state of PointerValues. by Wei Yi Tee · 2 years, 8 months ago
  56. 178ce53 Remove unused PointerNullabilityLattice, replace with NoopLattice. by Wei Yi Tee · 2 years, 8 months ago
  57. 8b58e19 Separate analysis and diagnosis components for pointer nullability verification. by Wei Yi Tee · 2 years, 8 months ago
  58. 06f0696 Add "is_known" synthetic property to null state of PointerValue. by Wei Yi Tee · 2 years, 8 months ago
  59. 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
  60. 9f55817 Remove creation of PointerValue for `nullptr`. by Wei Yi Tee · 2 years, 8 months ago
  61. cebc226 Implement transfer function for identifying `this` pointer as always non-null. by Wei Yi Tee · 2 years, 10 months ago
  62. 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
  63. e314ca6 Implement matchers for identifying pointers that are members of structs/classes. by Wei Yi Tee · 2 years, 10 months ago
  64. 85d8737 Rename property which indicates if a pointer is non null. by Wei Yi Tee · 2 years, 10 months ago
  65. 1cd62af Implement transfer function for interpreting nullptr, address_of (&) operator, comparison between pointers. by Wei Yi Tee · 2 years, 10 months ago
  66. 543af74 Set up tooling for verifying C++ code complies with nullability annotations. by Wei Yi Tee · 2 years, 10 months ago