Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 007a9b1c632bfaac20e41c60cbe07fdc6d0e647c / test / Analysis
  1. a1898dd If visiting RHS causes us to finish 'Block', e.g. the RHS is a StmtExpr by Zhongxing Xu · 14 years ago
  2. c1143e5 Fix lazy symbolication bug in RegionStore involving fields of global variables. When invalidated, the entire by Ted Kremenek · 14 years ago
  3. 646c3c3 Tweak null dereference checker to give better diagnostics for null dereferences resulting from array accesses. by Ted Kremenek · 14 years ago
  4. 0d4f767 Add check for UnknownVals for mutexes in ObjCAtSyncChecker. Fixes crash reported in PR 8458. by Ted Kremenek · 14 years ago
  5. 8c5e5d6 Added generation of destructors for member constant size arrays. by Marcin Swiderski · 14 years ago
  6. b1c5287 Added generation of destructors for constant size arrays. by Marcin Swiderski · 14 years ago
  7. 2127ecc Warn if a variable marked with the "unused" attribute is used. Patch by Darin Adler! by Anders Carlsson · 14 years ago
  8. f50595d Fix a horrible bug in all dataflow analyses that use CFGRecStmtVisitor (including live variables analysis). by Ted Kremenek · 14 years ago
  9. 1adee4b Tweak the ObjCAtSyncChecker to assume that a mutex is non-nil after checking that it is by Ted Kremenek · 14 years ago
  10. 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
  11. 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
  12. 1c9e6b1 Add experimental chroot check which checks improper use of chroot(). Patch by by Zhongxing Xu · 14 years ago
  13. 4895b9c UnreachableCodeChecker cleanup and improvements by Tom Care · 14 years ago
  14. 7c625d8 Added support for base and member destructors in destructor. by Marcin Swiderski · 14 years ago
  15. 82bc3fd Added support for C++ initializers in CFG. by Marcin Swiderski · 14 years ago
  16. 0e97bcb Added generating CFGAutomaticObjDtors for exception variable in catch statement. by Marcin Swiderski · 14 years ago
  17. 47575f1 Added generating CFGAutomaticObjDtors for init statement, condition variable and implicit scope in for statement. by Marcin Swiderski · 14 years ago
  18. 8ae6058 dded generating CFGAutomaticObjDtors for condition variable and implicit scopes in switch statement. by Marcin Swiderski · 14 years ago
  19. 05adedc Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in while and do statements. by Marcin Swiderski · 14 years ago
  20. 04e046c Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in if statement. by Marcin Swiderski · 14 years ago
  21. fcb72ac Added: by Marcin Swiderski · 14 years ago
  22. 6123874 Tweak nil receiver checker to not warning about 64-bit return values. by Ted Kremenek · 14 years ago
  23. 1b2ad2f Revert r114316, -Wunused-value enabled by default was intended. by Argyrios Kyrtzidis · 14 years ago
  24. 6dff228 Make -Wunused-value off by default, matching GCC. Fixes rdar://7126194. by Argyrios Kyrtzidis · 14 years ago
  25. 8f3b834 Relax assertion in CFG builder when processing ForStmts. This fixes an assertion failure by Ted Kremenek · 14 years ago
  26. 02282ac Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as by Ted Kremenek · 14 years ago
  27. 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
  28. 44f8ef1 Fix CFGBuilder crash reported in PR 8141. by Ted Kremenek · 14 years ago
  29. 0853c7f Polish diagnostics for null dereferences via ObjC ivar accesses. Finishes up <rdar://problem/6352035>. by Ted Kremenek · 14 years ago
  30. 4f6aa77 Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex can be nil by Ted Kremenek · 14 years ago
  31. 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
  32. 818b433 Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 14 years ago
  33. 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
  34. 96ebad6 Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). by Ted Kremenek · 14 years ago
  35. 977a58a Include test case for <rdar://problem/5880430>. by Ted Kremenek · 14 years ago
  36. 8205c1a Put the tautological-comparison-of-unsigned-against-zero warnings in by John McCall · 14 years ago
  37. c79f767 tests: Use -ffreestanding when including stdint.h, to avoid platform dependencies. by Daniel Dunbar · 14 years ago
  38. 02b49bb Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic. by Ted Kremenek · 14 years ago
  39. 84c24ed Re-enabled truncation/extension checking in IdempotentOperationChecker and added a test case. by Tom Care · 14 years ago
  40. 58f9e13 make clang print types as "const int *" instead of "int const*", by Chris Lattner · 14 years ago
  41. 5d1d7ae Get rid of the "functions declared 'noreturn' should have a 'void' result type" warning. by Anders Carlsson · 14 years ago
  42. 40bfbbc sabre points out that the timing here is pretty pessimal; I'll retry the by John McCall · 14 years ago
  43. 51b0a52 Experimentally move the tautological comparison warnings from -Wsign-compare by John McCall · 14 years ago
  44. 6610e7e Tweak test case. 'int' would introduce out-of-bound issues. We focus on array by Zhongxing Xu · 14 years ago
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. f69cf18 Don't assert in CastSizeChecker when the casted-to pointee is an incomplete type. Fixes PR 8050. by Ted Kremenek · 14 years ago
  51. a427f1d Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it the same as CallExprs. by Ted Kremenek · 14 years ago
  52. 5722b14 Revert my lame attempt at appeasing the CFGBuilder by Douglas Gregor · 14 years ago
  53. 35fe7ee Teach the CFGBuilder not do die on CXXBindTemporaryExpr, CXXOperatorCallExpr. Fixes a Boost.Graph crasher. by Douglas Gregor · 14 years ago
  54. 6216dc0 Adjusted the semantics of assign checking in IdempotentOperationChecker by Tom Care · 14 years ago
  55. 9edd4d0 Added checking of (x == x) and (x != x) to IdempotentOperationChecker and updated test cases flagged by it. by Tom Care · 14 years ago
  56. 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
  57. 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
  58. 967fea6 Improved the handling of blocks and block variables in PseudoConstantAnalysis by Tom Care · 14 years ago
  59. ef52bcb Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis by Tom Care · 14 years ago
  60. 8238941 Modified pseudoconstant test case to make it a bit clearer and fix a missing line by Tom Care · 14 years ago
  61. db34ab7 Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. by Tom Care · 14 years ago
  62. 59b6dca Handle nested compound values in BindArray for multidimensional arrays. Fixes PR7945. by Jordy Rose · 14 years ago
  63. 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
  64. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 14 years ago
  65. 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
  66. 50e8ac2 Added basic psuedoconstant checking in IdempotentOperationChecker and fixed some test cases. by Tom Care · 14 years ago
  67. e64f311 Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: by Jordy Rose · 14 years ago
  68. e701117 - Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking. by Jordy Rose · 14 years ago
  69. 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
  70. 8556cc4 Add a test for alloca region extents. by Jordy Rose · 14 years ago
  71. a7a8a45 Improved IdempotentOperationChecker false positives and false negatives. by Tom Care · 14 years ago
  72. 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
  73. 1fafd1d Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations) by Tom Care · 14 years ago
  74. a87b1eb add test case. by Zhongxing Xu · 14 years ago
  75. 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
  76. 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
  77. 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
  78. 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
  79. 074ae35 Fix idempotent operations false positive caused by ivars not being invalidated in function by Ted Kremenek · 14 years ago
  80. 8077638 Add test case for <rdar://problem/8258814>. by Ted Kremenek · 14 years ago
  81. 7caf9b3 Improve flat store: MemRegion::getAsOffset() computes a region's offset within by Zhongxing Xu · 14 years ago
  82. b60a77e Only run the jump-checker if there's a branch-protected scope *and* there's by John McCall · 14 years ago
  83. 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
  84. d85770b Test case for PR7763. by Tom Care · 14 years ago
  85. 23b736e Move new test (that requires RegionStore) into its own file. by Jordy Rose · 14 years ago
  86. 167cc37 Use a LazyCompoundVal to handle initialization with a string literal, rather than copying each character. by Jordy Rose · 14 years ago
  87. 741b9be Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675. by Ted Kremenek · 14 years ago
  88. 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
  89. 7bce3a1 Added some false positive checking to UnreachableCodeChecker by Tom Care · 14 years ago
  90. 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
  91. 5e04bdd Don't warn about unreachable code if the block starts with __builtin_unreachable(). by Jordy Rose · 14 years ago
  92. 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
  93. c4b5bd8 Added an path-sensitive unreachable code checker to the experimental analyzer checks. by Tom Care · 14 years ago
  94. 766c201 Add FILE* leak check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  95. 47dc37f This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  96. c6a36ff fix test case. by Zhongxing Xu · 14 years ago
  97. 9843ba9 Add double close check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  98. cb07788 Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by removing a bogus assertion. by Ted Kremenek · 14 years ago
  99. 4532931 Fix APFloat assertion failure in IdempotentOperationChecker resulting in having by Ted Kremenek · 14 years ago
  100. 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