On Feb 8, 2012, at 3:16 PM, Anna Zaks <[email protected]> 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.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
