| commit | 91c2a1192cdd4e7b2b4ac7838c5aceef200ea251 | [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 | 860188cbd68c645afa4285f58afe53dcaa97e925 | |
| parent | 231361ad343d655e4bbb1574ccbb4173b72dadfd [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). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@150112 91177308-0d34-0410-b5e6-96231b3b80d8