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
<internal link>.