Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ff6f66e33f234d4bba16c9149476d691e2c96ca9 / lib / Checker / MemRegion.cpp
  1. 32f9010 Discard qualifiers for ElementRegions so that a 'const' doesn't change the lookup semantics by Ted Kremenek · 14 years ago
  2. 900fc63 Add raw_ostream operators to NamedDecl for convenience. Switch over all users of getNameAsString on a stream. by Benjamin Kramer · 14 years ago
  3. 68b9a59 Teach MemRegion::getBaseRegion() about ObjCIvarRegions. We want to treat by Ted Kremenek · 14 years ago
  4. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 14 years ago
  5. c30470d For inline-based inter-procedural analysis, we will have multiple stack space regions. Use a dense map to store them. by Zhongxing Xu · 14 years ago
  6. 952b017 Eliminate the ASTContext parameter from RecordDecl::getDefinition() by Douglas Gregor · 14 years ago
  7. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
  8. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/Analysis/MemRegion.cpp]
  9. 199c3d6 Roll out ASTContext::getTypeSizeInChars(), replacing instances of by Ken Dyck · 15 years ago
  10. bc37b8d When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 15 years ago
  11. de0d263 Make static analysis support for C++ 'this' expression context-sensitive. Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it. by Ted Kremenek · 15 years ago
  12. c410d4d Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 15 years ago
  13. bb14121 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 15 years ago
  14. 5348f94 Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference by Ted Kremenek · 15 years ago
  15. 2b87ae4 Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>. by Ted Kremenek · 15 years ago
  16. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  17. b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
  18. bcd7f9f More template-logic for MemRegion construction out of MemRegion.h and into MemRegion.cpp. by Ted Kremenek · 15 years ago
  19. 81cef58 Make BlockDataRegion::referenced_vars_iterator an actual class that enforces that all MemRegions iterated over are VarRegions. by Ted Kremenek · 15 years ago
  20. 02b1df6 Provide the correct vector size for referenced variables. by Ted Kremenek · 15 years ago
  21. 4240096 Add iterators to BlockDataRegion that allow clients to iterate over the VarRegions for "captured" variables for a block. by Ted Kremenek · 15 years ago
  22. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
  23. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  24. adca271 Refine PointerSubChecker: compare the base region instead of the original by Zhongxing Xu · 15 years ago
  25. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  26. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  27. abd46e1 Use SymbolicRegion instead of CodeTextRegion for symbolic function by Ted Kremenek · 15 years ago
  28. 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
  29. d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 15 years ago
  30. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  31. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  32. 0e3ec3f Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions with by Ted Kremenek · 15 years ago
  33. b27ed3d Implement FIXME in pretty-printing for StringRegions. by Ted Kremenek · 15 years ago
  34. bcfe03a Improve debug pretty-printing for ObjCIVarRegions. by Ted Kremenek · 15 years ago
  35. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 15 years ago
  36. 6f9b3a4 Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream. by Ted Kremenek · 15 years ago
  37. aef5d22 When pretty-printing symbolic regions, use '{' ... '}' to indicate the symbol used for the region (makes it easier to read for nested regions). by Ted Kremenek · 15 years ago
  38. 8800ad4 Change pretty-printing API for SymExprs and MemRegions to use a naming convention and style similar to other elements in Clang. by Ted Kremenek · 15 years ago
  39. eeea456 Rename potentially ambiguous member template 'getRegion' to 'getSubRegion' to hopefully resolve template lookup ambiguities on some compilers. by Ted Kremenek · 15 years ago
  40. dc14726 Enhance RegionStore to lazily symbolicate fields and array elements for by Ted Kremenek · 15 years ago
  41. 1508636 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 15 years ago
  42. d05552a Add a separate MemSpaceRegion for function/method arguments passed on the stack. by Ted Kremenek · 15 years ago
  43. 7f39d29 Remove commented methods. Add MemRegion::printStdErr(). by Ted Kremenek · 15 years ago
  44. e4f2142 Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. by Chris Lattner · 15 years ago
  45. bb7c96f - Add MemRegion::getMemorySpace() by Ted Kremenek · 15 years ago
  46. ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 15 years ago
  47. 0dea524 MemRegionManager: Migrate logic for getCodeTextRegion() over to using by Zhongxing Xu · 15 years ago
  48. dd198f0 Remove duplicated methods. by Zhongxing Xu · 15 years ago
  49. a43484a MemRegions: by Ted Kremenek · 15 years ago
  50. 7ae7ad9 MemRegionManager: Migrate logic for getAllocaRegion() over to using trait-based MemRegion creation. by Ted Kremenek · 15 years ago
  51. ded1221 MemRegionManager: Migrate getObjCObjectRegion() and getTypedViewRegion() to use by Ted Kremenek · 15 years ago
  52. 6304b08 Migrate factory methods for FieldRegion and ObjCIVarRegion creation to use the by Ted Kremenek · 15 years ago
  53. 2501013 Refactor some of the logic in MemRegionManager for constructing regions using by Ted Kremenek · 15 years ago
  54. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 15 years ago
  55. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 15 years ago
  56. 4c44e24 The super region of ElementRegion no longer needs to be TypedRegion. In the by Zhongxing Xu · 15 years ago
  57. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 15 years ago
  58. 82539b0 MemRegion pretty-printing: Convert DeclName to a string to print out the actual by Ted Kremenek · 15 years ago
  59. 72e0320 Recommit 69694 but this time also include the header changes (sorry for breaking by Ted Kremenek · 15 years ago
  60. a37221e Revert 69694 (use of undefined getSymbol) by Daniel Dunbar · 15 years ago
  61. e051308 Add pretty-printing for CodeTextRegions. by Ted Kremenek · 15 years ago
  62. 5639a3e Lexically order the implementation of MemRegion 'print' methods. No functionality change. by Ted Kremenek · 15 years ago
  63. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 15 years ago
  64. ec13d92 Add prototype for CodeTextRegion. by Zhongxing Xu · 15 years ago
  65. e8e8648 Re-apply 68028. The code had drifted enough that the tests would fail without by Ted Kremenek · 15 years ago
  66. 782582d Revert 68028. by Ted Kremenek · 15 years ago
  67. a45fec1 Make SymbolicRegion untyped. by Zhongxing Xu · 15 years ago
  68. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
  69. b2dea73 Add TypedViewRegion::isBoundable() to indicate whether or not the by Ted Kremenek · 15 years ago
  70. 1b9b883 MemRegion: by Ted Kremenek · 15 years ago
  71. 41168ea Added the notion of a "boundable region", which is a region that can have a direct binding in the StoreManager. by Ted Kremenek · 15 years ago
  72. 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 15 years ago
  73. 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 15 years ago
  74. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
  75. 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 16 years ago
  76. 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
  77. 8318304 Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer. by Ted Kremenek · 16 years ago
  78. c496f14 When getting the element region type, we should get the rvalue type of the super by Zhongxing Xu · 16 years ago
  79. e2916d6 StringRegion::print: Remove copy/paste code and just call Stmt::printPretty() for the StringLiteral. by Ted Kremenek · 16 years ago
  80. 7e5d6ed Add isSubRegionOf() method to SubRegion. by Zhongxing Xu · 16 years ago
  81. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  82. 500d2ee Add pretty-printing for AnonTypedRegion. by Ted Kremenek · 16 years ago
  83. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  84. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  85. c545862 Identify AnonPointeeRegion by the symbol that is concretized. by Zhongxing Xu · 16 years ago
  86. 3bb662a AnonPointeeRegions are now identified by the MemRegion of the pointer pointing by Zhongxing Xu · 16 years ago
  87. 562731e Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber(). by Ted Kremenek · 16 years ago
  88. 6d0e2d2 Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which will soon be removed). by Ted Kremenek · 16 years ago
  89. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  90. d9d22dd Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of by Chris Lattner · 16 years ago
  91. 34265e7 Fold assertion into second valid else branch. This removes a compiler warning by Ted Kremenek · 16 years ago
  92. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
  93. 56af977 Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion's by Zhongxing Xu · 16 years ago
  94. d2f016f Fix StringLiteral print bug. by Zhongxing Xu · 16 years ago
  95. cc128b3 Add pretty printing to StringRegion. by Zhongxing Xu · 16 years ago
  96. 817c67d - Remove AnonTypedRegion, which is not to be used. by Zhongxing Xu · 16 years ago
  97. 7090ae1 Added AllocaRegion, which represents regions created by calls to alloca(). by Ted Kremenek · 16 years ago
  98. 9a1f03a Pull determination of the super region for a VarRegion into a single getVarRegion() method. This provides a common clean API for clients. by Ted Kremenek · 16 years ago
  99. 329d6fd Added CompoundLiteralRegion to represent the (temporary) memory allocated for a compound literal. by Ted Kremenek · 16 years ago
  100. 27b5706 An ElementRegion is really a typed region. Its super region's type has to be ArrayType. by Zhongxing Xu · 16 years ago