Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 28f47b92e760ccf641ac91cb0fe1c12d9ca89795 / lib / Checker
  1. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 14 years ago
  2. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 14 years ago
  3. 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 14 years ago
  4. 0ae287a Restore the lvalue-to-rvalue conversion patch with a minimal fix. by John McCall · 14 years ago
  5. 20fbe7c L-value to r-value conversion is not ready for prime-time. by John McCall · 14 years ago
  6. 7e48579 Introduce an r-value to l-value cast kind. I'm not promising anything by John McCall · 14 years ago
  7. 03013fa Merge System into Support. by Michael J. Spencer · 14 years ago
  8. 110eaf1 Do not use StripCasts() in this context. by Zhongxing Xu · 14 years ago
  9. b1dbe0e Should not use StripCasts() in this context. by Zhongxing Xu · 14 years ago
  10. 02fe28c Rename CXXObjectRegion to CXXTempObjectRegion. by Zhongxing Xu · 14 years ago
  11. 4fd5681 Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion. by Zhongxing Xu · 14 years ago
  12. dc1ad2c Add a fixme. by Zhongxing Xu · 14 years ago
  13. 2210490 For CFGAutomaticObjDtor, the type may be reference type, e.g., const A &c = A(); by Zhongxing Xu · 14 years ago
  14. 0e38d5d handle CXXFunctionalCastExpr in visitLValue and Environment. by Zhongxing Xu · 14 years ago
  15. 8ed119f Improve comments. by Zhongxing Xu · 14 years ago
  16. e1aeb13 Add dump method. by Zhongxing Xu · 14 years ago
  17. 3230302 When getting CXXThisRegion from CXXMethodDecl, use the qualifiers. This is by Zhongxing Xu · 14 years ago
  18. d706434 Let StackFrameContext represent if the call expr is evaluated as lvalue. by Zhongxing Xu · 14 years ago
  19. 19b78d9 Use StackFrameContext directly in CallEnter program point. Then we don't need by Zhongxing Xu · 14 years ago
  20. cca8ab1 Add an assert() to catch errors using EvalLoad(). Reviewed by kremenek. by Zhanyong Wan · 14 years ago
  21. 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 14 years ago
  22. ba09cbb Add comments. by Zhongxing Xu · 14 years ago
  23. cf84887 Fix a typo in EnvironmentManager::bindExprAndLocation(). Reviewed by kremenek. by Zhanyong Wan · 14 years ago
  24. b13453b Handle CFGAutomaticObjDtor. by Zhongxing Xu · 14 years ago
  25. f2224d8 Since multiple diagnostics can share one diagnostic client, have the client keeping track by Argyrios Kyrtzidis · 14 years ago
  26. 33e4e70 Refactoring of Diagnostic class. by Argyrios Kyrtzidis · 14 years ago
  27. 6a02b60 Added method for handling CXXOperatorCallExpr differently from CallExpr if CXXOperatorCallExpr represents method call. by Marcin Swiderski · 14 years ago
  28. 82c63bf In EvalArguments allow for evaluation of first argument always as a lvalue. Will be used for CXXOperatorCallExpr that represents method call. by Marcin Swiderski · 14 years ago
  29. 4ffcb99 Add skeleton for handling various cfg dtors. by Zhongxing Xu · 14 years ago
  30. 8d6e89e do not do post checks. Because at this point we just enter the call. by Zhongxing Xu · 14 years ago
  31. 75072f2 Remove comments. We are already doing actual method call by inlining it. by Zhongxing Xu · 14 years ago
  32. 0aac2ba Added mapping from 'this' to it's SymbolicRegion in BasicStoreManager::getInitialStore. by Marcin Swiderski · 14 years ago
  33. 8fec972 Add comments. by Ted Kremenek · 14 years ago
  34. b12fbc2 Static analyzer: Catch calls to malloc() with allocation sizes of 0 bytes. by Ted Kremenek · 14 years ago
  35. b168cbf Reverting r119341: doesn't compile, no obvious fix. by John McCall · 14 years ago
  36. 051beb5 Refactored GRExprEngine::getCXXThisRegion to use CXXMethodDecl::getThisType instead of calculating it by hand. by Marcin Swiderski · 14 years ago
  37. 9dc84c9 Handle member initializer in C++ ctor. by Zhongxing Xu · 14 years ago
  38. 11b39d4 Basic support for C++ in BasicStore: by Marcin Swiderski · 14 years ago
  39. e2b7688 Kill CK_Unknown and flesh out the documentation for the existing CastKinds. by John McCall · 14 years ago
  40. 7cd7d1a Add a new expression kind, OpaqueValueExpr, which is useful for by John McCall · 14 years ago
  41. d776c46 Adds a README for the Clang static analyzer to document its design and work flow. The contents are taken from email notes by kremenek and xuzhongxing. by Zhanyong Wan · 14 years ago
  42. 948163b Relax assertion in SValuator so that we don't crash when analyzing a call via a function pointer that by Ted Kremenek · 14 years ago
  43. daa8e4e Assorted work leading towards the elimination of CK_Unknown. by John McCall · 14 years ago
  44. 9c6cd67 Add skeleton for handling other kinds of CFGElements. by Zhongxing Xu · 14 years ago
  45. f3ea8cf Add a few more complex-related cast kinds that arise due to arbitrary by John McCall · 14 years ago
  46. 2bb5d00 Introduce five new cast kinds for various conversions into and by John McCall · 14 years ago
  47. ed02366 Refine IdempotentOperationChecker::PathWasCompletelyAnalyzed() to also check by Ted Kremenek · 14 years ago
  48. 33d4626 Teach IdempotentOperations::PathWasCompletelyAnalyzed to also consider items remaining in the by Ted Kremenek · 14 years ago
  49. 3e47b48 Add GRWorkList::VisitItemsInWorkList() to allow a client to introspect the contents of a worklist. by Ted Kremenek · 14 years ago
  50. 404cd16 Introduce a null-to-pointer implicit cast kind. by John McCall · 14 years ago
  51. cb7b1e1 Make sure to always check the result of by Douglas Gregor · 14 years ago
  52. 29836f9 RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete addresses; instead return UnknownVal. This by Ted Kremenek · 14 years ago
  53. bb0ba0b Teach AttrNonNullChecker about transparent unions. Fixes crash reported in <rdar://problem/8642434>. by Ted Kremenek · 14 years ago
  54. 67e40d4 Only enable the ObjCAtSyncChecker when the translation unit uses Objective-C. by Ted Kremenek · 14 years ago
  55. 90d26a4 Teach the CStringChecker and PthreadLockChecker about non-identifier by Douglas Gregor · 14 years ago
  56. 7ce351d Now initializer of C++ record type is visited as block-level expr. by Zhongxing Xu · 14 years ago
  57. 739830d Make Clang static analyzer skip function template definitions. This fixes Clang PR 8426, 8427, & 8433. Reviewed by Ted Kremenek and Doug Gregor. by Zhanyong Wan · 14 years ago
  58. 74faec2 Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically false positives). by Ted Kremenek · 14 years ago
  59. ed50a8a Don't warn about unamed bitfield ivars in the ObjCUnusedIvarsChecker. Fixes <rdar://problem/8481311>. by Ted Kremenek · 14 years ago
  60. c1143e5 Fix lazy symbolication bug in RegionStore involving fields of global variables. When invalidated, the entire by Ted Kremenek · 14 years ago
  61. d45d59f Move 'includeGlobals' as a field into ClusterAnalysis. by Ted Kremenek · 14 years ago
  62. 646c3c3 Tweak null dereference checker to give better diagnostics for null dereferences resulting from array accesses. by Ted Kremenek · 14 years ago
  63. 0d4f767 Add check for UnknownVals for mutexes in ObjCAtSyncChecker. Fixes crash reported in PR 8458. by Ted Kremenek · 14 years ago
  64. 35fa76d Fix '-analyzer-display-progress' for Objective-C methods. Also remove obsolete code. by Ted Kremenek · 14 years ago
  65. cb9c074 Move classes into anonymous namespaces. by Benjamin Kramer · 14 years ago
  66. 1adee4b Tweak the ObjCAtSyncChecker to assume that a mutex is non-nil after checking that it is by Ted Kremenek · 14 years ago
  67. 5cca53e Remove unused variable. by Ted Kremenek · 14 years ago
  68. f093350 Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely subsumed by the Checker interface. by Ted Kremenek · 14 years ago
  69. 2ce2baa Convert GRSimpleAPIChecks in BasicObjCFoundationChecks to be Checkers. by Ted Kremenek · 14 years ago
  70. 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
  71. 8ac2d44 Eliminate usage of ObjCSuperExpr used for by Fariborz Jahanian · 14 years ago
  72. 830a7fe Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II. by Zhongxing Xu · 14 years ago
  73. 4505d89 comment out unused function by Chris Lattner · 14 years ago
  74. 08f7e67 Unbreak the CMake build. by Francois Pichet · 14 years ago
  75. 1c9e6b1 Add experimental chroot check which checks improper use of chroot(). Patch by by Zhongxing Xu · 14 years ago
  76. 4895b9c UnreachableCodeChecker cleanup and improvements by Tom Care · 14 years ago
  77. bfc4a95 UnreachableCodeChecker does not need to inherit from CheckerVisitor, only Checker. It does not use any AST Stmt hooks, only VisitEndAnalysis. by Tom Care · 14 years ago
  78. 9121ba2 Added two new command line arguments: by Marcin Swiderski · 14 years ago
  79. a54e824 Include changes to VisitCXXMemberCallExpr (call visitor functions). by Ted Kremenek · 14 years ago
  80. 6123874 Tweak nil receiver checker to not warning about 64-bit return values. by Ted Kremenek · 14 years ago
  81. 2cb5520 AnalyzerStatsChecker improvements: by Tom Care · 14 years ago
  82. 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 · 14 years ago
  83. 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 · 14 years ago
  84. 0e1cd94 Fix an inverse boolean and unnecessary new line in warning output from AnalyzerStatsChecker. by Tom Care · 14 years ago
  85. 7476907 Revert r114244 since it breaks a test in Analysis. by Tom Care · 14 years ago
  86. 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 · 14 years ago
  87. 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 · 14 years ago
  88. b36cd3e Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 14 years ago
  89. 02282ac Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as by Ted Kremenek · 14 years ago
  90. 091cbbd Adjust assertion in RegionStoreManager::RetrieveArray() to also take into account typedefs. by Ted Kremenek · 14 years ago
  91. 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
  92. 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 · 14 years ago
  93. 560a921 Revert "CMake: Update to use standard CMake dependency tracking facilities instead" by Michael J. Spencer · 14 years ago
  94. 5a7f349 CMake: Update to use standard CMake dependency tracking facilities instead by Michael J. Spencer · 14 years ago
  95. 6b219d0 Serialization support for CXXNoexceptExpr. by Sebastian Redl · 14 years ago
  96. 0853c7f Polish diagnostics for null dereferences via ObjC ivar accesses. Finishes up <rdar://problem/6352035>. by Ted Kremenek · 14 years ago
  97. 942e24d Add checker implementation for my previous commit! by Ted Kremenek · 14 years ago
  98. 4f6aa77 Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex can be nil by Ted Kremenek · 14 years ago
  99. 4beaa9f Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit for checkers). by Ted Kremenek · 14 years ago
  100. 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