# 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](/docs/lifetimes_static_analysis.md).