Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 9b80ceba0f930f84731c2b8c1df43f66cba762d0 / test / Analysis
  1. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 14 years ago
  2. 2597345 Fix rdar://8139785 "implement warning on dead expression in comma operator" by Argyrios Kyrtzidis · 14 years ago
  3. a274148 Pointers casted as integers still count as locations to SimpleSValuator, so don't crash if we do a funny thing like ((int)ptr)&1. Fixes PR7527. by Jordy Rose · 14 years ago
  4. eac4a00 Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL(). by Jordy Rose · 14 years ago
  5. 5ca129c Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 14 years ago
  6. 4d912b2 When a constant size array is casted to another type, its length should be scaled as well. by Jordy Rose · 14 years ago
  7. a006342 Add dead stores C++ test case that was previously asserting due to an by Ted Kremenek · 14 years ago
  8. c4a1437 Fix -analyze-display-progress (once again), this time with an additional regression test. by Ted Kremenek · 14 years ago
  9. 0b495cd A bug I've introduced in STDIN handling surfaced a few broken tests, fix them. by Benjamin Kramer · 14 years ago
  10. 0c2e8c8 Add check for illegal whence argument of fseek. by Zhongxing Xu · 14 years ago
  11. 7197d40 Don't depend on system headers in clang -cc1 tests. by Benjamin Kramer · 14 years ago
  12. 1860dc4 Revert "Tweak tests to hopefully fix include of limits.h on win32.", tweak fails on linux. by Daniel Dunbar · 14 years ago
  13. e9b5392 Tweak tests to hopefully fix include of limits.h on win32. by Daniel Dunbar · 14 years ago
  14. 3f8612b Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixes analyzer by Ted Kremenek · 14 years ago
  15. b4954a4 When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now. by Jordy Rose · 14 years ago
  16. 9a12685 If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash). by Jordy Rose · 14 years ago
  17. 43fdb7f Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is. by Jordy Rose · 14 years ago
  18. c580f2e Casting to void* or any other pointer-to-sizeless type (e.g. function pointers) causes a divide-by-zero error. Simple fix: check if the pointee type size is 0 and bail out early if it is. by Jordy Rose · 14 years ago
  19. ba0f61c Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 14 years ago
  20. 23d90f9 Add null stream check for more APIs. by Zhongxing Xu · 14 years ago
  21. a816615 Tweak stack address checker to report multiple cases where globals may reference stack memory. by Ted Kremenek · 14 years ago
  22. 551bd1f Rework StackAddrLeakChecker to find stores of stack memory addresses to global variables by Ted Kremenek · 14 years ago
  23. c196095 Add StreamChecker. This checker models and checks stream manipulation functions. by Zhongxing Xu · 14 years ago
  24. fcd783d Change AnalysisConsumer to analyze functions created by instantiantiating a macro. Fixes PR 7361. by Ted Kremenek · 14 years ago
  25. 9b14683 Merge StackAddrLeakChecker and ReturnStackAddressChecker. by Zhongxing Xu · 14 years ago
  26. 2c46458 Directly compare the StackFrameContext. This greatly simplifies logic and by Zhongxing Xu · 14 years ago
  27. 1622a54 Add a checker check if a global variable holds a local variable's address after by Zhongxing Xu · 14 years ago
  28. 43859f6 Catch free()s on non-regions and regions known to be not from malloc(), by checking the symbol type and memory space. by Jordy Rose · 14 years ago
  29. 5d55376 Assignments to reference variables shouldn't kill the variable. by Jordy Rose · 14 years ago
  30. fc61d94 CFG: add all LHS of assingments as lvalue. This improves support for C++ reference. Patch by Jordy. by Zhongxing Xu · 14 years ago
  31. a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 14 years ago
  32. a709b87 After conversations with Zhongxing Xu and Jordy Rose, refine the logic in by Ted Kremenek · 14 years ago
  33. 42c67bf Revert r105097. Thinking about a better fix. by Zhongxing Xu · 14 years ago
  34. bdfa85f Fix PR7218. Patch by Jordy Rose. by Zhongxing Xu · 14 years ago
  35. 32f9010 Discard qualifiers for ElementRegions so that a 'const' doesn't change the lookup semantics by Ted Kremenek · 14 years ago
  36. f0af777 Predefine the '__clang_analyzer__' macro when using '-analyze'. by Ted Kremenek · 14 years ago
  37. ab28099 CastSizeChecker checks when casting a malloc'ed symbolic region to type T, by Zhongxing Xu · 14 years ago
  38. d775c66 Update retain-release checker to understand changes to how 'super' is represented by Ted Kremenek · 14 years ago
  39. 3f64a0e Fix crash in CFG construction for 'break' statements appearing in statement expressions by Ted Kremenek · 14 years ago
  40. fadebba Don't add a null successor to a CFGBlock when the contents of an @synchronized statement is empty. by Ted Kremenek · 14 years ago
  41. 1c625f2 Turn -analyzer-inline-call on for C functions. This also fixed a bug that by Zhongxing Xu · 14 years ago
  42. 7b99d12 Make -analyzer-inline-call not a separate analysis. Instead it's a boolean by Zhongxing Xu · 14 years ago
  43. ed8afac Refactor the AnalysisConsumer to analyze functions after the whole by Zhongxing Xu · 14 years ago
  44. 862b24f Fix CFG crasher involving statement expressions reported in PR 6938. by Ted Kremenek · 14 years ago
  45. 48fb322 The second check point in the old test case was invalid. by Zhongxing Xu · 14 years ago
  46. 40ab43b Add test cases. by Zhongxing Xu · 14 years ago
  47. d617b85 Static analyzer: Don't crash when casting a symbolic region address to a float. Fixes PR 6854. by Ted Kremenek · 14 years ago
  48. 1b49d76 Fix PR 6844, a regression caused by the introduction of llvm_unreachable for the default by Ted Kremenek · 14 years ago
  49. 115c1b9 Fix CFG bug where bases of member expressions were not always evaluated in a lvalue context. Fixes <rdar://problem/7813989>. by Ted Kremenek · 14 years ago
  50. d4eea83 Improve diagnostics when we fail to convert from a source type to a by Douglas Gregor · 14 years ago
  51. 99d9838 Add static analyzer check for calls to 'pthread_once()' where the control-flow has by Ted Kremenek · 14 years ago
  52. 53eee7b Instead of counting totally diagnostics, split the count into a count by Chris Lattner · 14 years ago
  53. 974d97b Fix crash in StoreManager::CastRegion() when the base region is a type with 0 size. by Ted Kremenek · 14 years ago
  54. 68b9a59 Teach MemRegion::getBaseRegion() about ObjCIvarRegions. We want to treat by Ted Kremenek · 14 years ago
  55. 7b73b92 Always assume block-level expressions in the caller are alive when analyzing by Zhongxing Xu · 14 years ago
  56. 9618b85 Use the element type to compute the array size when the base region is a VarRegion. by Zhongxing Xu · 14 years ago
  57. 75a2d94 Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() where by Ted Kremenek · 14 years ago
  58. 4552ff0 RegionStore: specially handle loads from integer global variables declared 'const'. by Ted Kremenek · 14 years ago
  59. 8891c42 Change the analyzer to recognize (but ignore) assignments to isa. Fixes PR 6302. by Ted Kremenek · 14 years ago
  60. 8822f7c Improve diagnostics on incomplete implementation by Fariborz Jahanian · 14 years ago
  61. cfd8ea9 Fix NoReturnFunctionChecker to properly look at a function's type by Ted Kremenek · 14 years ago
  62. 452b84d Tweak null dereference diagnostics to give clearer diagnostics when by Ted Kremenek · 14 years ago
  63. 12182a0 Improve the diagnostics for the UndefinedAssignmentChecker when an by Ted Kremenek · 14 years ago
  64. 86d07a1 Add test case for <rdar://problem/7770737>. by Ted Kremenek · 14 years ago
  65. 8133716 Refactor argument checking in CallAndMessageChecker to be the same by Ted Kremenek · 14 years ago
  66. 091b588 Detect pass-by-value arguments that are structs that contain uninitialized data. by Ted Kremenek · 14 years ago
  67. ebd42f4 Tweak dead stores checker to not emit a warning when initialization by Ted Kremenek · 14 years ago
  68. c802378 Add use-after-free check to MallocChecker. by Zhongxing Xu · 14 years ago
  69. 2cfe28b When computing in AnalysisContext the variables referenced by Ted Kremenek · 14 years ago
  70. 57d3b76 When profiling Environment, also profile with AnalysisContext*, bacause by Zhongxing Xu · 14 years ago
  71. 97ccfa5 Add comments to test case. by Zhongxing Xu · 14 years ago
  72. 15f6b42 Register all parameters even if they didn't occur in the function body. by Zhongxing Xu · 14 years ago
  73. 06079d1 Add test case for inlining call analysis. by Zhongxing Xu · 14 years ago
  74. e3972a9 Enhance the unused ivar checker to not consider an ivar to be accidentally unused by Ted Kremenek · 14 years ago
  75. fc89323 Remove test case dependancy on platform headers. by Ted Kremenek · 14 years ago
  76. 381d1bf Add UnixAPIChecker, a meta checker to include various precondition checks for calls by Ted Kremenek · 14 years ago
  77. 8913220 Dead emit dead store warnings when assigning nil to an ObjC object by Ted Kremenek · 14 years ago
  78. 786cc72 Add test case for <rdar://problem/7242010>, which appears to have been fixed by Ted Kremenek · 14 years ago
  79. 6041111 Recognize attributes ns_returns_not_retained and cf_returns_not_retained by Ted Kremenek · 14 years ago
  80. 6418825 Add test case showing that a recursive block that captures a block pointer that by Ted Kremenek · 14 years ago
  81. 94fd0b8 Add simpler checker to check if variables captured by a block are uninitialized. by Ted Kremenek · 14 years ago
  82. 181cc3d Fix pr6293. If ptr is NULL, no operation is preformed. by Zhongxing Xu · 14 years ago
  83. 24c37ad Enhance RegionStore::InvalidateRegions() to correctly invalidate bindings by Ted Kremenek · 14 years ago
  84. 8ec4aac Fix lookup of fields from lazy bindings to check if the region is by Ted Kremenek · 14 years ago
  85. 36d02e0 Add support for binding and retrieving VarRegions in flat store. by Zhongxing Xu · 14 years ago
  86. 81861ab Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL. by Ted Kremenek · 15 years ago
  87. 4dc1566 Fix regression in RegionStore (from BasicStore) where static variables were not treated as being implicitly initialized to 0 (and instead were getting symbolicated). by Ted Kremenek · 15 years ago
  88. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
  89. cada305 Add test case showing the analyzer invalidates '__block' variables when the block is passed as an argument to an ObjC method. by Ted Kremenek · 15 years ago
  90. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 15 years ago
  91. 7909fc8 Rename -cc1 option '-warn-objc-missing-dealloc' to '-analyzer-check-objc-missing-dealloc'. by Ted Kremenek · 15 years ago
  92. fa15be4 Rename -cc1 option '-warn-objc-methodsigs' to '-analyzer-check-objc-methodsigs'. by Ted Kremenek · 15 years ago
  93. 2ade536 Rename -cc1 option '-warn-objc-unused-ivars' to '-analyzer-check-objc-unused-ivars'. by Ted Kremenek · 15 years ago
  94. cd9902b Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'. by Ted Kremenek · 15 years ago
  95. fb3f893 Rename -cc1 option '-warn-security-syntactic' to '-analyzer-check-security-syntactic'. by Ted Kremenek · 15 years ago
  96. 68ebd83 Add assorted test cases from PR 4172. by Ted Kremenek · 15 years ago
  97. 95a0112 Specially handle casts to 'void' in AdjustedReturnValueChecker. by Ted Kremenek · 15 years ago
  98. 40c37e1 static analyzer: handle casts of a function to a function pointer with by Ted Kremenek · 15 years ago
  99. 5b29065 Fix regression in RegionStore due to recent changes in by Ted Kremenek · 15 years ago
  100. f681704 Explicitly check for casts to double or complex types instead of possibly asserting in SValuator. by Ted Kremenek · 15 years ago