Google Git
Sign in
bazel / crubit / 4180ffe0fd9c740f1993e2070e5c79742e41b6bb / . / lifetime_analysis
tree: bb4a0768b65cae0035c0c7c84d1cab6c6a6b1aa4 [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_lattice.cc
  10. lifetime_lattice.h
  11. object.cc
  12. object.h
  13. object_repository.cc
  14. object_repository.h
  15. object_set.cc
  16. object_set.h
  17. object_set_test.cc
  18. pointer_compatibility.cc
  19. pointer_compatibility.h
  20. pointer_compatibility_test.cc
  21. points_to_map.cc
  22. points_to_map.h
  23. points_to_map_test.cc
  24. README.md
  25. template_placeholder_support.cc
  26. template_placeholder_support.h
  27. visit_lifetimes.cc
  28. 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 .