[cfe-dev] Static analyzer: add smart pointer checker
kremenek at apple.com
Fri Jan 6 13:27:56 PST 2012
On Jan 6, 2012, at 1:06 PM, David Blaikie wrote:
> The direct initialization case should be easily caught, and that should
> be the majority case. But more interesting cases where the pointer in
> question comes from another API or any other complicated logic might
> need analysis to see whether the pointer ultimately originates from a
> new call.
Indeed, the checking that requires flow analysis could be a good static analyzer check.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev