Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 5ccfdd8d215c7bf324a14523c71ed328325c2bc8 / test / Analysis
  1. 9b14683 Merge StackAddrLeakChecker and ReturnStackAddressChecker. by Zhongxing Xu · 14 years ago
  2. 2c46458 Directly compare the StackFrameContext. This greatly simplifies logic and by Zhongxing Xu · 14 years ago
  3. 1622a54 Add a checker check if a global variable holds a local variable's address after by Zhongxing Xu · 14 years ago
  4. 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
  5. 5d55376 Assignments to reference variables shouldn't kill the variable. by Jordy Rose · 14 years ago
  6. fc61d94 CFG: add all LHS of assingments as lvalue. This improves support for C++ reference. Patch by Jordy. by Zhongxing Xu · 14 years ago
  7. a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 14 years ago
  8. a709b87 After conversations with Zhongxing Xu and Jordy Rose, refine the logic in by Ted Kremenek · 14 years ago
  9. 42c67bf Revert r105097. Thinking about a better fix. by Zhongxing Xu · 14 years ago
  10. bdfa85f Fix PR7218. Patch by Jordy Rose. by Zhongxing Xu · 14 years ago
  11. 32f9010 Discard qualifiers for ElementRegions so that a 'const' doesn't change the lookup semantics by Ted Kremenek · 14 years ago
  12. f0af777 Predefine the '__clang_analyzer__' macro when using '-analyze'. by Ted Kremenek · 14 years ago
  13. ab28099 CastSizeChecker checks when casting a malloc'ed symbolic region to type T, by Zhongxing Xu · 14 years ago
  14. d775c66 Update retain-release checker to understand changes to how 'super' is represented by Ted Kremenek · 14 years ago
  15. 3f64a0e Fix crash in CFG construction for 'break' statements appearing in statement expressions by Ted Kremenek · 14 years ago
  16. 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
  17. 1c625f2 Turn -analyzer-inline-call on for C functions. This also fixed a bug that by Zhongxing Xu · 14 years ago
  18. 7b99d12 Make -analyzer-inline-call not a separate analysis. Instead it's a boolean by Zhongxing Xu · 14 years ago
  19. ed8afac Refactor the AnalysisConsumer to analyze functions after the whole by Zhongxing Xu · 14 years ago
  20. 862b24f Fix CFG crasher involving statement expressions reported in PR 6938. by Ted Kremenek · 14 years ago
  21. 48fb322 The second check point in the old test case was invalid. by Zhongxing Xu · 14 years ago
  22. 40ab43b Add test cases. by Zhongxing Xu · 14 years ago
  23. d617b85 Static analyzer: Don't crash when casting a symbolic region address to a float. Fixes PR 6854. by Ted Kremenek · 14 years ago
  24. 1b49d76 Fix PR 6844, a regression caused by the introduction of llvm_unreachable for the default by Ted Kremenek · 14 years ago
  25. 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
  26. d4eea83 Improve diagnostics when we fail to convert from a source type to a by Douglas Gregor · 14 years ago
  27. 99d9838 Add static analyzer check for calls to 'pthread_once()' where the control-flow has by Ted Kremenek · 14 years ago
  28. 53eee7b Instead of counting totally diagnostics, split the count into a count by Chris Lattner · 14 years ago
  29. 974d97b Fix crash in StoreManager::CastRegion() when the base region is a type with 0 size. by Ted Kremenek · 14 years ago
  30. 68b9a59 Teach MemRegion::getBaseRegion() about ObjCIvarRegions. We want to treat by Ted Kremenek · 14 years ago
  31. 7b73b92 Always assume block-level expressions in the caller are alive when analyzing by Zhongxing Xu · 14 years ago
  32. 9618b85 Use the element type to compute the array size when the base region is a VarRegion. by Zhongxing Xu · 14 years ago
  33. 75a2d94 Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() where by Ted Kremenek · 14 years ago
  34. 4552ff0 RegionStore: specially handle loads from integer global variables declared 'const'. by Ted Kremenek · 14 years ago
  35. 8891c42 Change the analyzer to recognize (but ignore) assignments to isa. Fixes PR 6302. by Ted Kremenek · 14 years ago
  36. 8822f7c Improve diagnostics on incomplete implementation by Fariborz Jahanian · 14 years ago
  37. cfd8ea9 Fix NoReturnFunctionChecker to properly look at a function's type by Ted Kremenek · 14 years ago
  38. 452b84d Tweak null dereference diagnostics to give clearer diagnostics when by Ted Kremenek · 14 years ago
  39. 12182a0 Improve the diagnostics for the UndefinedAssignmentChecker when an by Ted Kremenek · 14 years ago
  40. 86d07a1 Add test case for <rdar://problem/7770737>. by Ted Kremenek · 14 years ago
  41. 8133716 Refactor argument checking in CallAndMessageChecker to be the same by Ted Kremenek · 14 years ago
  42. 091b588 Detect pass-by-value arguments that are structs that contain uninitialized data. by Ted Kremenek · 14 years ago
  43. ebd42f4 Tweak dead stores checker to not emit a warning when initialization by Ted Kremenek · 14 years ago
  44. c802378 Add use-after-free check to MallocChecker. by Zhongxing Xu · 14 years ago
  45. 2cfe28b When computing in AnalysisContext the variables referenced by Ted Kremenek · 14 years ago
  46. 57d3b76 When profiling Environment, also profile with AnalysisContext*, bacause by Zhongxing Xu · 14 years ago
  47. 97ccfa5 Add comments to test case. by Zhongxing Xu · 14 years ago
  48. 15f6b42 Register all parameters even if they didn't occur in the function body. by Zhongxing Xu · 14 years ago
  49. 06079d1 Add test case for inlining call analysis. by Zhongxing Xu · 14 years ago
  50. e3972a9 Enhance the unused ivar checker to not consider an ivar to be accidentally unused by Ted Kremenek · 15 years ago
  51. fc89323 Remove test case dependancy on platform headers. by Ted Kremenek · 15 years ago
  52. 381d1bf Add UnixAPIChecker, a meta checker to include various precondition checks for calls by Ted Kremenek · 15 years ago
  53. 8913220 Dead emit dead store warnings when assigning nil to an ObjC object by Ted Kremenek · 15 years ago
  54. 786cc72 Add test case for <rdar://problem/7242010>, which appears to have been fixed by Ted Kremenek · 15 years ago
  55. 6041111 Recognize attributes ns_returns_not_retained and cf_returns_not_retained by Ted Kremenek · 15 years ago
  56. 6418825 Add test case showing that a recursive block that captures a block pointer that by Ted Kremenek · 15 years ago
  57. 94fd0b8 Add simpler checker to check if variables captured by a block are uninitialized. by Ted Kremenek · 15 years ago
  58. 181cc3d Fix pr6293. If ptr is NULL, no operation is preformed. by Zhongxing Xu · 15 years ago
  59. 24c37ad Enhance RegionStore::InvalidateRegions() to correctly invalidate bindings by Ted Kremenek · 15 years ago
  60. 8ec4aac Fix lookup of fields from lazy bindings to check if the region is by Ted Kremenek · 15 years ago
  61. 36d02e0 Add support for binding and retrieving VarRegions in flat store. by Zhongxing Xu · 15 years ago
  62. 81861ab Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL. by Ted Kremenek · 15 years ago
  63. 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
  64. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
  65. 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
  66. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 15 years ago
  67. 7909fc8 Rename -cc1 option '-warn-objc-missing-dealloc' to '-analyzer-check-objc-missing-dealloc'. by Ted Kremenek · 15 years ago
  68. fa15be4 Rename -cc1 option '-warn-objc-methodsigs' to '-analyzer-check-objc-methodsigs'. by Ted Kremenek · 15 years ago
  69. 2ade536 Rename -cc1 option '-warn-objc-unused-ivars' to '-analyzer-check-objc-unused-ivars'. by Ted Kremenek · 15 years ago
  70. cd9902b Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'. by Ted Kremenek · 15 years ago
  71. fb3f893 Rename -cc1 option '-warn-security-syntactic' to '-analyzer-check-security-syntactic'. by Ted Kremenek · 15 years ago
  72. 68ebd83 Add assorted test cases from PR 4172. by Ted Kremenek · 15 years ago
  73. 95a0112 Specially handle casts to 'void' in AdjustedReturnValueChecker. by Ted Kremenek · 15 years ago
  74. 40c37e1 static analyzer: handle casts of a function to a function pointer with by Ted Kremenek · 15 years ago
  75. 5b29065 Fix regression in RegionStore due to recent changes in by Ted Kremenek · 15 years ago
  76. f681704 Explicitly check for casts to double or complex types instead of possibly asserting in SValuator. by Ted Kremenek · 15 years ago
  77. 61e8e1b Fix bug in GRExprEngine::VisitSizeOfAlignOfExpr() where we do not add by Ted Kremenek · 15 years ago
  78. fee9081 Teach RegionStore to handle initialization of incomplete arrays in structures using a compound value. Fixes <rdar://problem/7515938>. by Ted Kremenek · 15 years ago
  79. 4617191 Insulate these from changes to the default for -Wunreachable-code. by Mike Stump · 15 years ago
  80. 45eb406 Add test case. by Zhongxing Xu · 15 years ago
  81. 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 15 years ago
  82. 425c7ed Add test case for pr6069. by Zhongxing Xu · 15 years ago
  83. 88c8bc8 Don't suggest the developer use 'arc4random' instead of 'rand' when that function is not available. Fixes PR 6012. by Ted Kremenek · 15 years ago
  84. c213b48 Teach BugReporter to "escape" the occurance of '%' characters in diagnostic messages when emitted results to the standard Diagnostics output. Fixes PR 6033. by Ted Kremenek · 15 years ago
  85. 33ec2f8 Simplify test case. This test case also applies to PR 6013. by Ted Kremenek · 15 years ago
  86. 74618de Associate test case with Bugzilla PR. by Ted Kremenek · 15 years ago
  87. 7b81e8f Fix pr6035. by Zhongxing Xu · 15 years ago
  88. 7ef655a implement PR6004, warning about divide and remainder by zero. by Chris Lattner · 15 years ago
  89. 951b334 Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes. by Zhongxing Xu · 15 years ago
  90. 604848a Enhance SVals::getAsRegion: get the region that is converted to an integer. by Zhongxing Xu · 15 years ago
  91. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
  92. 36fcde0 Make sure this test case tests analyzing both x86_64 and i386 archs. by Ted Kremenek · 15 years ago
  93. 3cd8bd4 Enhance test case. by Zhongxing Xu · 15 years ago
  94. 4a749b9 Fix overzealous assertion in GRExprEngine::VisitLValue(). A by Ted Kremenek · 15 years ago
  95. e030358 add a bunch of missing prototypes to tests by Chris Lattner · 15 years ago
  96. 7960ec3 Fix broken diagnostic when returning the address of a stack-allocated array. by Ted Kremenek · 15 years ago
  97. bc37b8d When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 15 years ago
  98. 48569f9 Fix handling in GRExprEngine of 'default' branch in switch statements by Ted Kremenek · 15 years ago
  99. 6607aca Move test case to a more appropriate file. by Zhongxing Xu · 15 years ago
  100. 0d1847d Add test case. by Zhongxing Xu · 15 years ago