Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / cb9c07418b699bd2b8384d31ff4392df7d76eb7c / lib / Checker
  1. cb9c074 Move classes into anonymous namespaces. by Benjamin Kramer · 15 years ago
  2. 1adee4b Tweak the ObjCAtSyncChecker to assume that a mutex is non-nil after checking that it is by Ted Kremenek · 15 years ago
  3. 5cca53e Remove unused variable. by Ted Kremenek · 15 years ago
  4. f093350 Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely subsumed by the Checker interface. by Ted Kremenek · 15 years ago
  5. 2ce2baa Convert GRSimpleAPIChecks in BasicObjCFoundationChecks to be Checkers. by Ted Kremenek · 15 years ago
  6. abf517c Tweak retain/release checker diagnostics to specify a leak occurs because an object is not referenced later in the path, by Ted Kremenek · 15 years ago
  7. 8ac2d44 Eliminate usage of ObjCSuperExpr used for by Fariborz Jahanian · 15 years ago
  8. 830a7fe Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II. by Zhongxing Xu · 15 years ago
  9. 4505d89 comment out unused function by Chris Lattner · 15 years ago
  10. 08f7e67 Unbreak the CMake build. by Francois Pichet · 15 years ago
  11. 1c9e6b1 Add experimental chroot check which checks improper use of chroot(). Patch by by Zhongxing Xu · 15 years ago
  12. 4895b9c UnreachableCodeChecker cleanup and improvements by Tom Care · 15 years ago
  13. bfc4a95 UnreachableCodeChecker does not need to inherit from CheckerVisitor, only Checker. It does not use any AST Stmt hooks, only VisitEndAnalysis. by Tom Care · 15 years ago
  14. 9121ba2 Added two new command line arguments: by Marcin Swiderski · 15 years ago
  15. a54e824 Include changes to VisitCXXMemberCallExpr (call visitor functions). by Ted Kremenek · 15 years ago
  16. 6123874 Tweak nil receiver checker to not warning about 64-bit return values. by Ted Kremenek · 15 years ago
  17. 2cb5520 AnalyzerStatsChecker improvements: by Tom Care · 15 years ago
  18. cf9ce13 Change -analyzer-max-nodes to allow 0 as a parameter. This allows the analyzer to completely analyze a worklist regardless of time taken. by Tom Care · 15 years ago
  19. c69c438 Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXXMemberCallExpr(). Ideally we should unify these code paths as much as possible, since they only differ by a few details. by Ted Kremenek · 15 years ago
  20. 0e1cd94 Fix an inverse boolean and unnecessary new line in warning output from AnalyzerStatsChecker. by Tom Care · 15 years ago
  21. 7476907 Revert r114244 since it breaks a test in Analysis. by Tom Care · 15 years ago
  22. 4697638 IdempotentOperationChecker no longer reports errors that are post-dominated by a sink. This fixes some false positives that were flagged because a path was incomplete (usually in a loop). by Tom Care · 15 years ago
  23. 212f6d3 Refactored BugReporter to refer to EndNode as ErrorNode. We currently make the assumption that EndNode == ErrorNode, but upcoming changes will break this. by Tom Care · 15 years ago
  24. b36cd3e Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 15 years ago
  25. 02282ac Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as by Ted Kremenek · 15 years ago
  26. 091cbbd Adjust assertion in RegionStoreManager::RetrieveArray() to also take into account typedefs. by Ted Kremenek · 15 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 · 15 years ago
  28. 68625cf Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect that we aborted analysis may not necessarily be due to a loop. by Tom Care · 15 years ago
  29. 560a921 Revert "CMake: Update to use standard CMake dependency tracking facilities instead" by Michael J. Spencer · 15 years ago
  30. 5a7f349 CMake: Update to use standard CMake dependency tracking facilities instead by Michael J. Spencer · 15 years ago
  31. 6b219d0 Serialization support for CXXNoexceptExpr. by Sebastian Redl · 15 years ago
  32. 0853c7f Polish diagnostics for null dereferences via ObjC ivar accesses. Finishes up <rdar://problem/6352035>. by Ted Kremenek · 15 years ago
  33. 942e24d Add checker implementation for my previous commit! by Ted Kremenek · 15 years ago
  34. 4f6aa77 Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex can be nil by Ted Kremenek · 15 years ago
  35. 4beaa9f Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit for checkers). by Ted Kremenek · 15 years ago
  36. 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 · 15 years ago
  37. 818b433 Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 15 years ago
  38. 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 · 15 years ago
  39. ec9bf47 Clean up CMake dependencies by Douglas Gregor · 15 years ago
  40. f0e34ed Remove unused variable. by Benjamin Kramer · 15 years ago
  41. 89b0658 do not bind temporaries to non-const references by Gabor Greif · 15 years ago
  42. 96ebad6 Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). by Ted Kremenek · 15 years ago
  43. b062795 Simplified reachability checking in IdempotentOperationChecker and added a helper function for path display. by Tom Care · 15 years ago
  44. 4d3175c Static analyzer fix: <rdar://problem/5880430> Switch on enum should not consider default case live if all enum values are covered by Ted Kremenek · 15 years ago
  45. 9be8840 Fix warnings caused by new CXXUuidofExprClass enumerator. by Francois Pichet · 15 years ago
  46. 02b49bb Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic. by Ted Kremenek · 15 years ago
  47. 84c24ed Re-enabled truncation/extension checking in IdempotentOperationChecker and added a test case. by Tom Care · 15 years ago
  48. fae9622 "I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment by Chris Lattner · 15 years ago
  49. 56af446 Support pointer arithmetic in SimpleSValuator involving direct constants. by Ted Kremenek · 15 years ago
  50. 8046037 Remove bogus assertions. by Ted Kremenek · 15 years ago
  51. 6d4c022 Add optional record of "location" SVals in the environment. When we analyzing loads/stores, we lose the location SVal, which makes it difficult to recover in some cases (e.g., for post diagnostics). This is prep for pending changes to GRExprEngine. by Ted Kremenek · 15 years ago
  52. 124f5d5 Add GRState::getSimplifiedSVal(), which provides an API hook for doing symbol -> constant folding. This isn't used yet, but by Ted Kremenek · 15 years ago
  53. 2bbbe50 Reapply 112850 and 112839 with a constructor for the BinaryOperatorData struct. Clang would zero out the enum and pointer in the struct in some conditions, but GCC would never zero out the values. by Tom Care · 15 years ago
  54. e2ca6d4 Eliminate CXXBindReferenceExpr, which was used in a ton of by Douglas Gregor · 15 years ago
  55. 066d660 Reverting 112850 and 112839 due to test failures on some systems by Tom Care · 15 years ago
  56. 159e091 Fixed broken build with GCC by Tom Care · 15 years ago
  57. 3f0ce9c Improved error reporting in IdempotentOperationChecker by Tom Care · 15 years ago
  58. e8a4d7d update comments. by Zhongxing Xu · 15 years ago
  59. 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 · 15 years ago
  60. 08140f9 Fixed unused variable warning. by Ted Kremenek · 15 years ago
  61. 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 · 15 years ago
  62. 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 · 15 years ago
  63. f69cf18 Don't assert in CastSizeChecker when the casted-to pointee is an incomplete type. Fixes PR 8050. by Ted Kremenek · 15 years ago
  64. 017ca15 Add range of return value expression in ReturnUndefChecker. Patch by Jim Goodnow II! by Ted Kremenek · 15 years ago
  65. 6216dc0 Adjusted the semantics of assign checking in IdempotentOperationChecker by Tom Care · 15 years ago
  66. 6cf7502 Revert my user-defined literal commits - r1124{58,60,67} pending by Sean Hunt · 15 years ago
  67. 0016d51 Implement C++0x user-defined string literals. by Sean Hunt · 15 years ago
  68. 66af6ac Add comments. by Zhongxing Xu · 15 years ago
  69. 9edd4d0 Added checking of (x == x) and (x != x) to IdempotentOperationChecker and updated test cases flagged by it. by Tom Care · 15 years ago
  70. 6d0e6ce Enabled relaxed LiveVariables analysis in the path-sensitive engine to increase the coverage of bugs. Primarily affects IdempotentOperationChecker. by Tom Care · 15 years ago
  71. aaca011 Remove an assertion in UnreachableCodeChecker that can be triggered by bugs in other checkers. by Tom Care · 15 years ago
  72. d8421ed Fix bug in IdempotentOperationChecker where an assumption would not get updated properly. by Tom Care · 15 years ago
  73. 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 · 15 years ago
  74. 4127117 Remove redundant cast<...>. by Ted Kremenek · 15 years ago
  75. d931b08 De-memberify the VarDecl and FunctionDecl StorageClass enums. by John McCall · 15 years ago
  76. c460889 zap dead ctor by Chris Lattner · 15 years ago
  77. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  78. ef52bcb Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis by Tom Care · 15 years ago
  79. 3bf185b Improve comments. by Zhongxing Xu · 15 years ago
  80. db34ab7 Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. by Tom Care · 15 years ago
  81. 796788f Adjust code placement. by Zhongxing Xu · 15 years ago
  82. a7e6845 Detabify. by Eli Friedman · 15 years ago
  83. dc015e5 Place method near its class. by Zhongxing Xu · 15 years ago
  84. c9509b2 Remove dead code. by Zhongxing Xu · 15 years ago
  85. 81fa4ec Improve comments. by Zhongxing Xu · 15 years ago
  86. 46d1a4f Remove a special case for OSAtomic functions. We can already bind and retrieve by Zhongxing Xu · 15 years ago
  87. 1bf5adf Remove dead code. We no longer need it because now we treat the first element by Zhongxing Xu · 15 years ago
  88. 6145340 remove unused variable. by Zhongxing Xu · 15 years ago
  89. 0b46b1b When invalidating a struct region, whether its type definition exists is not by Zhongxing Xu · 15 years ago
  90. 0752d6d Remove dead code. by Ted Kremenek · 15 years ago
  91. 59b6dca Handle nested compound values in BindArray for multidimensional arrays. Fixes PR7945. by Jordy Rose · 15 years ago
  92. 8e9f30c Remove dead code. Patch by Jon Mulder! by Jordy Rose · 15 years ago
  93. 3c7f413 More PCH -> AST renaming. by Sebastian Redl · 15 years ago
  94. cf807c4 Generate Attr subclasses with TableGen. by Sean Hunt · 15 years ago
  95. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 15 years ago
  96. 9076014 Remove dead malloc symbols from the symbol-state map. by Jordy Rose · 15 years ago
  97. 09cef09 Use RegionStateTy everywhere we mean ImmutableMap<SymbolRef, RefState> by Jordy Rose · 15 years ago
  98. 9018711 zap dead code. by Chris Lattner · 15 years ago
  99. 4af473c Rewrite code fragment to avoide ICE in MSVC. Fixes PR 7875. Patch by Dimitry Andric! by Ted Kremenek · 15 years ago
  100. 4087f27 StringRef'ication of lots stuff, patch by Peter Davies! by Daniel Dunbar · 15 years ago