[cfe-dev] Allowing checkers to mark symbols as live

[Ted Kremenek]

On Aug 11, 2010, at 6:33 PM, Jordy Rose wrote:

>> Would this over generalize this API or generalize this API too early?
> 
> Yeah, I was trying to show that checkers should only be using metadata
> symbols (and not, say, conjured symbols). But given that markLive() is
> around anyway, maybe it's not worth it. Ted's code certainly makes things
> easier for checker clients.

Agreed.  Since the number of checkers will continue to grow, keeping these kind of APIs simple for them to use is really important.