[cfe-commits] r150112 - in /cfe/trunk: lib/StaticAnalyzer/Checkers/MallocChecker.cpp test/Analysis/malloc.c

[Ted Kremenek]

On Feb 8, 2012, at 3:16 PM, Anna Zaks <ganna at apple.com> wrote:

> Author: zaks
> Date: Wed Feb  8 17:16:56 2012
> New Revision: 150112
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=150112&view=rev
> Log:
> [analyzer] MallocChecker: implement pessimistic version of the checker,
> which allows values to escape through unknown calls.
> 
> Assumes all calls but the malloc family are unknown.

One nit: we should only do this if the call was not inlined.  Otherwise we're being overly pessimistic.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20120208/1611063d/attachment.html>