Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 7a17851eee37f933eb57a5af7e1a0eb455443f6a / test / Analysis
  1. b8d545c Update test cases. by Ted Kremenek · 14 years ago
  2. 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 14 years ago
  3. 0d6b0c0 [analyzer] Migrate CastSizeChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  4. 38c8fe7 Allow passing a list of comma separated checker names to -analyzer-checker, e.g: by Argyrios Kyrtzidis · 14 years ago
  5. 8be5b3a [analyzer] Migrate ArrayBoundChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  6. 6935579 [analyzer] Migrate ReturnPointerRangeChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  7. f226d18 Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors. Also teach Environment::getSVal() about OpaqueValueExprs. by Ted Kremenek · 14 years ago
  8. 21206d5 Implement a warning for known shift overflows on constant shift by Chandler Carruth · 14 years ago
  9. 0ef473f Add CStringChecker support for strncpy. Patch by Lenny Maiorani! by Ted Kremenek · 14 years ago
  10. be4242c Add CStringChecker support for strnlen. Patch by Lenny Maiorani! by Ted Kremenek · 14 years ago
  11. 6b12da9 Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel. by Ted Kremenek · 14 years ago
  12. e41721e Pass -fexceptions to all tests that use try/catch/throw. by Anders Carlsson · 14 years ago
  13. b14175a [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  14. 15e310a Warn about code that uses variables and functions with internal linkage by John McCall · 14 years ago
  15. 370e6e9 [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  16. 7ff07dc [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  17. b76fdf6 [analyzer] Disable a test until inlining CXXConstructExprs is fully investigated. by Argyrios Kyrtzidis · 14 years ago
  18. 4f20de1 [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  19. f4699d1 [analyzer] Fix a crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  20. 2d67b90 [analyzer] Use the new registration mechanism for the debugging info "checks". by Argyrios Kyrtzidis · 14 years ago
  21. 7dd445e [analyzer] Use the new registration mechanism on the non-path-sensitive-checkers: by Argyrios Kyrtzidis · 14 years ago
  22. 35001ca Enhance the array bounds checking to work for several other constructs, by Chandler Carruth · 14 years ago
  23. 56ca35d Change the representation of GNU ?: expressions to use a different expression by John McCall · 14 years ago
  24. a0125d8 Add trivial buffer overflow checking in Sema. by Ted Kremenek · 14 years ago
  25. 0b1ba62 [analyzer] Use the new registration mechanism on the apple checkers: by Argyrios Kyrtzidis · 14 years ago
  26. 23ade50 [analyzer] Use the new registration mechanism on some of the experimental internal checkers: by Argyrios Kyrtzidis · 14 years ago
  27. c9f2e0f [analyzer] Use the new registration mechanism on the IdempotentOperationChecker. by Argyrios Kyrtzidis · 14 years ago
  28. a0decc9 [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 14 years ago
  29. 027a6ab [analyzer] Use the new registration mechanism on some of the internal checks. These are: by Argyrios Kyrtzidis · 14 years ago
  30. 43dee22 [analyzer] Overhauling of the checker registration mechanism. by Argyrios Kyrtzidis · 14 years ago
  31. e8350c6 Fix edge case where we don't cull warnings in IdempotentOperationsChecker due to incomplete analysis of loops. by Ted Kremenek · 14 years ago
  32. b8b07b1 Handle 'UsingDirective' in CFGRecStmtDeclVisitor. by Ted Kremenek · 14 years ago
  33. 020c374 Teach the IdempotentOperations checker to ignore property setters. by Ted Kremenek · 14 years ago
  34. b715a7c Weaken the ObjCSelfInitChecker to only warn when one calls an 'init' method within an 'init' method. This is a temporary stop gap to avoid false positives while we investigate how to make it smarter. by Ted Kremenek · 14 years ago
  35. f9eb0ae Add test case for <rdar://problem/6888289>. by Ted Kremenek · 14 years ago
  36. 148849a static analyzer: Also invalidate instance variables of a receiver in a message expression, just as we do with parameters. by Ted Kremenek · 14 years ago
  37. f4e532b Don't emit a dead store for '++' operations unless it occurs with a return statement. We've never seen any other cases that were real bugs. by Ted Kremenek · 14 years ago
  38. 848ec83 Don't report dead stores on unreachable code paths. Fixes <rdar://problem/8405222>. by Ted Kremenek · 14 years ago
  39. ac518ec Add test case for PR 8646. by Ted Kremenek · 14 years ago
  40. b7ff4c6 analyzer, retain/release checker: Remove hack where objects passed in message to 'self' are no longer tracked. by Ted Kremenek · 14 years ago
  41. 0ca1040 [analyzer] Fix a false positive of the 'self' initialization checker. by Argyrios Kyrtzidis · 14 years ago
  42. c2e20d0 [analyzer] Fix a crash until we can handle temporary struct objects properly. by Argyrios Kyrtzidis · 14 years ago
  43. bf5c3ac Add test case for dead stores checker to not flag dead assignments to 'self' within a nested assignment. by Ted Kremenek · 14 years ago
  44. 0e2dc3a Warn for "if ((a == b))" where the equality expression is needlessly wrapped inside parentheses. by Argyrios Kyrtzidis · 14 years ago
  45. 11fe175 Wire up attributes 'ns_consumed' and 'cf_consumed' in the static analyzer's ObjC retain/release checker. by Ted Kremenek · 14 years ago
  46. 9319b56 [analyzer] Fix crash when handling dot syntax on 'super'. by Argyrios Kyrtzidis · 14 years ago
  47. 12b9434 Hook up attribute ns_consumes_self in the ObjC retain/release checker in the static analyzer. by Ted Kremenek · 14 years ago
  48. bd5a94e [analyzer] Enable the self-init checker under command-line option '-analyzer-check-objc-self-init' which by default by Argyrios Kyrtzidis · 14 years ago
  49. 4717f16 [analyzer] Improve the diagnostic for the self-init checker. Suggestion by Ted! by Argyrios Kyrtzidis · 14 years ago
  50. eaf969b [analyzer] Do the self-init check only on NSObject subclasses. Patch by Jean-Daniel Dupas! by Argyrios Kyrtzidis · 14 years ago
  51. f6a19fb Don't try and symbolicate unions; we don't reason by Ted Kremenek · 14 years ago
  52. 937596f Tweak wording of static analyzer diagnostic by Ted Kremenek · 14 years ago
  53. d6b8de0 Change the wording of the bad-decl-for-attribute warning and error by John McCall · 14 years ago
  54. c7ad381 Add the ns_consumes_self, ns_consumed, cf_consumed, and ns_returns_autoreleased by John McCall · 14 years ago
  55. 14429b9 [analyzer] Handle the dot syntax for properties in the ExprEngine. by Argyrios Kyrtzidis · 14 years ago
  56. 14cc945 Enhance AnalysisConsumer to also visit functions by Ted Kremenek · 14 years ago
  57. d4f482a Teach RegionStore::EnterStackFrame() to handle by Ted Kremenek · 14 years ago
  58. 56b1f71 Remove warning in dead stores checker for by Ted Kremenek · 14 years ago
  59. e17da65 CXXBaseObjectRegion is like FieldRegion. Need to blast through it when by Zhongxing Xu · 14 years ago
  60. d074441 Support inlining base initializers. We still haven't got it completely right, by Zhongxing Xu · 14 years ago
  61. 0932360 Fix a corner case in RegionStore where we assign by Ted Kremenek · 14 years ago
  62. d7a31ba [analyzer] Introduce ObjCSelfInitChecker, which checks initialization methods to verify that they assign 'self' to the by Argyrios Kyrtzidis · 14 years ago
  63. 27c54e5 Rework ExprEngine::processCFGBlockEntrance() by Ted Kremenek · 14 years ago
  64. f9d3cbb In C++, assignment and compound assignment operators return an lvalue. by Zhongxing Xu · 14 years ago
  65. 112c330 Fold -fobjc-nonfragile-abi2 into -fobjc-nonfragile-abi. // rdar://8818375 by Fariborz Jahanian · 14 years ago
  66. a6b0b96 Add basic support for pointer arithmetic in by Ted Kremenek · 14 years ago
  67. 15a467e It's amazing what you find when you actually by Ted Kremenek · 14 years ago
  68. c478a14 Add WIP prototype of a new buffer overflow by Ted Kremenek · 14 years ago
  69. 250704b If the unary operator is prefix and an lvalue (in C++), bind by Zhongxing Xu · 14 years ago
  70. 05e5391 After inlining the CXXConstructExpr, bind the temporary object region to it. by Zhongxing Xu · 14 years ago
  71. f45fbad If the initializer is an rvalue and the variable is a const reference, by Zhongxing Xu · 14 years ago
  72. 5eef59e Fix assertion failure in cocoa::deriveNamingConvention() by Ted Kremenek · 14 years ago
  73. af86b0c Revise Cocoa conventions detection: 'copy' and 'mutableCopy' by Ted Kremenek · 14 years ago
  74. 1bc80af Do lvalue-to-rvalue conversions on the LHS of a shift operator. by John McCall · 14 years ago
  75. 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
  76. 83300e8 Add test case for r120795. by Ted Kremenek · 14 years ago
  77. 26e10be Follow through references to catch returned stack addresses, local blocks, label addresses or references to temporaries, e.g: by Argyrios Kyrtzidis · 14 years ago
  78. d976ca4 Revert r120331 since it causes spurious warnings and a possible assertion hit when self-host. by Argyrios Kyrtzidis · 14 years ago
  79. 8b2f01b Emit warnings if we are returning a reference to a local temporary. by Argyrios Kyrtzidis · 14 years ago
  80. 4fd5681 Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion. by Zhongxing Xu · 14 years ago
  81. 0e38d5d handle CXXFunctionalCastExpr in visitLValue and Environment. by Zhongxing Xu · 14 years ago
  82. 3230302 When getting CXXThisRegion from CXXMethodDecl, use the qualifiers. This is by Zhongxing Xu · 14 years ago
  83. 99cae5b Fix PR8419. Reviewed by kremenek and xuzhongxing. by Zhanyong Wan · 14 years ago
  84. b13453b Handle CFGAutomaticObjDtor. by Zhongxing Xu · 14 years ago
  85. b12fbc2 Static analyzer: Catch calls to malloc() with allocation sizes of 0 bytes. by Ted Kremenek · 14 years ago
  86. 9dc84c9 Handle member initializer in C++ ctor. by Zhongxing Xu · 14 years ago
  87. e4ae4dc Remove invalid assertion from CFG builder. When building the CFG pieces for a ternary '?' expression, by Ted Kremenek · 14 years ago
  88. 948163b Relax assertion in SValuator so that we don't crash when analyzing a call via a function pointer that by Ted Kremenek · 14 years ago
  89. 249c945 Revert r118991. by Zhongxing Xu · 14 years ago
  90. 9a4084d Do not add implicit dtors for CXXBindTemporaryExpr with elidable by Zhongxing Xu · 14 years ago
  91. 29836f9 RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete addresses; instead return UnknownVal. This by Ted Kremenek · 14 years ago
  92. bb0ba0b Teach AttrNonNullChecker about transparent unions. Fixes crash reported in <rdar://problem/8642434>. by Ted Kremenek · 14 years ago
  93. 96ede77 fix test case. by Zhongxing Xu · 14 years ago
  94. 8599e76 Added generating destructors for temporary objects. Two cases I know of, that are not handled properly: by Marcin Swiderski · 14 years ago
  95. 73a48ad Make my test case test what it meant to by Douglas Gregor · 14 years ago
  96. 90d26a4 Teach the CStringChecker and PthreadLockChecker about non-identifier by Douglas Gregor · 14 years ago
  97. 7ce351d Now initializer of C++ record type is visited as block-level expr. by Zhongxing Xu · 14 years ago
  98. 81bc7d0 Make all CXXConstructExpr's block-level expressions. This is required by by Zhongxing Xu · 14 years ago
  99. 739830d Make Clang static analyzer skip function template definitions. This fixes Clang PR 8426, 8427, & 8433. Reviewed by Ted Kremenek and Doug Gregor. by Zhanyong Wan · 14 years ago
  100. 74faec2 Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically false positives). by Ted Kremenek · 14 years ago