| commit | b8b875be7b2d177d755641c6212111859372d611 | [log] [tgz] |
|---|---|---|
| author | Lenny Maiorani <lenny@colorado.edu> | Thu Mar 31 21:36:53 2011 +0000 |
| committer | Lenny Maiorani <lenny@colorado.edu> | Thu Mar 31 21:36:53 2011 +0000 |
| tree | 0d7551714acd567a04c6f1faebc826f3aa9b763f | |
| parent | ea4411e3eee3f86e5d9ebb5caa7fdc025ca3a515 [diff] |
Adding Static Analyzer checker for mempcpy(). Models mempcpy() so that if length is NULL the destination pointer is returned. Otherwise, the source and destination are confirmed not to be NULL and not overlapping. Finally the copy is validated to not cause a buffer overrun and the return value is bound to the address of the byte after the last byte copied. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@128677 91177308-0d34-0410-b5e6-96231b3b80d8