Google Git
Sign in
bazel / crubit / c9fc6af4636c70a6d3d724e703646d117240bdbb / . / lifetime_analysis
tree: 5e3e95dac3d2c21ae211ef8e1accf3dd8edd51fd [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/lifetimes_static_analysis.md.