Google Git
Sign in
bazel / crubit / 477b00da8782a9224630817e52a807d4a610569c / nullability / inference / collect_evidence.cc
  1. 477b00d Collect evidence from assignments. by Googler · 1 year, 5 months ago
  2. af5f0b0 [nullability] Eliminate redundant call to `getPointerNullState()`. by Martin Brænne · 1 year, 5 months ago
  3. f5e6f8f [nullabiltiy] Use `proves()` and `assume()` instead of deprecated synonyms. by Martin Brænne · 1 year, 5 months ago
  4. 3e1cd48 [nullability] Allow nullability properties to be "top". by Martin Brænne · 1 year, 5 months ago
  5. 2c9f53f Use previous inference results in PointerNullabilityAnalysis. by Googler · 1 year, 5 months ago
  6. 31cc2d3 Return reference instead of pointer. by Googler · 1 year, 5 months ago
  7. 7191949 Compute the constraints on inferable slots used to compute other values' nullabilities once per function. by Googler · 1 year, 5 months ago
  8. 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, 5 months ago
  9. 6acdc64 Store USR cache outside of EvidenceEmitter so that it can be shared in more places. by Googler · 1 year, 5 months ago
  10. f1f793d Wire previously inferred slot nullabilities into the generation of constraints for inferable slots. by Googler · 1 year, 5 months ago
  11. 43114e8 Infer Nonnull parameters from the passing of an influenced value to a Nonnull parameter. by Googler · 1 year, 6 months ago
  12. 7c0fffb Rename CallerSlotsUnknown to reflect the generic use of this function. by Googler · 1 year, 6 months ago
  13. a868026 Rework PointerNullState APIs by Sam McCall · 1 year, 6 months ago
  14. b23bf3b Add SAT solver timeout to inference, and correctly report timeouts/errors. by Sam McCall · 1 year, 6 months ago
  15. 5f2bb24 Treat base->member as a dereference of base, for inference by Sam McCall · 1 year, 6 months ago
  16. 6604531 Don't collect evidence for functions which are not inference targets. by Googler · 1 year, 7 months ago
  17. 779d3da Do not consider builtins to be inference targets. by Googler · 1 year, 7 months ago
  18. 7a8d25c [nullability] Use `isSupportedPointer()` more widely. by Martin Brænne · 1 year, 7 months ago
  19. 742c4c3 Include what you spell, miscellaneous ClangTidy fixes by Dmitri Gribenko · 1 year, 8 months ago
  20. b70563a Extract a few functions for reuse in inference pipelines by Sam McCall · 1 year, 8 months ago
  21. 2e9a797 Access correct arguments for CXXOperatorCallExprs when collecting nullability evidence. by Googler · 1 year, 8 months ago
  22. dba6897 Avoid crashes in inference: by Sam McCall · 1 year, 8 months ago
  23. 3e3ae48 Collect evidence for return type from return statements. by Googler · 1 year, 8 months ago
  24. cfd2dd1 Record locations of evidence. by Sam McCall · 1 year, 8 months ago
  25. e644e1d All nullability vectors can now store symbolic nullability by Sam McCall · 1 year, 8 months ago
  26. e1504a6 Collect evidence for function parameters from observed call sites. by Googler · 1 year, 8 months ago
  27. 1cf79e4 Don't override nullability for params that already have annotations. by Googler · 1 year, 8 months ago
  28. 83bc55c Changes to Evidence proto for aggregation and debugging by Sam McCall · 1 year, 8 months ago
  29. 296d070 Walk over an AST to work out where we should run inference. by Sam McCall · 1 year, 9 months ago
  30. ebcc123 Make collectEvidence callback based, cache USR, API tweaks by Sam McCall · 1 year, 9 months ago
  31. bd1a6e5 Gather inference evidence from function signatures. by Sam McCall · 1 year, 9 months ago
  32. e9210aa Collect nullability Evidence for function parameters from dereferences. by Googler · 1 year, 9 months ago
  33. 113194c Remove safety constraint generalization. by Googler · 1 year, 9 months ago