Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ff6f66e33f234d4bba16c9149476d691e2c96ca9 / lib / Checker / Store.cpp
  1. 856c6bc Analyzer: add support for CXXNewExpr. by Zhongxing Xu · 14 years ago
  2. 974d97b Fix crash in StoreManager::CastRegion() when the base region is a type with 0 size. by Ted Kremenek · 15 years ago
  3. 952b017 Eliminate the ASTContext parameter from RecordDecl::getDefinition() by Douglas Gregor · 15 years ago
  4. 5253568 Unify the implementation of getLValueElement of store managers. by Zhongxing Xu · 15 years ago
  5. c1511e0 Unify the implementation of getLValueIvar and getLValueField of store managers. by Zhongxing Xu · 15 years ago
  6. 459731d Move common methods to the base StoreManager class. by Zhongxing Xu · 15 years ago
  7. 2a393db ASTContext is now a reference member of StoreManager. by Zhongxing Xu · 15 years ago
  8. b4a9c61 More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
  9. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/Analysis/Store.cpp]
  10. 199c3d6 Roll out ASTContext::getTypeSizeInChars(), replacing instances of by Ken Dyck · 15 years ago
  11. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
  12. 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
  13. c410d4d Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 15 years ago
  14. bb14121 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 15 years ago
  15. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 15 years ago
  16. 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
  17. 2f4a6b2 OSAtomic simulation: use the original region as the location to load from, by Zhongxing Xu · 15 years ago
  18. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  19. 81a9583 Add batch version of 'StoreManager::InvalidateRegion()' for invalidating multiple regions as once. After adopting this in the CFRefCount::EvalCall(), we see a reduction in analysis time of 1.5% when analyzing all of SQLite3. by Ted Kremenek · 15 years ago
  20. bf0fe6c Add missing case in switch statement. by Ted Kremenek · 15 years ago
  21. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  22. 27e05ed Only fetch the ASTContext object within the assertion. by Ted Kremenek · 15 years ago
  23. 6049762 Silence -Asserts warning. by Daniel Dunbar · 15 years ago
  24. a4923eb First part of changes to eliminate problems with cv-qualifiers and by Douglas Gregor · 15 years ago
  25. 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
  26. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  27. 09270cc Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion. by Zhongxing Xu · 15 years ago
  28. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  29. abd46e1 Use SymbolicRegion instead of CodeTextRegion for symbolic function by Ted Kremenek · 15 years ago
  30. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  31. 9a108eb Fix regression in StoreManager::CastRegion() to always treat casts to by Ted Kremenek · 15 years ago
  32. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  33. 6217b80 Change uses of: by Ted Kremenek · 15 years ago
  34. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  35. 1004a9f Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 15 years ago
  36. 0b331e3 Fix a crasher in StoreManager::InvalidateRegion() caused by using the by Ted Kremenek · 15 years ago
  37. 63b9cfe Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or whatever) to a BlockPointerType. by Ted Kremenek · 15 years ago
  38. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
  39. 5cad1f7 Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), Type::getAsMemberPointerType(), Type::getAsTagType(), and Type::getAsRecordType() with their Type::getAs<XXX> equivalents. by Ted Kremenek · 15 years ago
  40. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
  41. f495456 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 15 years ago
  42. 6ce85ee rewrite the logic to make it follow the comments more closely. by Zhongxing Xu · 15 years ago
  43. 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 · 15 years ago
  44. aa8bc7e Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion. by Ted Kremenek · 15 years ago
  45. 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 15 years ago
  46. 8d344ae Revert r75281 and simply remove the assertion in NewCastRegion that by Ted Kremenek · 15 years ago
  47. 3f9811b Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, by Ted Kremenek · 15 years ago
  48. db4f531 fix comment. by Zhongxing Xu · 15 years ago
  49. 169077d NewCastRegion: Handle casts *from* pointers to incomplete structs to other types. by Ted Kremenek · 15 years ago
  50. db5f266 Fix 80 col violation. by Ted Kremenek · 15 years ago
  51. fc8f57c Restructure NewCastRegion to use a switch statement that dispatches off the by Ted Kremenek · 15 years ago
  52. 07cdec1 Fix 80 col violation. by Ted Kremenek · 15 years ago
  53. b9a4425 NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids. by Ted Kremenek · 15 years ago
  54. 1f612cb Implement FIXME. by Ted Kremenek · 15 years ago
  55. 411af40 StoreManager::NewCastRegion: by Ted Kremenek · 15 years ago
  56. 145918c NewCastRegion: by Ted Kremenek · 15 years ago
  57. ca4e1b7 Fix loop so that 'continue' statements actually cause the loop to iterate. by Ted Kremenek · 15 years ago
  58. 48ce7de Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager by Ted Kremenek · 15 years ago
  59. 313b6da Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 15 years ago
  60. 43e2aaf Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 15 years ago
  61. 19cfa2b Update old CastRegion logic to not assume that ElementRegion's super region is a by Ted Kremenek · 15 years ago
  62. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 15 years ago
  63. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 15 years ago
  64. 4253051 Fix analyzer regression reported in PR 4164: by Ted Kremenek · 15 years ago
  65. cd9392f Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. by Ted Kremenek · 15 years ago
  66. 124838b Zhongxing already implemented this FIXME. by Ted Kremenek · 15 years ago
  67. b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 15 years ago
  68. 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 15 years ago
  69. fd6b4f3 Handle 'long x = 0; char *y = (char *) x;' by layering an by Ted Kremenek · 15 years ago
  70. a8607d1 StoreManager::CastRegion: by Ted Kremenek · 15 years ago
  71. 30d1b99 This patch is largely due to Zhongxing Xu. I've simply applied it because of by Ted Kremenek · 15 years ago
  72. c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 15 years ago