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