Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 688761409155b47c39eb5dae1b8c6c8a9f43307a / lib / StaticAnalyzer
  1. 6075f01 [analyzer] Remove recursive visitation in ExprEngine::VisitDeclStmt because it isn't needed anymore. by Ted Kremenek · 13 years ago
  2. 71f20db [analyzer] Remove recursive visitation in ExprEngine::VisitCompoundLiteralExpr because it isn't needed anymore. by Ted Kremenek · 13 years ago
  3. 4e906e8 [analyzer] Remove recursive visitation in ExprEngine::VisitCastExpr because it isn't needed anymore. by Ted Kremenek · 13 years ago
  4. 70a34da [analyzer] Remove recursive visitation in ExprEngine::VisitObjCForCollectionStmt because it isn't needed anymore. by Ted Kremenek · 13 years ago
  5. 4410a93 [analyzer] Remove explicit argument processing from ExprEngine::VisitObjCMessage() since it is no longer needed. by Ted Kremenek · 13 years ago
  6. 871f686 [analyzer] Remove recursive visitation in ExprEngine::VisitLValObjCIvarRefExpr because it isn't needed anymore. by Ted Kremenek · 13 years ago
  7. 994b8d3 [analyzer] tighten up ExprEngine::VisitObjCAtSynchronizationStmt(). by Ted Kremenek · 13 years ago
  8. ae2dc14 [analyzer] Remove recursive visitation in ExprEngine::VisitObjCPropertyRefExpr because it isn't needed anymore. by Ted Kremenek · 13 years ago
  9. 962fddc [analyzer] Remove recursive visitation in ExprEngine::VisitCallExpr because it isn't needed anymore. by Ted Kremenek · 13 years ago
  10. e3939d7 [analyzer] Remove recursive visitation in ExprEngine::VisitMemberExpr because it isn't needed anymore. by Ted Kremenek · 13 years ago
  11. 8f3407e [analyzer] Remove recursive visitation in ExprEngine::VisitLvalArraySubscriptExpr() because it is no longer needed. by Ted Kremenek · 13 years ago
  12. e3b075b Remove an unused function (found by Clang's -Wunused-function) by Chandler Carruth · 13 years ago
  13. a4c7a43 Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. by Ted Kremenek · 13 years ago
  14. af9ef7f Remove FlatStoreManager and BasicStoreManager. The latter has long been obsolete and the former has no had development in a long time. by Ted Kremenek · 13 years ago
  15. 8829989 [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. by Ted Kremenek · 13 years ago
  16. 217470e [analyzer] fix bug in malloc checker where the tracked symbol would not properly be removed from the state. by Ted Kremenek · 13 years ago
  17. fa7a95c [analyzer] Add StoreManager::includedInBindings() to to query whether a region is used in any bindings. by Ted Kremenek · 13 years ago
  18. 31d922f [analyzer] Add safety checking in RegionStoreManager for string literal underruns. by Ted Kremenek · 13 years ago
  19. 90e2f53 [analyzer] Teach Environment to not look through MaterializeTemporaryExprs. by Ted Kremenek · 13 years ago
  20. 6c370d9 [analyzer] Fix bug in ObjCMessage where casts were being incorrectly ignored. by Ted Kremenek · 13 years ago
  21. eea72a9 [analyzer] fix handling of MaterializeTemporaryExpr by binding the result value to by Ted Kremenek · 13 years ago
  22. 6421162 Rename getInstantiationLineNumber to getExpansionLineNumber in both by Chandler Carruth · 13 years ago
  23. a77c031 Rename getInstantiationColumnNumber to getExpansionColumnNumber in both by Chandler Carruth · 13 years ago
  24. e7b2b6e Rename getDecomposedInstantiationLoc to getDecomposedExpansionLoc. by Chandler Carruth · 13 years ago
  25. 4027853 Mechanically rename SourceManager::getInstantiationLoc and by Chandler Carruth · 13 years ago
  26. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
  27. 6c2c250 In Objective-C, pull arbitrary attributes from overridden by John McCall · 13 years ago
  28. 4fed22c Move AnalysisManager constructor out of line. No functionality change (yet). by Ted Kremenek · 13 years ago
  29. bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 13 years ago
  30. 4cc1187 [analyzer] Very minor cleanup in PthreadLockChecker. No functionality change. by Jordy Rose · 13 years ago
  31. dcb1d5d [analysis] Add checks for double-locking and lock order reversal bugs for by Jordy Rose · 13 years ago
  32. 0556048 [analyzer] Place checking for Core Foundation "Create" rule into a proper API. No functionality change. by Ted Kremenek · 13 years ago
  33. 5b5402b Add tests for CFRefReport's path notes, and fix a few typos and non-standard terminology ('+0 retain counts') caught by the tests. by Jordy Rose · 13 years ago
  34. 8f08426 [analyzer] GNU __null is a pointer-sized integer, not a pointer. Fixes PR10372. by Jordy Rose · 13 years ago
  35. af5b043 Clean up UnixAPIChecker, including switching its array of BugTypes to llvm::OwningPtr<BugType> vars (the new convention). No functionality change. by Jordy Rose · 13 years ago
  36. 57964bd Clean up MacOSXAPIChecker, including switching its array of BugTypes to a single llvm::OwningPtr<BugType> (the new convention). No functionality change. by Jordy Rose · 13 years ago
  37. 91a5755 Create a new expression node, SubstNonTypeTemplateParmExpr, by John McCall · 13 years ago
  38. 7e5e5f4 In ARC, reclaim all return values of retainable type, not just those by John McCall · 13 years ago
  39. 786dcd9 Teach the static analyzer's interpretation of Cocoa conventions to by Douglas Gregor · 13 years ago
  40. aa7333c Update for llvm commit r134291. by Eric Christopher · 13 years ago
  41. eda3687 [analyzer] Use UnknownVal when default-initializing arrays whose element types we don't model, to distinguish them from uninitialized arrays (PR10163). by Jordy Rose · 13 years ago
  42. 03e8003 Introduce a new AST node describing reference binding to temporaries. by Douglas Gregor · 13 years ago
  43. 8912aae [analyzer] Finish size argument checking for strncat (and strncpy). by Jordy Rose · 13 years ago
  44. 8cc2491 [analyzer] Replace stream-built error message with constant string. No functionality change. by Jordy Rose · 13 years ago
  45. 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
  46. 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
  47. 71c482c Initialize a couple of variables to shut GCC up. by John McCall · 13 years ago
  48. 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
  49. ee2fde1 [analyzer] Fix trivial errors in previous commit. by Jordy Rose · 13 years ago
  50. 1e02241 [analyzer] Cleanup: mainly 80-char violations and preferring SValBuilder::getComparisonType() to just referencing IntTy. by Jordy Rose · 13 years ago
  51. f85e193 Automatic Reference Counting. by John McCall · 13 years ago
  52. d5af0e1 [analyzer] Revise CStringChecker's modelling of strcpy() and strcat(): by Jordy Rose · 13 years ago
  53. 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
  54. a9af8e7 [analyzer] When performing a binary operation on symbolic operands, we convert the symbol values to a common type. But in a relational operation, the result is an 'int' or 'bool', which may not be the appropriate type to convert the operands to. In these cases, use the left-hand operand's type as the conversion type. by Jordy Rose · 13 years ago
  55. 467f7c8 [analyzer] CStringChecker checks functions in the C standard library, not C++. Its external name is now unix.experimental.CString. by Jordy Rose · 13 years ago
  56. bd32bee [analyzer] Change large if body to early return. No functionality change. by Jordy Rose · 13 years ago
  57. 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
  58. ac73ea8 [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expressions (by calling IgnoreParens before adding expressions to blocks). Undo 132769 (LiveVariables' local IgnoreParens), since it's no longer necessary. by Jordy Rose · 13 years ago
  59. 22043b5 [analyzer] Look through __extension__ expressions in a GRState's Environment. Fixes PR8962. by Jordy Rose · 13 years ago
  60. 7182b96 [analyzer] Change an indent-if to an early return. No functionality change. by Jordy Rose · 13 years ago
  61. 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
  62. 7eb83ca [analyzer] Remove extra assignment that actually lost a few of the assumptions. by Jordy Rose · 13 years ago
  63. 61eee0c Add support for builtin astype: by Tanya Lattner · 13 years ago
  64. c152586 [analyzer] Fix comment for (still-disabled) evalStrncpy by Jordy Rose · 13 years ago
  65. 22d2717 [analyzer] Fix handling of "copy zero bytes" for memcpy and friends. by Jordy Rose · 13 years ago
  66. be460d8 [analyzer] __mempcpy_chk is the same as mempcpy (at least to CStringChecker) by Jordy Rose · 13 years ago
  67. f136546 Tighen analyzer diagnostics w.r.t ObjC/CF leaks. by Ted Kremenek · 13 years ago
  68. e5cfd52 static analyzer: when conservatively evaluating functions, don't invalidate the values of globals when the called function is strlen. by Ted Kremenek · 13 years ago
  69. d1e015e Teach analyzer about cf_returns_not_retained for C functions. by Ted Kremenek · 13 years ago
  70. d368d71 Enhance retain/release checker to flag warnings when functions returning CG types do not follow the Core Foundation naming conventions. by Ted Kremenek · 13 years ago
  71. 5e9ebb3 A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups. by Douglas Gregor · 13 years ago
  72. ce30688 Fix regression in static analyzer's handling of prefix '--' operator. It was being treated as postfix '--' in C mode. by Ted Kremenek · 13 years ago
  73. 575a1c9 Introduce Type::isSignedIntegerOrEnumerationType() and by Douglas Gregor · 13 years ago
  74. c46d641 Teach RegionStore not to symbolic array values whose indices it cannot reason about. by Ted Kremenek · 13 years ago
  75. 6e744db Teach static analyzer to analyze Objective-C methods in category implementations. by Ted Kremenek · 13 years ago
  76. 10620eb Modify some deleted function methods to better reflect reality: by Sean Hunt · 13 years ago
  77. 9be6e7c Add Checker callback for running a checker at the end of processing an entire TranslationUnit. Patch by Lei Zhang. by Ted Kremenek · 13 years ago
  78. 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
  79. 9ca2851 Tweak the retain/release checker to not stop tracking retained objects when calling C++ methods. This is a temporary solution to prune false positives until we have a general story using annotations. by Ted Kremenek · 13 years ago
  80. 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
  81. 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
  82. a2a3da6 Move the SelfInit checker to the 'cocoa.experimental' package. by Ted Kremenek · 13 years ago
  83. 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
  84. 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
  85. bd1d16a Implements strcasecmp() checker in Static Analyzer. by Lenny Maiorani · 13 years ago
  86. 28bbe4b Parsing/AST support for Structured Exception Handling by John Wiegley · 13 years ago
  87. 21ff2e5 Implementation of Embarcadero array type traits by John Wiegley · 13 years ago
  88. 4d8d803 More accurately model realloc() when the size argument is 0. realloc() with a size of 0 is equivalent to free(). The memory region should be marked as free and not used again. by Lenny Maiorani · 13 years ago
  89. 6b4f567 Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without by Ted Kremenek · 13 years ago
  90. 357f6ee Implements the strncmp() checker just like the strcmp() checker, but with bounds. Requires LLVM svn r129582. by Lenny Maiorani · 13 years ago
  91. 5526220 t/clang/expr-traits by John Wiegley · 13 years ago
  92. c69a505 Remove unused STL header includes. by Jay Foad · 13 years ago
  93. e970c60 Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II. by Ted Kremenek · 13 years ago
  94. f05982b Make the VariadicMethodTypeChecker accept block pointers as Objective-C pointers. Fixes PR9746. by Anders Carlsson · 13 years ago
  95. 162e1c1 Support for C++11 (non-template) alias declarations. by Richard Smith · 13 years ago
  96. fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 13 years ago
  97. f111d93 C1X: implement generic selections by Peter Collingbourne · 13 years ago
  98. ad762fc Add support for C++0x's range-based for loops, as specified by the C++11 draft standard (N3291). by Richard Smith · 13 years ago
  99. 9281efe Teach VariadicMethodTypeChecker to not crash when processing methods declared in protocols. by Ted Kremenek · 13 years ago
  100. 1212f80 Fix another IdempotentOperationsChecker corner case when determining if an active block on the worklist by Ted Kremenek · 13 years ago