Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 465373946b5ae84f7c3d890cc25cb23fd88dd650 / lib / Analysis / RegionStore.cpp
  1. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 16 years ago
  2. 75185b5 Use utility method to create 0-index into ElementRegion. by Ted Kremenek · 16 years ago
  3. 5bd2fe3 Enhance RegionStore's reasoning about Objective-C ivars. More testing to follow. by Ted Kremenek · 16 years ago
  4. d79bf55 Use utility method. by Zhongxing Xu · 16 years ago
  5. 41fb0df Relax assertion. by Ted Kremenek · 16 years ago
  6. a6275a5 More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. by Ted Kremenek · 16 years ago
  7. 60fbe8f Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do this by silently wrapping the region with an ElementRegion. This fixes the failures in misc-ps-region-store.m. by Ted Kremenek · 16 years ago
  8. 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 16 years ago
  9. 6f9b3a4 Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream. by Ted Kremenek · 16 years ago
  10. 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 · 16 years ago
  11. 3bccf08 Restructure RegionStoreManager::EvalBinOp() as a switch dispatch over different by Ted Kremenek · 16 years ago
  12. 7ecbfbc Restructure RegionStoreManager::getSizeInElements() to use a switch statement by Ted Kremenek · 16 years ago
  13. 48ce7de Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager by Ted Kremenek · 16 years ago
  14. 8834af3 remove utility methods that are not very useful. by Zhongxing Xu · 16 years ago
  15. ed2c291 Remove unused method. by Ted Kremenek · 16 years ago
  16. bb2b433 Replace guarded calls in RegionStoreManager to by Ted Kremenek · 16 years ago
  17. dc14726 Enhance RegionStore to lazily symbolicate fields and array elements for by Ted Kremenek · 16 years ago
  18. 1508636 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 16 years ago
  19. 8b2ba31 Minor code cleanup: pull variables into scope of 'if' statement, limiting their by Ted Kremenek · 16 years ago
  20. 921109a Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to by Ted Kremenek · 16 years ago
  21. 5ff8e8c add fixme. by Zhongxing Xu · 16 years ago
  22. 7abe019 When retrieving element region, if its super region has binding, return by Zhongxing Xu · 16 years ago
  23. 17945a0 De-ASTContext-ify DeclContext. by Argyrios Kyrtzidis · 16 years ago
  24. 99c2030 Adjust retrieve handler priority. If a field is of array type, it should be by Zhongxing Xu · 16 years ago
  25. 87453d1 Do not crash on binding concrete integer location. by Zhongxing Xu · 16 years ago
  26. 5c73462 Update method signature. by Ted Kremenek · 16 years ago
  27. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  28. e4df9c4 remove RegionKills GDM. Now UnknownVal is bound to regions explicitly. by Zhongxing Xu · 16 years ago
  29. c00346f Move element region retrieving logic into a separate function. by Zhongxing Xu · 16 years ago
  30. 490b0f0 Move all logic for retrieving ElementRegion binding into a separate method. by Zhongxing Xu · 16 years ago
  31. 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  32. e8ab9ea use a concrete type instead of a trait type to make code more readable. by Zhongxing Xu · 16 years ago
  33. e3a765f RegionStore: revert to the default value approach for array initialization. by Zhongxing Xu · 16 years ago
  34. bb7c96f - Add MemRegion::getMemorySpace() by Ted Kremenek · 16 years ago
  35. ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 16 years ago
  36. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
  37. 3038c5a ValueManager::makeNonLoc -> ValueManager::makeIntVal by Zhongxing Xu · 16 years ago
  38. dbdf219 If the init list is fewer than the struct fields, bind the rest fields to 0 by Zhongxing Xu · 16 years ago
  39. 087d6c2 Instead of setting the default value of the array region, bind the rest of the by Zhongxing Xu · 16 years ago
  40. dd198f0 Remove duplicated methods. by Zhongxing Xu · 16 years ago
  41. 83298da add a fixme. by Zhongxing Xu · 16 years ago
  42. 99823a7 Allow CodeTextRegion to be cast to 'void *'. by Zhongxing Xu · 16 years ago
  43. 5414a5c Return UnknownVal for pointer arithmetic on struct fields. by Zhongxing Xu · 16 years ago
  44. 005f07b If the SymbolicRegion was cast to another type, use that type to create the by Zhongxing Xu · 16 years ago
  45. 88c675f When casting region, if we do not create an element region, record the cast-to by Zhongxing Xu · 16 years ago
  46. d1b3c2d First step toward fixing <rdar://problem/6613046> refactor clang objc type representation. by Steve Naroff · 16 years ago
  47. 67f2853 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 16 years ago
  48. 9af46f5 RegionStoreManager: by Ted Kremenek · 16 years ago
  49. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  50. f0ec39a Stop tracking non-compound value for struct. It may be caused by imprecise cast by Zhongxing Xu · 16 years ago
  51. 53454dc use getAsPointerType() method. by Zhongxing Xu · 16 years ago
  52. 3f6978a Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the by Zhongxing Xu · 16 years ago
  53. b7507d1 Use more robust getAsRecordType() method. by Zhongxing Xu · 16 years ago
  54. 9184412 Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). by Zhongxing Xu · 16 years ago
  55. 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
  56. 4e60900 Silence a Release-Asserts warning. by Daniel Dunbar · 16 years ago
  57. 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
  58. c87d5fb When retrieving an ElementRegion, if its super region is a StringRegion, by Zhongxing Xu · 16 years ago
  59. 2ee5214 Fix a bug that leads to infinite loop. Set the correct element type to by Zhongxing Xu · 16 years ago
  60. 5bf3287 When casting VarRegion, if the var type is aggregate type and the cast-to by Zhongxing Xu · 16 years ago
  61. 75eb5ba Remove the rest TypedViewRegion processing code. There should be no by Zhongxing Xu · 16 years ago
  62. c4761f5 When evaluating pointer arithmetic, if the base location is a symbolic region, by Zhongxing Xu · 16 years ago
  63. 8a9bf4a Do not create a TypedViewRegion when the base struct region is a symbolic by Zhongxing Xu · 16 years ago
  64. ce76078 Do not layer a TypedViewRegion when casting symbolic or alloca regions. by Zhongxing Xu · 16 years ago
  65. db3a098 Remove the case for casting to compatible type in by Zhongxing Xu · 16 years ago
  66. d9b6ad6 Rename: by Zhongxing Xu · 16 years ago
  67. a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
  68. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  69. a3eda83 Fix PR4182. by Zhongxing Xu · 16 years ago
  70. 2572eda Region store: when casting VarRegions, if the cast-to pointee type is by Zhongxing Xu · 16 years ago
  71. fb1e331 Replace the heuristic isSmallerThan with ASTContext::getTypeSize(). by Zhongxing Xu · 16 years ago
  72. e6536af Replace getTypeWidth() with ASTContext::getTypeSize(). by Zhongxing Xu · 16 years ago
  73. a15f7ac Revert r71079. by Zhongxing Xu · 16 years ago
  74. 41fd018 Improve RegionStoreManager::getSizeInElements() by Zhongxing Xu · 16 years ago
  75. 2079494 Add a GDM for recording the cast type of regions. by Zhongxing Xu · 16 years ago
  76. ccb1616 Implement a heuristic type size comparison method for now. by Zhongxing Xu · 16 years ago
  77. 02f7ed7 remove commented code. by Zhongxing Xu · 16 years ago
  78. 8898059 Make StoreManager::CastRegion() virtual and implement a new CastRegion() for by Zhongxing Xu · 16 years ago
  79. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
  80. 3e001f3 region store: make Retrieve() can retrieve embedded array correctly. Also by Zhongxing Xu · 16 years ago
  81. 5c86b19 SymbolicRegions may also be live roots. by Zhongxing Xu · 16 years ago
  82. c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 16 years ago
  83. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 16 years ago
  84. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  85. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
  86. 6ab3524 Propagate the ASTContext to various AST traversal and lookup functions. by Douglas Gregor · 16 years ago
  87. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
  88. e8e8648 Re-apply 68028. The code had drifted enough that the tests would fail without by Ted Kremenek · 16 years ago
  89. 782582d Revert 68028. by Ted Kremenek · 16 years ago
  90. a45fec1 Make SymbolicRegion untyped. by Zhongxing Xu · 16 years ago
  91. f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
  92. 73b6a44 remove dead code. by Zhongxing Xu · 16 years ago
  93. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  94. c2fdb07 Use a work list to recursively build up the subregion mapping, and mark live by Zhongxing Xu · 16 years ago
  95. 1060a3c Updated comment. by Ted Kremenek · 16 years ago
  96. 610e81d Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the target by Ted Kremenek · 16 years ago
  97. b13ecdb Use getAsRecordType() to get around sugar types. by Zhongxing Xu · 16 years ago
  98. c45a825 Do not stipulate the record type is a definition in BindStruct(). by Zhongxing Xu · 16 years ago
  99. 2b1dc17 Fix crash when LHS of pointer arithmetic is not ElementRegion. by Zhongxing Xu · 16 years ago
  100. ac6ff48 RegionStore::getLValueElement: Handle the case where the signedness of the by Ted Kremenek · 16 years ago