| # 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). |