Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 0e88aa7100da32acc63bc8a4dcb946ed517868f1 / lib / Checker
  1. 49f4e1c It's kindof silly that ExtQuals has an ASTContext&, and we can use that by John McCall · 14 years ago
  2. f187237 Remove the TypesCompatibleExprClass AST node. Merge its functionality into BinaryTypeTraitExpr. by Francois Pichet · 14 years ago
  3. 9f71a8f PR5207: Change APInt methods trunc(), sext(), zext(), sextOrTrunc() and by Jay Foad · 14 years ago
  4. 6ad6f28 Type traits intrinsic implementation: __is_base_of(T, U) by Francois Pichet · 14 years ago
  5. 4765fa0 Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoretical by John McCall · 14 years ago
  6. 0074b48 Mark SVal constructors 'explicit'. by Ted Kremenek · 14 years ago
  7. 4658463 Rename Environment::LookupExpr() to by Ted Kremenek · 14 years ago
  8. 00eb3f9 More anonymous struct/union redesign. This one deals with anonymous field used in a constructor initializer list: by Francois Pichet · 14 years ago
  9. f6a1648 Although we currently have explicit lvalue-to-rvalue conversions, they're by John McCall · 14 years ago
  10. 640ccf0 Minor refactoring; have BugReport::getRanges return a pair of iterator, no functionality change. by Argyrios Kyrtzidis · 14 years ago
  11. 40406fe Fix an insidious bug in BugReporter where by Ted Kremenek · 14 years ago
  12. 8673a68 Also include the pointer address of the ExplodedNode by Ted Kremenek · 14 years ago
  13. 774dfbb Also show notes about the taken path in TextPathDiagnostics. by Argyrios Kyrtzidis · 14 years ago
  14. a599ae8 Remove leftover code and use the text path diagnostic client even without a specified output file since by Argyrios Kyrtzidis · 14 years ago
  15. ebd4f52 Introduce TextPathDiagnostics, a simple PathDiagnosticClient that outputs as diagnostic notes by Argyrios Kyrtzidis · 14 years ago
  16. b6b7e7b Handle any number of SourceRanges inside BugReporter::FlushReport. by Argyrios Kyrtzidis · 14 years ago
  17. f928dca Rename Create[*]DiagnosticClient -> create[*]DiagnosticClient. by Argyrios Kyrtzidis · 14 years ago
  18. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 14 years ago
  19. 12f78a6 Simplify the ASTs by consolidating ObjCImplicitGetterSetterExpr and ObjCPropertyRefExpr by John McCall · 14 years ago
  20. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 14 years ago
  21. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 14 years ago
  22. 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 14 years ago
  23. 0ae287a Restore the lvalue-to-rvalue conversion patch with a minimal fix. by John McCall · 14 years ago
  24. 20fbe7c L-value to r-value conversion is not ready for prime-time. by John McCall · 14 years ago
  25. 7e48579 Introduce an r-value to l-value cast kind. I'm not promising anything by John McCall · 14 years ago
  26. 03013fa Merge System into Support. by Michael J. Spencer · 14 years ago
  27. 110eaf1 Do not use StripCasts() in this context. by Zhongxing Xu · 14 years ago
  28. b1dbe0e Should not use StripCasts() in this context. by Zhongxing Xu · 14 years ago
  29. 02fe28c Rename CXXObjectRegion to CXXTempObjectRegion. by Zhongxing Xu · 14 years ago
  30. 4fd5681 Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion. by Zhongxing Xu · 14 years ago
  31. dc1ad2c Add a fixme. by Zhongxing Xu · 14 years ago
  32. 2210490 For CFGAutomaticObjDtor, the type may be reference type, e.g., const A &c = A(); by Zhongxing Xu · 14 years ago
  33. 0e38d5d handle CXXFunctionalCastExpr in visitLValue and Environment. by Zhongxing Xu · 14 years ago
  34. 8ed119f Improve comments. by Zhongxing Xu · 14 years ago
  35. e1aeb13 Add dump method. by Zhongxing Xu · 14 years ago
  36. 3230302 When getting CXXThisRegion from CXXMethodDecl, use the qualifiers. This is by Zhongxing Xu · 14 years ago
  37. d706434 Let StackFrameContext represent if the call expr is evaluated as lvalue. by Zhongxing Xu · 14 years ago
  38. 19b78d9 Use StackFrameContext directly in CallEnter program point. Then we don't need by Zhongxing Xu · 14 years ago
  39. cca8ab1 Add an assert() to catch errors using EvalLoad(). Reviewed by kremenek. by Zhanyong Wan · 14 years ago
  40. 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 14 years ago
  41. ba09cbb Add comments. by Zhongxing Xu · 14 years ago
  42. cf84887 Fix a typo in EnvironmentManager::bindExprAndLocation(). Reviewed by kremenek. by Zhanyong Wan · 14 years ago
  43. b13453b Handle CFGAutomaticObjDtor. by Zhongxing Xu · 14 years ago
  44. f2224d8 Since multiple diagnostics can share one diagnostic client, have the client keeping track by Argyrios Kyrtzidis · 14 years ago
  45. 33e4e70 Refactoring of Diagnostic class. by Argyrios Kyrtzidis · 14 years ago
  46. 6a02b60 Added method for handling CXXOperatorCallExpr differently from CallExpr if CXXOperatorCallExpr represents method call. by Marcin Swiderski · 14 years ago
  47. 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
  48. 4ffcb99 Add skeleton for handling various cfg dtors. by Zhongxing Xu · 14 years ago
  49. 8d6e89e do not do post checks. Because at this point we just enter the call. by Zhongxing Xu · 14 years ago
  50. 75072f2 Remove comments. We are already doing actual method call by inlining it. by Zhongxing Xu · 14 years ago
  51. 0aac2ba Added mapping from 'this' to it's SymbolicRegion in BasicStoreManager::getInitialStore. by Marcin Swiderski · 14 years ago
  52. 8fec972 Add comments. by Ted Kremenek · 14 years ago
  53. b12fbc2 Static analyzer: Catch calls to malloc() with allocation sizes of 0 bytes. by Ted Kremenek · 14 years ago
  54. b168cbf Reverting r119341: doesn't compile, no obvious fix. by John McCall · 14 years ago
  55. 051beb5 Refactored GRExprEngine::getCXXThisRegion to use CXXMethodDecl::getThisType instead of calculating it by hand. by Marcin Swiderski · 14 years ago
  56. 9dc84c9 Handle member initializer in C++ ctor. by Zhongxing Xu · 14 years ago
  57. 11b39d4 Basic support for C++ in BasicStore: by Marcin Swiderski · 14 years ago
  58. e2b7688 Kill CK_Unknown and flesh out the documentation for the existing CastKinds. by John McCall · 14 years ago
  59. 7cd7d1a Add a new expression kind, OpaqueValueExpr, which is useful for by John McCall · 14 years ago
  60. 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
  61. 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
  62. daa8e4e Assorted work leading towards the elimination of CK_Unknown. by John McCall · 14 years ago
  63. 9c6cd67 Add skeleton for handling other kinds of CFGElements. by Zhongxing Xu · 14 years ago
  64. f3ea8cf Add a few more complex-related cast kinds that arise due to arbitrary by John McCall · 14 years ago
  65. 2bb5d00 Introduce five new cast kinds for various conversions into and by John McCall · 14 years ago
  66. ed02366 Refine IdempotentOperationChecker::PathWasCompletelyAnalyzed() to also check by Ted Kremenek · 14 years ago
  67. 33d4626 Teach IdempotentOperations::PathWasCompletelyAnalyzed to also consider items remaining in the by Ted Kremenek · 14 years ago
  68. 3e47b48 Add GRWorkList::VisitItemsInWorkList() to allow a client to introspect the contents of a worklist. by Ted Kremenek · 14 years ago
  69. 404cd16 Introduce a null-to-pointer implicit cast kind. by John McCall · 14 years ago
  70. cb7b1e1 Make sure to always check the result of by Douglas Gregor · 14 years ago
  71. 29836f9 RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete addresses; instead return UnknownVal. This by Ted Kremenek · 14 years ago
  72. bb0ba0b Teach AttrNonNullChecker about transparent unions. Fixes crash reported in <rdar://problem/8642434>. by Ted Kremenek · 14 years ago
  73. 67e40d4 Only enable the ObjCAtSyncChecker when the translation unit uses Objective-C. by Ted Kremenek · 14 years ago
  74. 90d26a4 Teach the CStringChecker and PthreadLockChecker about non-identifier by Douglas Gregor · 14 years ago
  75. 7ce351d Now initializer of C++ record type is visited as block-level expr. by Zhongxing Xu · 14 years ago
  76. 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
  77. 74faec2 Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically false positives). by Ted Kremenek · 14 years ago
  78. ed50a8a Don't warn about unamed bitfield ivars in the ObjCUnusedIvarsChecker. Fixes <rdar://problem/8481311>. by Ted Kremenek · 14 years ago
  79. c1143e5 Fix lazy symbolication bug in RegionStore involving fields of global variables. When invalidated, the entire by Ted Kremenek · 14 years ago
  80. d45d59f Move 'includeGlobals' as a field into ClusterAnalysis. by Ted Kremenek · 14 years ago
  81. 646c3c3 Tweak null dereference checker to give better diagnostics for null dereferences resulting from array accesses. by Ted Kremenek · 14 years ago
  82. 0d4f767 Add check for UnknownVals for mutexes in ObjCAtSyncChecker. Fixes crash reported in PR 8458. by Ted Kremenek · 14 years ago
  83. 35fa76d Fix '-analyzer-display-progress' for Objective-C methods. Also remove obsolete code. by Ted Kremenek · 14 years ago
  84. cb9c074 Move classes into anonymous namespaces. by Benjamin Kramer · 14 years ago
  85. 1adee4b Tweak the ObjCAtSyncChecker to assume that a mutex is non-nil after checking that it is by Ted Kremenek · 14 years ago
  86. 5cca53e Remove unused variable. by Ted Kremenek · 14 years ago
  87. f093350 Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely subsumed by the Checker interface. by Ted Kremenek · 14 years ago
  88. 2ce2baa Convert GRSimpleAPIChecks in BasicObjCFoundationChecks to be Checkers. by Ted Kremenek · 14 years ago
  89. 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
  90. 8ac2d44 Eliminate usage of ObjCSuperExpr used for by Fariborz Jahanian · 14 years ago
  91. 830a7fe Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II. by Zhongxing Xu · 14 years ago
  92. 4505d89 comment out unused function by Chris Lattner · 14 years ago
  93. 08f7e67 Unbreak the CMake build. by Francois Pichet · 14 years ago
  94. 1c9e6b1 Add experimental chroot check which checks improper use of chroot(). Patch by by Zhongxing Xu · 14 years ago
  95. 4895b9c UnreachableCodeChecker cleanup and improvements by Tom Care · 14 years ago
  96. 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
  97. 9121ba2 Added two new command line arguments: by Marcin Swiderski · 14 years ago
  98. a54e824 Include changes to VisitCXXMemberCallExpr (call visitor functions). by Ted Kremenek · 14 years ago
  99. 6123874 Tweak nil receiver checker to not warning about 64-bit return values. by Ted Kremenek · 14 years ago
  100. 2cb5520 AnalyzerStatsChecker improvements: by Tom Care · 14 years ago