Google Git
Sign in
bazel / crubit / 1cb8511f8c7ecda2ad9684cffae26515fd33367b / . / lifetime_analysis
tree: a4658e97500acda17a9c2432d740d444aa9f6f54 [path history] [tgz]
  1. test/
  2. analyze.cc
  3. analyze.h
  4. BUILD
  5. builtin_lifetimes.cc
  6. builtin_lifetimes.h
  7. lifetime_analysis.cc
  8. lifetime_analysis.h
  9. lifetime_constraints.cc
  10. lifetime_constraints.h
  11. lifetime_lattice.cc
  12. lifetime_lattice.h
  13. object.cc
  14. object.h
  15. object_repository.cc
  16. object_repository.h
  17. object_set.cc
  18. object_set.h
  19. object_set_test.cc
  20. pointer_compatibility.cc
  21. pointer_compatibility.h
  22. pointer_compatibility_test.cc
  23. points_to_map.cc
  24. points_to_map.h
  25. points_to_map_test.cc
  26. README.md
  27. template_placeholder_support.cc
  28. template_placeholder_support.h
  29. visit_lifetimes.cc
  30. visit_lifetimes.h
lifetime_analysis/README.md

C++ lifetime inference and verification through static analysis

This package contains a prototype for a static analysis tool that infers and verifies lifetime annotations for C++ code. For more background, see /docs/lifetimes_static_analysis.md.