Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / cd480ad90ff4c144084805761d2dfa52ee9e1c92 / test / Analysis
  1. a87b1eb add test case. by Zhongxing Xu · 14 years ago
  2. b6a4026 When checking if a buffer access is valid, first make sure the buffer has a valid Loc. Fixes PR7830. by Jordy Rose · 14 years ago
  3. 0600918 Fixed logic error in UnreachableCodeChecker's marking algorithm that would sometimes allow for multiple sequential statements to be flagged. by Tom Care · 14 years ago
  4. 4019c4f Correctly handle 'Class<...>' when examining Cocoa conventions in the static analyzer. Fixes a crash reported in <rdar://problem/8272168>. Patch by Henry Mason! by Ted Kremenek · 14 years ago
  5. 68957a9 Teach SemaChecking::CheckReturnStackAddr about ImplicitCastExprs that convert values to an lvalue. This allows us to warn (again) about returning references to stack variables. (fixes PR 7812). by Ted Kremenek · 14 years ago
  6. 074ae35 Fix idempotent operations false positive caused by ivars not being invalidated in function by Ted Kremenek · 14 years ago
  7. 8077638 Add test case for <rdar://problem/8258814>. by Ted Kremenek · 14 years ago
  8. 7caf9b3 Improve flat store: MemRegion::getAsOffset() computes a region's offset within by Zhongxing Xu · 14 years ago
  9. b60a77e Only run the jump-checker if there's a branch-protected scope *and* there's by John McCall · 14 years ago
  10. dd0e490 After a lengthy design discussion, add support for "ownership attributes" for malloc/free checking. Patch by Andrew McGregor! by Ted Kremenek · 14 years ago
  11. d85770b Test case for PR7763. by Tom Care · 14 years ago
  12. 23b736e Move new test (that requires RegionStore) into its own file. by Jordy Rose · 14 years ago
  13. 167cc37 Use a LazyCompoundVal to handle initialization with a string literal, rather than copying each character. by Jordy Rose · 14 years ago
  14. 741b9be Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675. by Ted Kremenek · 14 years ago
  15. 281e9dc Augment RegionStore::BindStruct() to bind symbolicated struct values. This fixes a false path issue reported in <rdar://problem/8243408> and also spurs another cause where the idempotent operations checker fires. by Ted Kremenek · 14 years ago
  16. 7bce3a1 Added some false positive checking to UnreachableCodeChecker by Tom Care · 14 years ago
  17. 3e5637f Finesse 'idempotent operations' analyzer issues to include the opcode of the binary operator for clearer error reporting. Also remove the 'Idempotent operation' prefix in messages; it's redundant since the bug type is the same. by Ted Kremenek · 14 years ago
  18. 5e04bdd Don't warn about unreachable code if the block starts with __builtin_unreachable(). by Jordy Rose · 14 years ago
  19. 19c5dd1 Groundwork for C string length tracking. Currently only handles the length of constant string literals, which is not too helpful, and only calls to strlen() are checked. by Jordy Rose · 14 years ago
  20. c4b5bd8 Added an path-sensitive unreachable code checker to the experimental analyzer checks. by Tom Care · 14 years ago
  21. 766c201 Add FILE* leak check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  22. 47dc37f This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  23. c6a36ff fix test case. by Zhongxing Xu · 14 years ago
  24. 9843ba9 Add double close check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  25. cb07788 Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by removing a bogus assertion. by Ted Kremenek · 14 years ago
  26. 4532931 Fix APFloat assertion failure in IdempotentOperationChecker resulting in having by Ted Kremenek · 14 years ago
  27. df4ca42 Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options. by Tom Care · 14 years ago
  28. 184aa4e fix PR7280 by making the warning on code like this: by Chris Lattner · 14 years ago
  29. d325ffb Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes. by Jordy Rose · 14 years ago
  30. bc56d1f Add memcmp() and bcmp() to CStringChecker. These check for valid access to the buffer arguments and have a special-case for when the buffer arguments are known to be the same address, or when the size is zero. by Jordy Rose · 14 years ago
  31. a6b808c Cleanup on CStringChecker and its associated tests. Also check for null arguments...which are allowed if the access length is 0! by Jordy Rose · 14 years ago
  32. 8b5dec3 implement PR7569, warning about assignment to null, which by Chris Lattner · 14 years ago
  33. 925198d Fix idempotent operations test command line arguments. by Tom Care · 14 years ago
  34. ccbf7ee Add a new path-sensitive checker for functions in <string.h>, for both null-terminated strings and memory blocks. Currently only checks memcpy(), memmove(), and bcopy(), but this is intended to be expanded soon. by Jordy Rose · 14 years ago
  35. db2fa8a Added a path-sensitive idempotent operation checker (-analyzer-idempotent-operation). Finds idempotent and/or tautological operations in a path sensitive context, flagging operations that have no effect or a predictable effect. by Tom Care · 14 years ago
  36. b829d72 Oops, tabs --> spaces in test. by Jordy Rose · 14 years ago
  37. 61fb55c Improve NULL-checking for CFRetain/CFRelease. We now remember that the argument was non-NULL, and we report where the null assumption came from (like AttrNonNullChecker already did). by Jordy Rose · 14 years ago
  38. b7e3aab Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still unimplemented. A VLA region's sizeof value matches its extent. by Jordy Rose · 14 years ago
  39. 52e04c5 Track extents for VLAs. by Jordy Rose · 14 years ago
  40. 32f2656 Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals. by Jordy Rose · 14 years ago
  41. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 14 years ago
  42. 2597345 Fix rdar://8139785 "implement warning on dead expression in comma operator" by Argyrios Kyrtzidis · 14 years ago
  43. 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
  44. eac4a00 Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL(). by Jordy Rose · 14 years ago
  45. 5ca129c Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 14 years ago
  46. 4d912b2 When a constant size array is casted to another type, its length should be scaled as well. by Jordy Rose · 14 years ago
  47. a006342 Add dead stores C++ test case that was previously asserting due to an by Ted Kremenek · 14 years ago
  48. c4a1437 Fix -analyze-display-progress (once again), this time with an additional regression test. by Ted Kremenek · 14 years ago
  49. 0b495cd A bug I've introduced in STDIN handling surfaced a few broken tests, fix them. by Benjamin Kramer · 14 years ago
  50. 0c2e8c8 Add check for illegal whence argument of fseek. by Zhongxing Xu · 14 years ago
  51. 7197d40 Don't depend on system headers in clang -cc1 tests. by Benjamin Kramer · 14 years ago
  52. 1860dc4 Revert "Tweak tests to hopefully fix include of limits.h on win32.", tweak fails on linux. by Daniel Dunbar · 14 years ago
  53. e9b5392 Tweak tests to hopefully fix include of limits.h on win32. by Daniel Dunbar · 14 years ago
  54. 3f8612b Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixes analyzer by Ted Kremenek · 14 years ago
  55. 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
  56. 9a12685 If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash). by Jordy Rose · 14 years ago
  57. 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
  58. 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
  59. ba0f61c Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 14 years ago
  60. 23d90f9 Add null stream check for more APIs. by Zhongxing Xu · 14 years ago
  61. a816615 Tweak stack address checker to report multiple cases where globals may reference stack memory. by Ted Kremenek · 14 years ago
  62. 551bd1f Rework StackAddrLeakChecker to find stores of stack memory addresses to global variables by Ted Kremenek · 14 years ago
  63. c196095 Add StreamChecker. This checker models and checks stream manipulation functions. by Zhongxing Xu · 14 years ago
  64. fcd783d Change AnalysisConsumer to analyze functions created by instantiantiating a macro. Fixes PR 7361. by Ted Kremenek · 14 years ago
  65. 9b14683 Merge StackAddrLeakChecker and ReturnStackAddressChecker. by Zhongxing Xu · 14 years ago
  66. 2c46458 Directly compare the StackFrameContext. This greatly simplifies logic and by Zhongxing Xu · 14 years ago
  67. 1622a54 Add a checker check if a global variable holds a local variable's address after by Zhongxing Xu · 14 years ago
  68. 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
  69. 5d55376 Assignments to reference variables shouldn't kill the variable. by Jordy Rose · 14 years ago
  70. fc61d94 CFG: add all LHS of assingments as lvalue. This improves support for C++ reference. Patch by Jordy. by Zhongxing Xu · 14 years ago
  71. a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 14 years ago
  72. a709b87 After conversations with Zhongxing Xu and Jordy Rose, refine the logic in by Ted Kremenek · 14 years ago
  73. 42c67bf Revert r105097. Thinking about a better fix. by Zhongxing Xu · 14 years ago
  74. bdfa85f Fix PR7218. Patch by Jordy Rose. by Zhongxing Xu · 14 years ago
  75. 32f9010 Discard qualifiers for ElementRegions so that a 'const' doesn't change the lookup semantics by Ted Kremenek · 14 years ago
  76. f0af777 Predefine the '__clang_analyzer__' macro when using '-analyze'. by Ted Kremenek · 14 years ago
  77. ab28099 CastSizeChecker checks when casting a malloc'ed symbolic region to type T, by Zhongxing Xu · 14 years ago
  78. d775c66 Update retain-release checker to understand changes to how 'super' is represented by Ted Kremenek · 14 years ago
  79. 3f64a0e Fix crash in CFG construction for 'break' statements appearing in statement expressions by Ted Kremenek · 14 years ago
  80. 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
  81. 1c625f2 Turn -analyzer-inline-call on for C functions. This also fixed a bug that by Zhongxing Xu · 14 years ago
  82. 7b99d12 Make -analyzer-inline-call not a separate analysis. Instead it's a boolean by Zhongxing Xu · 14 years ago
  83. ed8afac Refactor the AnalysisConsumer to analyze functions after the whole by Zhongxing Xu · 15 years ago
  84. 862b24f Fix CFG crasher involving statement expressions reported in PR 6938. by Ted Kremenek · 15 years ago
  85. 48fb322 The second check point in the old test case was invalid. by Zhongxing Xu · 15 years ago
  86. 40ab43b Add test cases. by Zhongxing Xu · 15 years ago
  87. d617b85 Static analyzer: Don't crash when casting a symbolic region address to a float. Fixes PR 6854. by Ted Kremenek · 15 years ago
  88. 1b49d76 Fix PR 6844, a regression caused by the introduction of llvm_unreachable for the default by Ted Kremenek · 15 years ago
  89. 115c1b9 Fix CFG bug where bases of member expressions were not always evaluated in a lvalue context. Fixes <rdar://problem/7813989>. by Ted Kremenek · 15 years ago
  90. d4eea83 Improve diagnostics when we fail to convert from a source type to a by Douglas Gregor · 15 years ago
  91. 99d9838 Add static analyzer check for calls to 'pthread_once()' where the control-flow has by Ted Kremenek · 15 years ago
  92. 53eee7b Instead of counting totally diagnostics, split the count into a count by Chris Lattner · 15 years ago
  93. 974d97b Fix crash in StoreManager::CastRegion() when the base region is a type with 0 size. by Ted Kremenek · 15 years ago
  94. 68b9a59 Teach MemRegion::getBaseRegion() about ObjCIvarRegions. We want to treat by Ted Kremenek · 15 years ago
  95. 7b73b92 Always assume block-level expressions in the caller are alive when analyzing by Zhongxing Xu · 15 years ago
  96. 9618b85 Use the element type to compute the array size when the base region is a VarRegion. by Zhongxing Xu · 15 years ago
  97. 75a2d94 Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() where by Ted Kremenek · 15 years ago
  98. 4552ff0 RegionStore: specially handle loads from integer global variables declared 'const'. by Ted Kremenek · 15 years ago
  99. 8891c42 Change the analyzer to recognize (but ignore) assignments to isa. Fixes PR 6302. by Ted Kremenek · 15 years ago
  100. 8822f7c Improve diagnostics on incomplete implementation by Fariborz Jahanian · 15 years ago