| commit | 5799bcb6feb0cd4a42251a8615fa6915fac7746f | [log] [tgz] |
|---|---|---|
| author | Anton Yartsev <anton.yartsev@gmail.com> | Tue Apr 14 14:18:04 2015 |
| committer | Anton Yartsev <anton.yartsev@gmail.com> | Tue Apr 14 14:18:04 2015 |
| tree | f1460a766e80db14c942c5afae2e2afaf43bd184 | |
| parent | 9cbad60fe56426efa4d90f7856485ff14f081855 [diff] |
[analyzer] This implements potential undefbehavior.ZeroAllocDereference checker. TODO: support realloc(). Currently it is not possible due to the present realloc() handling. Currently RegionState is not being attached to realloc() in case of a zero Size argument. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@234889 91177308-0d34-0410-b5e6-96231b3b80d8