- 8912aae [analyzer] Finish size argument checking for strncat (and strncpy). by Jordy Rose · 13 years ago
- 8cc2491 [analyzer] Replace stream-built error message with constant string. No functionality change. by Jordy Rose · 13 years ago
- 5e5f150 [analyzer] Re-enable checking for strncpy, along with a new validation of the size argument. strncat is not yet up-to-date, but I'm leaving it enabled for now (there shouldn't be any false positives, at least...) by Jordy Rose · 13 years ago
- 9e49d9f [analyzer] Eliminate "byte string function" from CStringChecker's diagnostics, and make it easier to provide custom messages for overflow checking, in preparation for re-enabling strncpy checking. by Jordy Rose · 13 years ago
- adc42d4 [analyzer] Clean up modeling of strcmp, including cases where a string literal has an embedded null character, and where both arguments are the same buffer. Also use nested ifs rather than early returns; in this case early returns will lose any assumptions we've made earlier in the function. by Jordy Rose · 13 years ago
- ee2fde1 [analyzer] Fix trivial errors in previous commit. by Jordy Rose · 13 years ago
- 1e02241 [analyzer] Cleanup: mainly 80-char violations and preferring SValBuilder::getComparisonType() to just referencing IntTy. by Jordy Rose · 13 years ago
- d5af0e1 [analyzer] Revise CStringChecker's modelling of strcpy() and strcat(): by Jordy Rose · 13 years ago
- 210c05b [analyzer] If a C string length is UnknownVal, clear any existing length binding. No tests yet because the only thing that sets string length is strcpy(), and that needs some work anyway. by Jordy Rose · 13 years ago
- bd32bee [analyzer] Change large if body to early return. No functionality change. by Jordy Rose · 13 years ago
- 793bff3 [analyzer] Fix modeling of strnlen to be more conservative. Move tests we can't properly model (yet?) to string-fail.c. by Jordy Rose · 13 years ago
- 7182b96 [analyzer] Change an indent-if to an early return. No functionality change. by Jordy Rose · 13 years ago
- 3f8bb2f [analyzer] Don't crash when copying an unknown number of bytes with memcpy(). Also handle all memcpy-family return values in evalCopyCommon(), rather than having some outside and some inside. by Jordy Rose · 13 years ago
- 7eb83ca [analyzer] Remove extra assignment that actually lost a few of the assumptions. by Jordy Rose · 13 years ago
- c152586 [analyzer] Fix comment for (still-disabled) evalStrncpy by Jordy Rose · 13 years ago
- 22d2717 [analyzer] Fix handling of "copy zero bytes" for memcpy and friends. by Jordy Rose · 13 years ago
- be460d8 [analyzer] __mempcpy_chk is the same as mempcpy (at least to CStringChecker) by Jordy Rose · 13 years ago
- 094ea0a Removing strncpy() checking in CString checker for now. Some significant changes need to be made to properly support modeling of it since it potentially leaves strings non-null terminated. by Lenny Maiorani · 13 years ago
- 35bdbf4 Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts. by Ted Kremenek · 13 years ago
- 454fd2d Implements strncasecmp() checker and simplifies some of the logic around creating substrings if necessary and calling the appropriate StringRef::compare/compare_lower(). by Lenny Maiorani · 13 years ago
- 401549d Use StringRef::substr() and unbounded StringRef::compare() instead of bounded version of StringRef::compare() because bounded version of StringRef::compare() is going to be removed. by Lenny Maiorani · 13 years ago
- 508c627 Eliminates an assert in the strncpy/strncat checker caused by not validating a cast was successful. If the value of an argument was unknown, the cast would result in a NULL pointer which was later being dereferenced. by Lenny Maiorani · 13 years ago
- bd1d16a Implements strcasecmp() checker in Static Analyzer. by Lenny Maiorani · 13 years ago
- 357f6ee Implements the strncmp() checker just like the strcmp() checker, but with bounds. Requires LLVM svn r129582. by Lenny Maiorani · 13 years ago
- fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 13 years ago
- 318dd92 This patch adds modeling of strcmp() to the CString checker. Validates inputs are not NULL and are real C strings, then does the comparison and binds the proper return value. Unit tests included. by Lenny Maiorani · 13 years ago
- 067bbd0 strcat() and strncat() model additions to CStringChecker. by Lenny Maiorani · 13 years ago
- b8b875b Adding Static Analyzer checker for mempcpy(). by Lenny Maiorani · 13 years ago
- ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 13 years ago
- 183ff98 [analyzer] Migrate CStringChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 0ef473f Add CStringChecker support for strncpy. Patch by Lenny Maiorani! by Ted Kremenek · 14 years ago
- be4242c Add CStringChecker support for strnlen. Patch by Lenny Maiorani! by Ted Kremenek · 14 years ago
- 695fb50 [analyzer] Pass CheckerManager to the registration functions. by Argyrios Kyrtzidis · 14 years ago
- 6810630 simplify a bit. by Chris Lattner · 14 years ago
- a0decc9 [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 14 years ago
- 2534528 Rename 'InvalidateRegions()' to 'invalidateRegions()'. by Ted Kremenek · 14 years ago
- 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 14 years ago
- af1a933 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 14 years ago
- e36de1f Rename misc. methods in GRSubEngine to start by Ted Kremenek · 14 years ago
- 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 14 years ago[Renamed (99%) from lib/EntoSA/Checkers/CStringChecker.cpp]
- 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 14 years ago[Renamed (99%) from lib/GR/Checkers/CStringChecker.cpp]
- 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 14 years ago
- d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 14 years ago
- 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 14 years ago
- a7af5ea [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/GR/CStringChecker.cpp]
- bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/Checker/CStringChecker.cpp]
- 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 14 years ago
- d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 14 years ago
- c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 14 years ago
- 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 14 years ago
- 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 14 years ago
- 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 14 years ago
- 02fe28c Rename CXXObjectRegion to CXXTempObjectRegion. by Zhongxing Xu · 14 years ago
- 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 14 years ago
- 90d26a4 Teach the CStringChecker and PthreadLockChecker about non-identifier by Douglas Gregor · 14 years ago
- 89b0658 do not bind temporaries to non-const references by Gabor Greif · 14 years ago
- 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 14 years ago
- 070f2f4 Allow the "size" of a buffer access check to be either signed or unsigned. Fixes PR7925. by Jordy Rose · 14 years ago
- e64f311 Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: by Jordy Rose · 14 years ago
- a526154 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 · 14 years ago
- 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 14 years ago
- b6a4026 When checking if a buffer access is valid, first make sure the buffer has a valid Loc. Fixes PR7830. by Jordy Rose · 14 years ago
- 19c5dd1 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 · 14 years ago
- d325ffb Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes. by Jordy Rose · 14 years ago
- bc56d1f 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 · 14 years ago
- a6b808c Cleanup on CStringChecker and its associated tests. Also check for null arguments...which are allowed if the access length is 0! by Jordy Rose · 14 years ago
- ccbf7ee 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 · 14 years ago