Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 98cabbad47a4d9db6b7e95c950d3302c110d1b02 / lib / Checker
  1. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 14 years ago
  2. 250704b If the unary operator is prefix and an lvalue (in C++), bind by Zhongxing Xu · 14 years ago
  3. eee1df1 The base type is not always pointer type. We may cast to a base reference. by Zhongxing Xu · 14 years ago
  4. a8d835a Always blast through no-op casts when getting expr SVals. by Zhongxing Xu · 14 years ago
  5. 05e5391 After inlining the CXXConstructExpr, bind the temporary object region to it. by Zhongxing Xu · 14 years ago
  6. 342e907 Rename 'VisitLocation' to 'visitLocation'. by Ted Kremenek · 14 years ago
  7. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 14 years ago
  8. f45fbad If the initializer is an rvalue and the variable is a const reference, by Zhongxing Xu · 14 years ago
  9. 9c2bac0 The evaluation of dereference and address-of is identical. by Zhongxing Xu · 14 years ago
  10. d5b08be Replace all uses of PathV1::get{Basename,Dirname,Suffix} with their PathV2 equivalents. by Michael J. Spencer · 14 years ago
  11. 472ccff Replace all uses of PathV1::getLast with PathV2::filename. by Michael J. Spencer · 14 years ago
  12. 256053b Replace all uses of PathV1::isAbsolute with PathV2::is_{absolute,relative}. by Michael J. Spencer · 14 years ago
  13. cb9cebc Remove explicit summaries from retain/release by Ted Kremenek · 14 years ago
  14. bb8fef3 Move CocoaConventions.[h,cpp] from libChecker by Ted Kremenek · 14 years ago
  15. af86b0c Revise Cocoa conventions detection: 'copy' and 'mutableCopy' by Ted Kremenek · 14 years ago
  16. 0a3ed31 Rename several methods/functions in the analyzer by Ted Kremenek · 14 years ago
  17. 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
  18. 723df24 Added missing IgnoreParens(). by Abramo Bagnara · 14 years ago
  19. 49f4e1c It's kindof silly that ExtQuals has an ASTContext&, and we can use that by John McCall · 14 years ago
  20. f187237 Remove the TypesCompatibleExprClass AST node. Merge its functionality into BinaryTypeTraitExpr. by Francois Pichet · 14 years ago
  21. 9f71a8f PR5207: Change APInt methods trunc(), sext(), zext(), sextOrTrunc() and by Jay Foad · 14 years ago
  22. 6ad6f28 Type traits intrinsic implementation: __is_base_of(T, U) by Francois Pichet · 14 years ago
  23. 4765fa0 Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoretical by John McCall · 14 years ago
  24. 0074b48 Mark SVal constructors 'explicit'. by Ted Kremenek · 14 years ago
  25. 4658463 Rename Environment::LookupExpr() to by Ted Kremenek · 14 years ago
  26. 00eb3f9 More anonymous struct/union redesign. This one deals with anonymous field used in a constructor initializer list: by Francois Pichet · 14 years ago
  27. f6a1648 Although we currently have explicit lvalue-to-rvalue conversions, they're by John McCall · 14 years ago
  28. 640ccf0 Minor refactoring; have BugReport::getRanges return a pair of iterator, no functionality change. by Argyrios Kyrtzidis · 14 years ago
  29. 40406fe Fix an insidious bug in BugReporter where by Ted Kremenek · 14 years ago
  30. 8673a68 Also include the pointer address of the ExplodedNode by Ted Kremenek · 14 years ago
  31. 774dfbb Also show notes about the taken path in TextPathDiagnostics. by Argyrios Kyrtzidis · 14 years ago
  32. a599ae8 Remove leftover code and use the text path diagnostic client even without a specified output file since by Argyrios Kyrtzidis · 14 years ago
  33. ebd4f52 Introduce TextPathDiagnostics, a simple PathDiagnosticClient that outputs as diagnostic notes by Argyrios Kyrtzidis · 14 years ago
  34. b6b7e7b Handle any number of SourceRanges inside BugReporter::FlushReport. by Argyrios Kyrtzidis · 14 years ago
  35. f928dca Rename Create[*]DiagnosticClient -> create[*]DiagnosticClient. by Argyrios Kyrtzidis · 14 years ago
  36. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 14 years ago
  37. 12f78a6 Simplify the ASTs by consolidating ObjCImplicitGetterSetterExpr and ObjCPropertyRefExpr by John McCall · 14 years ago
  38. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 14 years ago
  39. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 14 years ago
  40. 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 14 years ago
  41. 0ae287a Restore the lvalue-to-rvalue conversion patch with a minimal fix. by John McCall · 14 years ago
  42. 20fbe7c L-value to r-value conversion is not ready for prime-time. by John McCall · 14 years ago
  43. 7e48579 Introduce an r-value to l-value cast kind. I'm not promising anything by John McCall · 14 years ago
  44. 03013fa Merge System into Support. by Michael J. Spencer · 14 years ago
  45. 110eaf1 Do not use StripCasts() in this context. by Zhongxing Xu · 14 years ago
  46. b1dbe0e Should not use StripCasts() in this context. by Zhongxing Xu · 14 years ago
  47. 02fe28c Rename CXXObjectRegion to CXXTempObjectRegion. by Zhongxing Xu · 14 years ago
  48. 4fd5681 Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion. by Zhongxing Xu · 14 years ago
  49. dc1ad2c Add a fixme. by Zhongxing Xu · 14 years ago
  50. 2210490 For CFGAutomaticObjDtor, the type may be reference type, e.g., const A &c = A(); by Zhongxing Xu · 14 years ago
  51. 0e38d5d handle CXXFunctionalCastExpr in visitLValue and Environment. by Zhongxing Xu · 14 years ago
  52. 8ed119f Improve comments. by Zhongxing Xu · 14 years ago
  53. e1aeb13 Add dump method. by Zhongxing Xu · 14 years ago
  54. 3230302 When getting CXXThisRegion from CXXMethodDecl, use the qualifiers. This is by Zhongxing Xu · 14 years ago
  55. d706434 Let StackFrameContext represent if the call expr is evaluated as lvalue. by Zhongxing Xu · 14 years ago
  56. 19b78d9 Use StackFrameContext directly in CallEnter program point. Then we don't need by Zhongxing Xu · 14 years ago
  57. cca8ab1 Add an assert() to catch errors using EvalLoad(). Reviewed by kremenek. by Zhanyong Wan · 14 years ago
  58. 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 14 years ago
  59. ba09cbb Add comments. by Zhongxing Xu · 14 years ago
  60. cf84887 Fix a typo in EnvironmentManager::bindExprAndLocation(). Reviewed by kremenek. by Zhanyong Wan · 14 years ago
  61. b13453b Handle CFGAutomaticObjDtor. by Zhongxing Xu · 14 years ago
  62. f2224d8 Since multiple diagnostics can share one diagnostic client, have the client keeping track by Argyrios Kyrtzidis · 14 years ago
  63. 33e4e70 Refactoring of Diagnostic class. by Argyrios Kyrtzidis · 14 years ago
  64. 6a02b60 Added method for handling CXXOperatorCallExpr differently from CallExpr if CXXOperatorCallExpr represents method call. by Marcin Swiderski · 14 years ago
  65. 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
  66. 4ffcb99 Add skeleton for handling various cfg dtors. by Zhongxing Xu · 14 years ago
  67. 8d6e89e do not do post checks. Because at this point we just enter the call. by Zhongxing Xu · 14 years ago
  68. 75072f2 Remove comments. We are already doing actual method call by inlining it. by Zhongxing Xu · 14 years ago
  69. 0aac2ba Added mapping from 'this' to it's SymbolicRegion in BasicStoreManager::getInitialStore. by Marcin Swiderski · 14 years ago
  70. 8fec972 Add comments. by Ted Kremenek · 14 years ago
  71. b12fbc2 Static analyzer: Catch calls to malloc() with allocation sizes of 0 bytes. by Ted Kremenek · 14 years ago
  72. b168cbf Reverting r119341: doesn't compile, no obvious fix. by John McCall · 14 years ago
  73. 051beb5 Refactored GRExprEngine::getCXXThisRegion to use CXXMethodDecl::getThisType instead of calculating it by hand. by Marcin Swiderski · 14 years ago
  74. 9dc84c9 Handle member initializer in C++ ctor. by Zhongxing Xu · 14 years ago
  75. 11b39d4 Basic support for C++ in BasicStore: by Marcin Swiderski · 14 years ago
  76. e2b7688 Kill CK_Unknown and flesh out the documentation for the existing CastKinds. by John McCall · 14 years ago
  77. 7cd7d1a Add a new expression kind, OpaqueValueExpr, which is useful for by John McCall · 14 years ago
  78. 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
  79. 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
  80. daa8e4e Assorted work leading towards the elimination of CK_Unknown. by John McCall · 14 years ago
  81. 9c6cd67 Add skeleton for handling other kinds of CFGElements. by Zhongxing Xu · 14 years ago
  82. f3ea8cf Add a few more complex-related cast kinds that arise due to arbitrary by John McCall · 14 years ago
  83. 2bb5d00 Introduce five new cast kinds for various conversions into and by John McCall · 14 years ago
  84. ed02366 Refine IdempotentOperationChecker::PathWasCompletelyAnalyzed() to also check by Ted Kremenek · 14 years ago
  85. 33d4626 Teach IdempotentOperations::PathWasCompletelyAnalyzed to also consider items remaining in the by Ted Kremenek · 14 years ago
  86. 3e47b48 Add GRWorkList::VisitItemsInWorkList() to allow a client to introspect the contents of a worklist. by Ted Kremenek · 14 years ago
  87. 404cd16 Introduce a null-to-pointer implicit cast kind. by John McCall · 14 years ago
  88. cb7b1e1 Make sure to always check the result of by Douglas Gregor · 14 years ago
  89. 29836f9 RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete addresses; instead return UnknownVal. This by Ted Kremenek · 14 years ago
  90. bb0ba0b Teach AttrNonNullChecker about transparent unions. Fixes crash reported in <rdar://problem/8642434>. by Ted Kremenek · 14 years ago
  91. 67e40d4 Only enable the ObjCAtSyncChecker when the translation unit uses Objective-C. by Ted Kremenek · 14 years ago
  92. 90d26a4 Teach the CStringChecker and PthreadLockChecker about non-identifier by Douglas Gregor · 14 years ago
  93. 7ce351d Now initializer of C++ record type is visited as block-level expr. by Zhongxing Xu · 14 years ago
  94. 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
  95. 74faec2 Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically false positives). by Ted Kremenek · 14 years ago
  96. ed50a8a Don't warn about unamed bitfield ivars in the ObjCUnusedIvarsChecker. Fixes <rdar://problem/8481311>. by Ted Kremenek · 14 years ago
  97. c1143e5 Fix lazy symbolication bug in RegionStore involving fields of global variables. When invalidated, the entire by Ted Kremenek · 14 years ago
  98. d45d59f Move 'includeGlobals' as a field into ClusterAnalysis. by Ted Kremenek · 14 years ago
  99. 646c3c3 Tweak null dereference checker to give better diagnostics for null dereferences resulting from array accesses. by Ted Kremenek · 14 years ago
  100. 0d4f767 Add check for UnknownVals for mutexes in ObjCAtSyncChecker. Fixes crash reported in PR 8458. by Ted Kremenek · 14 years ago