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