Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 5cca53e5beeb6ec14e03327f0fd4e5ff318834d6 / test / Analysis
  1. 6648e5d "Fix" bogus idempotent operations warning due to loop unrolling not unrolling enough loops to show that an invariant by Ted Kremenek · 14 years ago
  2. abf517c Tweak retain/release checker diagnostics to specify a leak occurs because an object is not referenced later in the path, by Ted Kremenek · 14 years ago
  3. 1c9e6b1 Add experimental chroot check which checks improper use of chroot(). Patch by by Zhongxing Xu · 14 years ago
  4. 4895b9c UnreachableCodeChecker cleanup and improvements by Tom Care · 14 years ago
  5. 7c625d8 Added support for base and member destructors in destructor. by Marcin Swiderski · 14 years ago
  6. 82bc3fd Added support for C++ initializers in CFG. by Marcin Swiderski · 14 years ago
  7. 0e97bcb Added generating CFGAutomaticObjDtors for exception variable in catch statement. by Marcin Swiderski · 14 years ago
  8. 47575f1 Added generating CFGAutomaticObjDtors for init statement, condition variable and implicit scope in for statement. by Marcin Swiderski · 14 years ago
  9. 8ae6058 dded generating CFGAutomaticObjDtors for condition variable and implicit scopes in switch statement. by Marcin Swiderski · 14 years ago
  10. 05adedc Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in while and do statements. by Marcin Swiderski · 14 years ago
  11. 04e046c Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in if statement. by Marcin Swiderski · 14 years ago
  12. fcb72ac Added: by Marcin Swiderski · 14 years ago
  13. 6123874 Tweak nil receiver checker to not warning about 64-bit return values. by Ted Kremenek · 14 years ago
  14. 1b2ad2f Revert r114316, -Wunused-value enabled by default was intended. by Argyrios Kyrtzidis · 14 years ago
  15. 6dff228 Make -Wunused-value off by default, matching GCC. Fixes rdar://7126194. by Argyrios Kyrtzidis · 14 years ago
  16. 8f3b834 Relax assertion in CFG builder when processing ForStmts. This fixes an assertion failure by Ted Kremenek · 14 years ago
  17. 02282ac Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as by Ted Kremenek · 14 years ago
  18. 555c77a Don't divide-by-zero in RegionStoreManager::getSizeInElements() when getting the size of a VLA. We don't track VLA extents yet, by Ted Kremenek · 14 years ago
  19. 44f8ef1 Fix CFGBuilder crash reported in PR 8141. by Ted Kremenek · 14 years ago
  20. 0853c7f Polish diagnostics for null dereferences via ObjC ivar accesses. Finishes up <rdar://problem/6352035>. by Ted Kremenek · 14 years ago
  21. 4f6aa77 Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex can be nil by Ted Kremenek · 14 years ago
  22. 52d861c Added AnalyzerStatsChecker, a path sensitive check that reports visitation statistics about analysis. Running clang with the -analyzer-stats flag will emit warnings containing the information. We can then run a postanalysis script to take this data and give useful information about how much the analyzer missed in a project. by Tom Care · 14 years ago
  23. 818b433 Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 14 years ago
  24. 61f52bd Use FindReportInEquivalenceClass to identify all the nodes used for the trimmed graph (in BugReporter). This fixes a problem where a leak that happened to occur on both an exit() path and a non-exit() path was getting reported with the exit() path (which users don't care about). by Ted Kremenek · 14 years ago
  25. 96ebad6 Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). by Ted Kremenek · 14 years ago
  26. 977a58a Include test case for <rdar://problem/5880430>. by Ted Kremenek · 14 years ago
  27. 8205c1a Put the tautological-comparison-of-unsigned-against-zero warnings in by John McCall · 14 years ago
  28. c79f767 tests: Use -ffreestanding when including stdint.h, to avoid platform dependencies. by Daniel Dunbar · 14 years ago
  29. 02b49bb Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic. by Ted Kremenek · 14 years ago
  30. 84c24ed Re-enabled truncation/extension checking in IdempotentOperationChecker and added a test case. by Tom Care · 14 years ago
  31. 58f9e13 make clang print types as "const int *" instead of "int const*", by Chris Lattner · 14 years ago
  32. 5d1d7ae Get rid of the "functions declared 'noreturn' should have a 'void' result type" warning. by Anders Carlsson · 14 years ago
  33. 40bfbbc sabre points out that the timing here is pretty pessimal; I'll retry the by John McCall · 14 years ago
  34. 51b0a52 Experimentally move the tautological comparison warnings from -Wsign-compare by John McCall · 14 years ago
  35. 6610e7e Tweak test case. 'int' would introduce out-of-bound issues. We focus on array by Zhongxing Xu · 14 years ago
  36. 79d7304 For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE. Now StoreE (const Stmt*) represents the expression where the store took place, which is the assignment expression if it takes place in an assignment. This removes some conceptual dissidence as well as removes an extra parameter from the Checker::PreVisitBind() visitor. It also improves ranges and source location information in analyzer diagnostics. by Ted Kremenek · 14 years ago
  37. ab9f13e Add yet another test case for PR 8015, showing how reasoning over symbolic indices should exactly resolve over multiple index possibilities (and thus suppress the false positive in the test). by Ted Kremenek · 14 years ago
  38. 19c74a0 Add another test case for PR 8015, here with the array index being within a valid range and not just a single constant. by Ted Kremenek · 14 years ago
  39. 41be967 Partial fix for PR 8015 (fix is actually by Jordy Rose, and I added a test case for follow-on work). This patch adds a bandaid for RegionStore's limited reasoning about symbolic array values. by Ted Kremenek · 14 years ago
  40. 1e4a32a Don't assert in the analyzer when analyze code does a byte load from a function's address. Fixes PR 8052. by Ted Kremenek · 14 years ago
  41. f69cf18 Don't assert in CastSizeChecker when the casted-to pointee is an incomplete type. Fixes PR 8050. by Ted Kremenek · 14 years ago
  42. a427f1d Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it the same as CallExprs. by Ted Kremenek · 14 years ago
  43. 5722b14 Revert my lame attempt at appeasing the CFGBuilder by Douglas Gregor · 14 years ago
  44. 35fe7ee Teach the CFGBuilder not do die on CXXBindTemporaryExpr, CXXOperatorCallExpr. Fixes a Boost.Graph crasher. by Douglas Gregor · 14 years ago
  45. 6216dc0 Adjusted the semantics of assign checking in IdempotentOperationChecker by Tom Care · 14 years ago
  46. 9edd4d0 Added checking of (x == x) and (x != x) to IdempotentOperationChecker and updated test cases flagged by it. by Tom Care · 14 years ago
  47. 6d0e6ce Enabled relaxed LiveVariables analysis in the path-sensitive engine to increase the coverage of bugs. Primarily affects IdempotentOperationChecker. by Tom Care · 14 years ago
  48. 34feff6 Fix horrible GRExprEngine bug where switch statements with no 'case:' statements would cause the path to get prematurely aborted. Fixes <rdar://problem/8360854>. by Ted Kremenek · 14 years ago
  49. 967fea6 Improved the handling of blocks and block variables in PseudoConstantAnalysis by Tom Care · 14 years ago
  50. ef52bcb Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis by Tom Care · 14 years ago
  51. 8238941 Modified pseudoconstant test case to make it a bit clearer and fix a missing line by Tom Care · 14 years ago
  52. db34ab7 Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. by Tom Care · 14 years ago
  53. 59b6dca Handle nested compound values in BindArray for multidimensional arrays. Fixes PR7945. by Jordy Rose · 14 years ago
  54. 58f281f Add warning for functions/blocks that have attribute 'noreturn' but return a non-void result. (<rdar://problem/7562925>) by Ted Kremenek · 14 years ago
  55. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 14 years ago
  56. 334c195 Fix horrible CFG bug caused by a series of NullStmts appearing at the beginning of a do...while loop. This would cause by Ted Kremenek · 14 years ago
  57. 50e8ac2 Added basic psuedoconstant checking in IdempotentOperationChecker and fixed some test cases. by Tom Care · 14 years ago
  58. e64f311 Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: by Jordy Rose · 14 years ago
  59. e701117 - Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking. by Jordy Rose · 14 years ago
  60. a526154 Update CStringChecker to take advantage of the new metadata symbols and region change callback. Now does basic tracking of string length for general regions. Currently this is still only used for modeling strlen(). by Jordy Rose · 14 years ago
  61. 8556cc4 Add a test for alloca region extents. by Jordy Rose · 14 years ago
  62. a7a8a45 Improved IdempotentOperationChecker false positives and false negatives. by Tom Care · 14 years ago
  63. a277e77 Allow EvalBinOpNN to handle expressions of the form $a+$b if $b can be reduced to a constant. by Jordy Rose · 14 years ago
  64. 1fafd1d Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations) by Tom Care · 14 years ago
  65. a87b1eb add test case. by Zhongxing Xu · 14 years ago
  66. 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
  67. 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
  68. 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
  69. 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
  70. 074ae35 Fix idempotent operations false positive caused by ivars not being invalidated in function by Ted Kremenek · 14 years ago
  71. 8077638 Add test case for <rdar://problem/8258814>. by Ted Kremenek · 14 years ago
  72. 7caf9b3 Improve flat store: MemRegion::getAsOffset() computes a region's offset within by Zhongxing Xu · 14 years ago
  73. b60a77e Only run the jump-checker if there's a branch-protected scope *and* there's by John McCall · 14 years ago
  74. 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
  75. d85770b Test case for PR7763. by Tom Care · 14 years ago
  76. 23b736e Move new test (that requires RegionStore) into its own file. by Jordy Rose · 14 years ago
  77. 167cc37 Use a LazyCompoundVal to handle initialization with a string literal, rather than copying each character. by Jordy Rose · 14 years ago
  78. 741b9be Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675. by Ted Kremenek · 14 years ago
  79. 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
  80. 7bce3a1 Added some false positive checking to UnreachableCodeChecker by Tom Care · 14 years ago
  81. 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
  82. 5e04bdd Don't warn about unreachable code if the block starts with __builtin_unreachable(). by Jordy Rose · 14 years ago
  83. 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
  84. c4b5bd8 Added an path-sensitive unreachable code checker to the experimental analyzer checks. by Tom Care · 14 years ago
  85. 766c201 Add FILE* leak check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  86. 47dc37f This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  87. c6a36ff fix test case. by Zhongxing Xu · 14 years ago
  88. 9843ba9 Add double close check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  89. cb07788 Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by removing a bogus assertion. by Ted Kremenek · 14 years ago
  90. 4532931 Fix APFloat assertion failure in IdempotentOperationChecker resulting in having by Ted Kremenek · 14 years ago
  91. 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
  92. 184aa4e fix PR7280 by making the warning on code like this: by Chris Lattner · 14 years ago
  93. d325ffb Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero sizes. by Jordy Rose · 14 years ago
  94. 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
  95. 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
  96. 8b5dec3 implement PR7569, warning about assignment to null, which by Chris Lattner · 14 years ago
  97. 925198d Fix idempotent operations test command line arguments. by Tom Care · 14 years ago
  98. 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
  99. 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
  100. b829d72 Oops, tabs --> spaces in test. by Jordy Rose · 14 years ago