Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 76dafa7e6487c0b51fadebd16bdefe0e0e23d595 / lib / StaticAnalyzer / Checkers / CStringChecker.cpp
  1. a1f81bb [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. by Jordan Rose · 13 years ago
  2. 56a46b5 Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to by Ted Kremenek · 13 years ago
  3. 66c486f Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. by Ted Kremenek · 13 years ago
  4. 3b1df8b Rename 'getConjuredSymbol*' to 'conjureSymbol*'. by Ted Kremenek · 13 years ago
  5. 6853799 [analyzer] When a symbol is null, we should track its constraints. by Jordan Rose · 13 years ago
  6. 740d490 [analyzer] Add a new abstraction over all types of calls: CallEvent by Jordan Rose · 13 years ago
  7. 6e4244e [analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning. by Jordy Rose · 13 years ago
  8. dd160f3 [analyzer] CString Checker: Do not split the path unless the user by Anna Zaks · 13 years ago
  9. 259052d [analyzer] Don't crash even when the system functions are redefined. by Anna Zaks · 13 years ago
  10. 76aadc3 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 13 years ago
  11. 3133f79 Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. by Ted Kremenek · 14 years ago
  12. f0dfc9c [analyzer] Fix another false positive in the Malloc Checker, by making by Anna Zaks · 14 years ago
  13. 998e275 [analyzer] Generalize function name checking in CString checker. by Anna Zaks · 14 years ago
  14. 66c4040 [analyzer] Make Malloc Checker optimistic in presence of inlining. by Anna Zaks · 14 years ago
  15. 5730076 [analyzer] Allow each CString check to be enabled/disabled separately. by Anna Zaks · 14 years ago
  16. f7ccbad Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 14 years ago
  17. 6f42b62 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  18. 8fe83e1 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 14 years ago
  19. 00bd44d Move various diagnostic operator<< overloads out of line and remove includes of Diagnostic.h. by Benjamin Kramer · 14 years ago
  20. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  21. 5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  22. e3d250e [analyzer] CStringChecker should not rely on the analyzer generating UndefOrUnknown value when it cannot reason about the expression. by Anna Zaks · 14 years ago
  23. 1d1d515 [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it by Anna Zaks · 14 years ago
  24. b805c8f [analyzer] Refactor checkers to use helper function for getting callee Decl and name. by Anna Zaks · 14 years ago
  25. 39ac187 [analyzer] Add getLocationContext to CheckerContext by Anna Zaks · 14 years ago
  26. 0bd6b11 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 14 years ago
  27. 063e088 [analyzer] Simplify CheckerContext by Anna Zaks · 14 years ago
  28. b8989f2 Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 14 years ago
  29. c800f68 [analyzer] Fix a typo. by Anna Zaks · 14 years ago
  30. 5d0ea6d [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. by Anna Zaks · 14 years ago
  31. 537716a [analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation. by Jordy Rose · 14 years ago
  32. 50bbc16 Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) API in favor of addVisitor(BugReporterVisitor*). by Anna Zaks · 14 years ago
  33. e172e8b Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. by Anna Zaks · 14 years ago
  34. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  35. 9c378f7 Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 14 years ago
  36. 096aef9 [analyzer] Nitpicks on Olaf's patch, which I meant to e-mail but then didn't in by Jordy Rose · 14 years ago
  37. 9697934 [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separate TypedRegions that implement getValueType() from those that don't. by Ted Kremenek · 14 years ago
  38. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 14 years ago
  39. 8912aae [analyzer] Finish size argument checking for strncat (and strncpy). by Jordy Rose · 14 years ago
  40. 8cc2491 [analyzer] Replace stream-built error message with constant string. No functionality change. by Jordy Rose · 14 years ago
  41. 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 · 14 years ago
  42. 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 · 14 years ago
  43. 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 · 14 years ago
  44. ee2fde1 [analyzer] Fix trivial errors in previous commit. by Jordy Rose · 14 years ago
  45. 1e02241 [analyzer] Cleanup: mainly 80-char violations and preferring SValBuilder::getComparisonType() to just referencing IntTy. by Jordy Rose · 14 years ago
  46. d5af0e1 [analyzer] Revise CStringChecker's modelling of strcpy() and strcat(): by Jordy Rose · 14 years ago
  47. 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 · 14 years ago
  48. bd32bee [analyzer] Change large if body to early return. No functionality change. by Jordy Rose · 14 years ago
  49. 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 · 14 years ago
  50. 7182b96 [analyzer] Change an indent-if to an early return. No functionality change. by Jordy Rose · 14 years ago
  51. 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 · 14 years ago
  52. 7eb83ca [analyzer] Remove extra assignment that actually lost a few of the assumptions. by Jordy Rose · 14 years ago
  53. c152586 [analyzer] Fix comment for (still-disabled) evalStrncpy by Jordy Rose · 14 years ago
  54. 22d2717 [analyzer] Fix handling of "copy zero bytes" for memcpy and friends. by Jordy Rose · 14 years ago
  55. be460d8 [analyzer] __mempcpy_chk is the same as mempcpy (at least to CStringChecker) by Jordy Rose · 14 years ago
  56. 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 · 14 years ago
  57. 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 · 14 years ago
  58. 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 · 14 years ago
  59. 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 · 14 years ago
  60. 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 · 14 years ago
  61. bd1d16a Implements strcasecmp() checker in Static Analyzer. by Lenny Maiorani · 14 years ago
  62. 357f6ee Implements the strncmp() checker just like the strcmp() checker, but with bounds. Requires LLVM svn r129582. by Lenny Maiorani · 14 years ago
  63. fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 14 years ago
  64. 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 · 14 years ago
  65. 067bbd0 strcat() and strncat() model additions to CStringChecker. by Lenny Maiorani · 14 years ago
  66. b8b875b Adding Static Analyzer checker for mempcpy(). by Lenny Maiorani · 14 years ago
  67. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  68. 183ff98 [analyzer] Migrate CStringChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  69. 0ef473f Add CStringChecker support for strncpy. Patch by Lenny Maiorani! by Ted Kremenek · 15 years ago
  70. be4242c Add CStringChecker support for strnlen. Patch by Lenny Maiorani! by Ted Kremenek · 15 years ago
  71. 695fb50 [analyzer] Pass CheckerManager to the registration functions. by Argyrios Kyrtzidis · 15 years ago
  72. 6810630 simplify a bit. by Chris Lattner · 15 years ago
  73. a0decc9 [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 15 years ago
  74. 2534528 Rename 'InvalidateRegions()' to 'invalidateRegions()'. by Ted Kremenek · 15 years ago
  75. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  76. af1a933 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 15 years ago
  77. e36de1f Rename misc. methods in GRSubEngine to start by Ted Kremenek · 15 years ago
  78. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (99%) from lib/EntoSA/Checkers/CStringChecker.cpp]
  79. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (99%) from lib/GR/Checkers/CStringChecker.cpp]
  80. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  81. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  82. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  83. a7af5ea [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/GR/CStringChecker.cpp]
  84. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/Checker/CStringChecker.cpp]
  85. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  86. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  87. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 15 years ago
  88. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 15 years ago
  89. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 15 years ago
  90. 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 15 years ago
  91. 02fe28c Rename CXXObjectRegion to CXXTempObjectRegion. by Zhongxing Xu · 15 years ago
  92. 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 15 years ago
  93. 90d26a4 Teach the CStringChecker and PthreadLockChecker about non-identifier by Douglas Gregor · 15 years ago
  94. 89b0658 do not bind temporaries to non-const references by Gabor Greif · 15 years ago
  95. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  96. 070f2f4 Allow the "size" of a buffer access check to be either signed or unsigned. Fixes PR7925. by Jordy Rose · 15 years ago
  97. e64f311 Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: by Jordy Rose · 15 years ago
  98. 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 · 15 years ago
  99. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
  100. b6a4026 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