| commit | a1b227b6a779d9e41db0ffe5dc250f613fae776c | [log] [tgz] |
|---|---|---|
| author | Anna Zaks <ganna@apple.com> | Wed Feb 08 23:16:56 2012 +0000 |
| committer | Anna Zaks <ganna@apple.com> | Wed Feb 08 23:16:56 2012 +0000 |
| tree | 2de9bea925df79e37b859ca251bc5c4fa657b394 | |
| parent | cd37bf4ec8e2043dc589a592df5c97144b5dee3b [diff] |
[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. Also, catch a use-after-free when a pointer is passed to a function after a call to free (previously, you had to explicitly dereference the pointer value). llvm-svn: 150112