Lifetime Analysis with Attributes

Use compiler-specific annotations to enforce stricter checking of object lifetimes.