Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ff6f66e33f234d4bba16c9149476d691e2c96ca9 / lib / Checker / SVals.cpp
  1. cb421fa Fix -Wcast-qual warnings. by Dan Gohman · 14 years ago
  2. c802378 Add use-after-free check to MallocChecker. by Zhongxing Xu · 14 years ago
  3. bfcaf80 Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to by Zhongxing Xu · 15 years ago
  4. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (99%) from lib/Analysis/SVals.cpp]
  5. 604848a Enhance SVals::getAsRegion: get the region that is converted to an integer. by Zhongxing Xu · 15 years ago
  6. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  7. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  8. b10a7c2 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. by Zhongxing Xu · 15 years ago
  9. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  10. abd46e1 Use SymbolicRegion instead of CodeTextRegion for symbolic function by Ted Kremenek · 15 years ago
  11. 6cb7c1a Replace cerr with errs(). by Benjamin Kramer · 15 years ago
  12. a5e81f1 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 15 years ago
  13. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  14. 0e3ec3f Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions with by Ted Kremenek · 15 years ago
  15. 7b67952 Tweak pretty-printing of CompoundVal to make it more useful for debugging. by Ted Kremenek · 15 years ago
  16. 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
  17. edb883c add utility method. by Zhongxing Xu · 15 years ago
  18. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  19. 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
  20. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
  21. 2ace5cd Split ValueManager method definitions into its own source file. by Zhongxing Xu · 15 years ago
  22. 3038c5a ValueManager::makeNonLoc -> ValueManager::makeIntVal by Zhongxing Xu · 15 years ago
  23. 087d6c2 Instead of setting the default value of the array region, bind the rest of the by Zhongxing Xu · 15 years ago
  24. 45257c3 A further step of r73690: associate the cast-to type with the created symbol, by Zhongxing Xu · 15 years ago
  25. 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 15 years ago
  26. 88c675f When casting region, if we do not create an element region, record the cast-to by Zhongxing Xu · 15 years ago
  27. 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 15 years ago
  28. d9b6ad6 Rename: by Zhongxing Xu · 15 years ago
  29. a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 15 years ago
  30. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 15 years ago
  31. cd9392f Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. by Ted Kremenek · 15 years ago
  32. b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 15 years ago
  33. 4abbea6 Use 'getAs<CodeTextRegion>' instead of 'dyn_cast<CodeTextRegion>' to handle any by Ted Kremenek · 15 years ago
  34. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 15 years ago
  35. 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 15 years ago
  36. 0a095fb As we now have ValueManager as the new value factory, we do not need factory by Zhongxing Xu · 15 years ago
  37. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 15 years ago
  38. fc3388d Move a few more NonLoc static functions to ValueManager. by Ted Kremenek · 15 years ago
  39. ec13d92 Add prototype for CodeTextRegion. by Zhongxing Xu · 15 years ago
  40. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 15 years ago
  41. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 15 years ago
  42. 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 15 years ago
  43. c565b63 stop using loc::SymbolVal and clean up code with new API. by Zhongxing Xu · 15 years ago
  44. fe1635b Add a new method because sometimes the type of the conjured symbol is not the by Zhongxing Xu · 15 years ago
  45. 867418f Create a symbolic region instead of a loc::SymbolVal. This is a continued step by Zhongxing Xu · 15 years ago
  46. da9ae60 Enhance analyzer reasoning about sending messages to nil. A nil receiver returns 0 for scalars of size <= sizeof(void*). by Ted Kremenek · 15 years ago
  47. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 15 years ago
  48. be65d90 Remove dead code. by Ted Kremenek · 15 years ago
  49. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
  50. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 15 years ago
  51. bb9b271 GRExprEngine: by Ted Kremenek · 15 years ago
  52. ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 15 years ago
  53. 4a77edb Remove some now-unneeded calls to llvm::errs().flush(). by Daniel Dunbar · 15 years ago
  54. 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 15 years ago
  55. 3e9061f Fix case where we should use dyn_cast instead of cast. by Ted Kremenek · 15 years ago
  56. 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
  57. 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 16 years ago
  58. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  59. 2fdf555 Add utility method. Remove an unused method. by Zhongxing Xu · 16 years ago
  60. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  61. 8b86273 Add utility methods. by Zhongxing Xu · 16 years ago
  62. 6613d08 Add getSize() support for StringRegion. by Zhongxing Xu · 16 years ago
  63. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
  64. eabf776 Add SymbolData for array elements and struct fields. by Zhongxing Xu · 16 years ago
  65. 96cbfd4 Flush llvm::errs() when printing out SVals. by Ted Kremenek · 16 years ago
  66. b8b4161 Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an adapter for std::ostream, but this will be removed in the future. by Ted Kremenek · 16 years ago
  67. a6fac4e Added iterators to nonloc::CompoundSVal. by Ted Kremenek · 16 years ago
  68. ccaad9d 80 col violation. by Ted Kremenek · 16 years ago
  69. 632e8b8 CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This change was motivated by the need to allow state-splitting in GRExprEngine::VisitInitListExpr. As a side-benefit, we no longer need to perform any copies of SVals when creating a CompoundSVal, and the profiling of CompoundSVal is now constant time. by Ted Kremenek · 16 years ago
  70. 6764b72 Add CompoundVal and CompoundValData for representing the value of InitListExpr. by Zhongxing Xu · 16 years ago
  71. 0d958e7 - Fix type-punning warning in SVals.cpp by using a real iterator class for symbol_iterator. by Ted Kremenek · 16 years ago
  72. 197fa58 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 16 years ago
  73. 9012bff Add printing with llvm::raw_ostream methods to SVals. by Zhongxing Xu · 16 years ago
  74. 22ab7a4 Rename: RValues.h/cpp => SVals.h/cpp by Zhongxing Xu · 16 years ago[Renamed from lib/Analysis/RValues.cpp]
  75. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  76. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 16 years ago
  77. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
  78. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago
  79. 8da6ca9 Use LVal::IsLValType(T) instead of checking to see if the type is an "lvalue" type directly. by Ted Kremenek · 16 years ago
  80. 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
  81. 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
  82. c4a1dea More #include cleaning by Daniel Dunbar · 16 years ago
  83. 75b0a1c Fix 80 col violation by Ted Kremenek · 16 years ago
  84. 40fc5c7 Fix regression by explicitly checking if we are negating a SymIntConstantVal. by Ted Kremenek · 16 years ago
  85. c1ff3cd More cleanups with ObjCQualifiedIdType in the static analyzer. by Ted Kremenek · 16 years ago
  86. 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
  87. 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
  88. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  89. 0fe33bc Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 16 years ago
  90. 423a3c9 simplify some code by using PointerLikeType. by Chris Lattner · 16 years ago
  91. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 16 years ago[Renamed from Analysis/RValues.cpp]
  92. 9b5551d Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions). by Ted Kremenek · 16 years ago
  93. 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 16 years ago
  94. 843e934 fix typos by Gabor Greif · 16 years ago
  95. 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 16 years ago
  96. 8cc13ea Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 16 years ago
  97. 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 16 years ago
  98. d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 16 years ago
  99. aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 16 years ago
  100. 90e4203 Implemented transfer function logic for unary '+' by Ted Kremenek · 16 years ago