[cfe-dev] Static analyzer: add smart pointer checker

Ted Kremenek 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...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20120106/77d229c4/attachment.html>

More information about the cfe-dev mailing list