| Luca Versari | 99fddff | 2022-05-25 10:22:32 -0700 | [diff] [blame] | 1 | # C++ lifetime inference and verification through static analysis |
| 2 | |||||
| 3 | This package contains a prototype for a static analysis tool that infers | ||||
| 4 | and verifies lifetime annotations for C++ code. For more background, see | ||||
| Luca Versari | e5f66ad | 2022-08-02 02:18:15 -0700 | [diff] [blame] | 5 | [/docs/lifetimes_static_analysis.md](/docs/lifetimes_static_analysis.md). |