diff options
| author | Lenny Maiorani <lenny@colorado.edu> | 2011-03-31 21:36:53 +0000 |
|---|---|---|
| committer | Lenny Maiorani <lenny@colorado.edu> | 2011-03-31 21:36:53 +0000 |
| commit | b8b875be7b2d177d755641c6212111859372d611 (patch) | |
| tree | 0d7551714acd567a04c6f1faebc826f3aa9b763f /lib/StaticAnalyzer/Checkers/CheckSecuritySyntaxOnly.cpp | |
| 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
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/CheckSecuritySyntaxOnly.cpp')
0 files changed, 0 insertions, 0 deletions