Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 1f9bd0fbf5894b41bba5f2fdb0c6546a7a6ef3d8 / lib / Analysis
  1. 1f9bd0f PathDiagnostics (analyzer): by Ted Kremenek · 16 years ago
  2. 8430456 Move "regions" analyzer design document to 'docs'. by Ted Kremenek · 16 years ago
  3. 4b8f99b Simplify some code. No functionality change. by Zhongxing Xu · 16 years ago
  4. 7fddc33 Check in some design documents to centralize ideas around region store and the by Zhongxing Xu · 16 years ago
  5. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  6. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 16 years ago
  7. 68ac94a analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 16 years ago
  8. 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 16 years ago
  9. bb9b271 GRExprEngine: by Ted Kremenek · 16 years ago
  10. 7037ab8 retain/release checker: Tracking autorelease counts for objects. We're still not by Ted Kremenek · 16 years ago
  11. 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
  12. ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
  13. c2fdb07 Use a work list to recursively build up the subregion mapping, and mark live by Zhongxing Xu · 16 years ago
  14. 6199190 Stub out some code for support for NSDeallocateObject. This is enabled yet until by Ted Kremenek · 16 years ago
  15. f95e9fc retain/release checker: Add support for reasoning about -dealloc. by Ted Kremenek · 16 years ago
  16. a393e9e Build system changes to use TableGen to generate the various by Douglas Gregor · 16 years ago
  17. 8be2a67 Fix PR 3677 [retain checker]: custom 'allocWithZone' methods should be allowed by Ted Kremenek · 16 years ago
  18. 6ae8a36 Add a hack in the analyzer to recover some path-sensitivity at branch by Ted Kremenek · 16 years ago
  19. 1060a3c Updated comment. by Ted Kremenek · 16 years ago
  20. 610e81d Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the target by Ted Kremenek · 16 years ago
  21. 10aa554 Use the correct data structures! by Ted Kremenek · 16 years ago
  22. 082cb8d PathDiagnostics: by Ted Kremenek · 16 years ago
  23. 9d8d0fc Add comments. by Zhongxing Xu · 16 years ago
  24. b13ecdb Use getAsRecordType() to get around sugar types. by Zhongxing Xu · 16 years ago
  25. d3ad531 Remove '[naming convention]' from bug type. by Ted Kremenek · 16 years ago
  26. b2dea73 Add TypedViewRegion::isBoundable() to indicate whether or not the by Ted Kremenek · 16 years ago
  27. c45a825 Do not stipulate the record type is a definition in BindStruct(). by Zhongxing Xu · 16 years ago
  28. 2b1dc17 Fix crash when LHS of pointer arithmetic is not ElementRegion. by Zhongxing Xu · 16 years ago
  29. ac6ff48 RegionStore::getLValueElement: Handle the case where the signedness of the by Ted Kremenek · 16 years ago
  30. 21028dd GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the Condition is null. by Ted Kremenek · 16 years ago
  31. fa6228d Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not by Ted Kremenek · 16 years ago
  32. 0bed8a1 GRExprEngine: Add pretty-stack trace printing for crashes and assertion failures. by Ted Kremenek · 16 years ago
  33. 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 16 years ago
  34. 276c6ac GRExprEngine: For places we might conjure up a new symbol to recover by Ted Kremenek · 16 years ago
  35. 66b5271 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 16 years ago
  36. 940abcc Use the BugReports in BugReporter to determine the root nodes for "trim-egraph". by Ted Kremenek · 16 years ago
  37. 4a77edb Remove some now-unneeded calls to llvm::errs().flush(). by Daniel Dunbar · 16 years ago
  38. 0e5c8d4 BugReporter: by Ted Kremenek · 16 years ago
  39. 25d01ba retain/release checker: Allow allocations to fail by returning nil. by Ted Kremenek · 16 years ago
  40. de7ec63 RegionStore::getElementLValue(): Handle the case where the base is a null pointer. by Ted Kremenek · 16 years ago
  41. 214c6cb Teach GRSimpleVals::EvalNE and GRSimplVals::EvalEQ about TypedRegionViews and by Ted Kremenek · 16 years ago
  42. fda79d1 Remove some dead spacing. No functionality change. by Ted Kremenek · 16 years ago
  43. ff8d204 Only track integer and pointer values. by Zhongxing Xu · 16 years ago
  44. 1038f9f Now we do not retrieve untyped regions. by Zhongxing Xu · 16 years ago
  45. bd4f745 Fix a serious bug in RegionStore: we got the new state with new store from by Zhongxing Xu · 16 years ago
  46. 1fbfd5b Create PathDiagnosticPiece subclasses PathDiagnosticEventPiece and by Ted Kremenek · 16 years ago
  47. 4e06387 Start work on subclassing PathDiagnosticPiece to distinguish more between control-flow pieces, events, etc. by Ted Kremenek · 16 years ago
  48. 4850451 Fix regression: initialize 'size' for PathDiagnostic to 0. by Ted Kremenek · 16 years ago
  49. a127cca Like PathDiagnosticPieces, strip trailing periods at the end of PathDiagnostic descriptions by Ted Kremenek · 16 years ago
  50. 5c42f9b Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers. by Ted Kremenek · 16 years ago
  51. bf0a4dd Minor tweak: Recognize 'CGCF' prefix in addition to 'CF' and 'CG'. by Ted Kremenek · 16 years ago
  52. c530291 Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions. by Ted Kremenek · 16 years ago
  53. f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 16 years ago
  54. 39fc715 Minor code compaction. No functionality change. by Ted Kremenek · 16 years ago
  55. 2c8e788 Rename VarBindings -> Bindings. by Ted Kremenek · 16 years ago
  56. be91224 BasicStore: by Ted Kremenek · 16 years ago
  57. 3de2d3c Add initial support for tracking ivars, with special handling for ivars of 'self'. by Ted Kremenek · 16 years ago
  58. ac78d6b Add 'cast<>' to remove an extra function call and dynamic cast. by Ted Kremenek · 16 years ago
  59. e121da4 More fixes in cast logic. by Ted Kremenek · 16 years ago
  60. efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
  61. 16aac32 Fix regression in transparent translation of nonloc::ConcreteInto to loc::ConcreteInt. by Ted Kremenek · 16 years ago
  62. 452c31e Fix message title by Ted Kremenek · 16 years ago
  63. 3aa7ecd For now, do not track NSWindow objects and it's subclasses. by Ted Kremenek · 16 years ago
  64. d104a09 Add prototype support for invalidating fields for structures passed-by-reference by Ted Kremenek · 16 years ago
  65. 1b9b883 MemRegion: by Ted Kremenek · 16 years ago
  66. a880b66 Add an optional "tag" to conjured symbols that allows us to distinguish between by Ted Kremenek · 16 years ago
  67. a4cb9d3 GRExprEngine::VisitCast: Just pass through function and block pointers. by Ted Kremenek · 16 years ago
  68. 63d1d60 Adjust indentation. by Zhongxing Xu · 16 years ago
  69. 41168ea Added the notion of a "boundable region", which is a region that can have a direct binding in the StoreManager. by Ted Kremenek · 16 years ago
  70. cec3525 RegionStore: Handle implicit parameters. by Ted Kremenek · 16 years ago
  71. dc40290 Create "TypedViewRegions" that layer on top of SymbolicRegions when handling by Ted Kremenek · 16 years ago
  72. 3f4d5ab Use GetSValAsScalarOrLoc instead of GetSVal to prevent unintended structure or array "loads". by Ted Kremenek · 16 years ago
  73. 1cb151e Add "GetSValAsScalarOrLoc" methods to GRState/GRStateRef that only perform a by Ted Kremenek · 16 years ago
  74. 02c4d2d RegionStore::RemoveDeadBindings needs to check all the symbols of the super region of a scanned region as well. by Ted Kremenek · 16 years ago
  75. 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 16 years ago
  76. 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 16 years ago
  77. 3e9061f Fix case where we should use dyn_cast instead of cast. by Ted Kremenek · 16 years ago
  78. 6076e0a Fix extra ';' bug noticed by Mike Stump. by Ted Kremenek · 16 years ago
  79. 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 16 years ago
  80. 59e8f11 Add StoreManager::getSubRegionMap(). This method returns an opaque mapping for clients of StoreManagers from MemRegions to their subregions. by Ted Kremenek · 16 years ago
  81. 025fedc BugReporter: Construct path-related PathDiagnosticPieces with kind "ControlFlow". by Ted Kremenek · 16 years ago
  82. e3ce265 For now, do not output the 'DisplayHint' in plist files. by Ted Kremenek · 16 years ago
  83. 588fdfa remove an implemented fixme. by Zhongxing Xu · 16 years ago
  84. 94aa6c1 Initial support for pointer arithmetic. Only support concrete indexes and by Zhongxing Xu · 16 years ago
  85. e1bd4e6 Rename lib/Driver (etc) to lib/Frontend in prep for the *actual* by Daniel Dunbar · 16 years ago
  86. 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 16 years ago
  87. 17a8e07 Adjust wording of bug names. by Ted Kremenek · 16 years ago
  88. f5cae63 Revert 65707 (causes stack memory to be referenced after it is released). by Ted Kremenek · 16 years ago
  89. 56627e6 remove static ctor. by Chris Lattner · 16 years ago
  90. 161d36d improve compatibility with the VC++'08 C++ compiler. Patch by Niklas Larsson! by Chris Lattner · 16 years ago
  91. 9b5e505 When retrieving the location of a Node, for MemberExprs use the location of the by Ted Kremenek · 16 years ago
  92. 72564e7 Create a new TypeNodes.def file that enumerates all of the types, by Douglas Gregor · 16 years ago
  93. 8af2975 PathDiagnosticPiece now automatically strips off trailing periods in diagnostic messages. by Ted Kremenek · 16 years ago
  94. e198116 Refine some grammar in the retain/release diagnostics. by Ted Kremenek · 16 years ago
  95. 4b2d3f7 Introduce code modification hints into the diagnostics system. When we by Douglas Gregor · 16 years ago
  96. 3daea0a Use Loc::IsLocType() instead of isPointerType() and isReferenceType(). by Ted Kremenek · 16 years ago
  97. 24a9f6e Drop uses of isPointerLikeType. - No functionality change. by Daniel Dunbar · 16 years ago
  98. b293902 Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the same statement. by Ted Kremenek · 16 years ago
  99. 3579073 Fix recently introduced switch case fallthrough bug. by Ted Kremenek · 16 years ago
  100. 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 16 years ago