Google Git
Sign in
bazel / crubit / d5a6784201f7eaa5f1f13f2d12eca9a551f2ea30 / . / lifetime_analysis
tree: 581d0adb3cd987bd569be525052bed3221e23fa0 [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
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/design/lifetimes_static_analysis.md.