Log - 04c25c15c7bc4b22237534873d1a646a21fe6eb3 - toolchain/llvm-project

e302792 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
5ccde85 Allow the "size" of a buffer access check to be either signed or unsigned. Fixes PR7925. by Jordy Rose · 15 years ago
722f558 Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: by Jordy Rose · 15 years ago
2a2e21c Update CStringChecker to take advantage of the new metadata symbols and region change callback. Now does basic tracking of string length for general regions. Currently this is still only used for modeling strlen(). by Jordy Rose · 15 years ago
8de0a3d MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
afdb053 When checking if a buffer access is valid, first make sure the buffer has a valid Loc. Fixes PR7830. by Jordy Rose · 15 years ago
b052e8f Groundwork for C string length tracking. Currently only handles the length of constant string literals, which is not too helpful, and only calls to strlen() are checked. by Jordy Rose · 15 years ago
d5d2e50 Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes. by Jordy Rose · 15 years ago
65136fb Add memcmp() and bcmp() to CStringChecker. These check for valid access to the buffer arguments and have a special-case for when the buffer arguments are known to be the same address, or when the size is zero. by Jordy Rose · 15 years ago
33c829a Cleanup on CStringChecker and its associated tests. Also check for null arguments...which are allowed if the access length is 0! by Jordy Rose · 15 years ago
134a236 Add a new path-sensitive checker for functions in <string.h>, for both null-terminated strings and memory blocks. Currently only checks memcpy(), memmove(), and bcopy(), but this is intended to be expanded soon. by Jordy Rose · 15 years ago