Google Git
Sign in
bazel / crubit / 1f3b8da6e85e7f0c65491ce7cba65b9d9c340197 / nullability / inference
  1. 1f3b8da Stop trying to override the top level of an empty nullability vector. by Googler · 1 year, 5 months ago
  2. 5392b47 Allow multiple iterations of inference in infer_tu[_main]. by Googler · 1 year, 5 months ago
  3. af5f0b0 [nullability] Eliminate redundant call to `getPointerNullState()`. by Martin Brænne · 1 year, 5 months ago
  4. f5e6f8f [nullabiltiy] Use `proves()` and `assume()` instead of deprecated synonyms. by Martin Brænne · 1 year, 5 months ago
  5. 3e1cd48 [nullability] Allow nullability properties to be "top". 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. 31cc2d3 Return reference instead of pointer. by Googler · 1 year, 5 months ago
  8. 7191949 Compute the constraints on inferable slots used to compute other values' nullabilities once per function. by Googler · 1 year, 5 months ago
  9. ac9ac80 Constrain inferable slots to previously inferred nullabilities when available, instead of always to Unknown, when querying the nullability of other values. by Googler · 1 year, 6 months ago
  10. 6acdc64 Store USR cache outside of EvidenceEmitter so that it can be shared in more places. by Googler · 1 year, 6 months ago
  11. f1f793d Wire previously inferred slot nullabilities into the generation of constraints for inferable slots. by Googler · 1 year, 6 months ago
  12. 0c72bf2 Add a fingerprinting function for our nullability slot representation. by Googler · 1 year, 6 months ago
  13. 8c90fda Mark non-conflicting inferences made from existing annotations as trivial. by Googler · 1 year, 6 months ago
  14. 43114e8 Infer Nonnull parameters from the passing of an influenced value to a Nonnull parameter. by Googler · 1 year, 6 months ago
  15. 7c0fffb Rename CallerSlotsUnknown to reflect the generic use of this function. by Googler · 1 year, 6 months ago
  16. a868026 Rework PointerNullState APIs by Sam McCall · 1 year, 6 months ago
  17. 59cf9e6 `infer_tu_main -name-filter/-file-filter` limits analysis to interesting functions. by Sam McCall · 1 year, 7 months ago
  18. b23bf3b Add SAT solver timeout to inference, and correctly report timeouts/errors. by Sam McCall · 1 year, 7 months ago
  19. 5f2bb24 Treat base->member as a dereference of base, for inference by Sam McCall · 1 year, 7 months ago
  20. 6604531 Don't collect evidence for functions which are not inference targets. by Googler · 1 year, 7 months ago
  21. 779d3da Do not consider builtins to be inference targets. by Googler · 1 year, 7 months ago
  22. 3ab9d49 Do not run nullability inference if the input is not in C++ by Kinuko Yasuda · 1 year, 7 months ago
  23. 7a8d25c [nullability] Use `isSupportedPointer()` more widely. by Martin Brænne · 1 year, 7 months ago
  24. 742c4c3 Include what you spell, miscellaneous ClangTidy fixes by Dmitri Gribenko · 1 year, 8 months ago
  25. b70563a Extract a few functions for reuse in inference pipelines by Sam McCall · 1 year, 8 months ago
  26. 2e9a797 Access correct arguments for CXXOperatorCallExprs when collecting nullability evidence. by Googler · 1 year, 8 months ago
  27. b9d0969 Infer nullability of return type from evidence. by Googler · 1 year, 9 months ago
  28. dba6897 Avoid crashes in inference: by Sam McCall · 1 year, 9 months ago
  29. 629040a Internal change by Sam McCall · 1 year, 9 months ago
  30. 3e3ae48 Collect evidence for return type from return statements. by Googler · 1 year, 9 months ago
  31. cf1c365 Merge mandatory inference rules and report conflicts. by Googler · 1 year, 9 months ago
  32. cfd2dd1 Record locations of evidence. by Sam McCall · 1 year, 9 months ago
  33. f6e26d6 Library and tool to run inference on a single TU in-process by Sam McCall · 1 year, 9 months ago
  34. e644e1d All nullability vectors can now store symbolic nullability by Sam McCall · 1 year, 9 months ago
  35. 5e03424 Infer Nullable when >=1 Nullable argument is passed and Nonnull when only Nonnull arguments are passed. by Googler · 1 year, 9 months ago
  36. e1504a6 Collect evidence for function parameters from observed call sites. by Googler · 1 year, 9 months ago
  37. 1cf79e4 Don't override nullability for params that already have annotations. by Googler · 1 year, 9 months ago
  38. 1af66fd Define merge of Evidence -> Inference, with serializable partials for combine by Sam McCall · 1 year, 9 months ago
  39. 83bc55c Changes to Evidence proto for aggregation and debugging by Sam McCall · 1 year, 9 months ago
  40. 61645e1 Fix ClangTidy issues by Dmitri Gribenko · 1 year, 9 months ago
  41. 296d070 Walk over an AST to work out where we should run inference. by Sam McCall · 1 year, 9 months ago
  42. ebcc123 Make collectEvidence callback based, cache USR, API tweaks by Sam McCall · 1 year, 9 months ago
  43. bd1a6e5 Gather inference evidence from function signatures. by Sam McCall · 1 year, 9 months ago
  44. e9210aa Collect nullability Evidence for function parameters from dereferences. by Googler · 1 year, 9 months ago
  45. 113194c Remove safety constraint generalization. by Googler · 1 year, 9 months ago
  46. 76360a5 Internal change by Jing Lu · 1 year, 9 months ago
  47. 9b62a40 Migrate off deprecated dataflow APIs by Sam McCall · 1 year, 9 months ago
  48. 0046e0e Add rest of protos to represent inference intermediates and results by Sam McCall · 1 year, 9 months ago
  49. aeb861f Integrate LLVM at llvm/llvm-project@7a749fe94bb7 by Dmitri Gribenko · 1 year, 9 months ago
  50. d0b8997 Simplify tests, drop analyze_target_for_test by Sam McCall · 1 year, 9 months ago
  51. 0cdc04a Use correct LLVM gtest/gmock for inference tests by Sam McCall · 1 year, 9 months ago
  52. 7d9afee clang-format: PointerAlignment: Right, following LLVM style by Sam McCall · 1 year, 9 months ago
  53. 4af297f Fix build now that Environment is not copyable by Sam McCall · 1 year, 9 months ago
  54. bb7ddfd Integrate LLVM at llvm/llvm-project@d54bd7aced8b by Fangrui Song · 1 year, 9 months ago
  55. 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
  56. 000d1c6 Add skeleton proto for distributed nullability inference by Sam McCall · 1 year, 9 months ago
  57. 628b06b Add PointerModel for tracking dereference conditions during nullability analysis. by Googler · 1 year, 11 months ago