Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 5e5f15062bcf4b62fda9062b453178f8b9bd0c2d / lib / StaticAnalyzer / Checkers / CStringChecker.cpp
  1. 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
  2. 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
  3. 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
  4. ee2fde1 [analyzer] Fix trivial errors in previous commit. by Jordy Rose · 13 years ago
  5. 1e02241 [analyzer] Cleanup: mainly 80-char violations and preferring SValBuilder::getComparisonType() to just referencing IntTy. by Jordy Rose · 13 years ago
  6. d5af0e1 [analyzer] Revise CStringChecker's modelling of strcpy() and strcat(): by Jordy Rose · 13 years ago
  7. 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
  8. bd32bee [analyzer] Change large if body to early return. No functionality change. by Jordy Rose · 13 years ago
  9. 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
  10. 7182b96 [analyzer] Change an indent-if to an early return. No functionality change. by Jordy Rose · 13 years ago
  11. 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
  12. 7eb83ca [analyzer] Remove extra assignment that actually lost a few of the assumptions. by Jordy Rose · 13 years ago
  13. c152586 [analyzer] Fix comment for (still-disabled) evalStrncpy by Jordy Rose · 13 years ago
  14. 22d2717 [analyzer] Fix handling of "copy zero bytes" for memcpy and friends. by Jordy Rose · 13 years ago
  15. be460d8 [analyzer] __mempcpy_chk is the same as mempcpy (at least to CStringChecker) by Jordy Rose · 13 years ago
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. bd1d16a Implements strcasecmp() checker in Static Analyzer. by Lenny Maiorani · 13 years ago
  22. 357f6ee Implements the strncmp() checker just like the strcmp() checker, but with bounds. Requires LLVM svn r129582. by Lenny Maiorani · 13 years ago
  23. fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 13 years ago
  24. 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
  25. 067bbd0 strcat() and strncat() model additions to CStringChecker. by Lenny Maiorani · 13 years ago
  26. b8b875b Adding Static Analyzer checker for mempcpy(). by Lenny Maiorani · 13 years ago
  27. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 13 years ago
  28. 183ff98 [analyzer] Migrate CStringChecker to CheckerV2. by Argyrios Kyrtzidis · 13 years ago
  29. 0ef473f Add CStringChecker support for strncpy. Patch by Lenny Maiorani! by Ted Kremenek · 13 years ago
  30. be4242c Add CStringChecker support for strnlen. Patch by Lenny Maiorani! by Ted Kremenek · 13 years ago
  31. 695fb50 [analyzer] Pass CheckerManager to the registration functions. by Argyrios Kyrtzidis · 13 years ago
  32. 6810630 simplify a bit. by Chris Lattner · 13 years ago
  33. a0decc9 [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 13 years ago
  34. 2534528 Rename 'InvalidateRegions()' to 'invalidateRegions()'. by Ted Kremenek · 13 years ago
  35. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 13 years ago
  36. af1a933 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 13 years ago
  37. e36de1f Rename misc. methods in GRSubEngine to start by Ted Kremenek · 14 years ago
  38. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 14 years ago[Renamed (99%) from lib/EntoSA/Checkers/CStringChecker.cpp]
  39. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 14 years ago[Renamed (99%) from lib/GR/Checkers/CStringChecker.cpp]
  40. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 14 years ago
  41. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 14 years ago
  42. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 14 years ago
  43. 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]
  44. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/Checker/CStringChecker.cpp]
  45. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 14 years ago
  46. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 14 years ago
  47. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 14 years ago
  48. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 14 years ago
  49. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 14 years ago
  50. 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 14 years ago
  51. 02fe28c Rename CXXObjectRegion to CXXTempObjectRegion. by Zhongxing Xu · 14 years ago
  52. 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 14 years ago
  53. 90d26a4 Teach the CStringChecker and PthreadLockChecker about non-identifier by Douglas Gregor · 14 years ago
  54. 89b0658 do not bind temporaries to non-const references by Gabor Greif · 14 years ago
  55. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 14 years ago
  56. 070f2f4 Allow the "size" of a buffer access check to be either signed or unsigned. Fixes PR7925. by Jordy Rose · 14 years ago
  57. e64f311 Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: by Jordy Rose · 14 years ago
  58. 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
  59. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 14 years ago
  60. 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
  61. 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
  62. d325ffb Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes. by Jordy Rose · 14 years ago
  63. 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
  64. 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
  65. 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