Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / dbc2afc5fbafcffff06da0b875ce62f364cf11e0 / lib / Analysis / GRState.cpp
  1. dbc2afc API cleanup: move more methods from GRStateManager to GRState. by Ted Kremenek · 15 years ago
  2. 47fed90 Remove GRStateRef. by Ted Kremenek · 15 years ago
  3. b65be70 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 15 years ago
  4. 67f2853 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 15 years ago
  5. 044b6f0 analyzer: Introduce a new class, ValueManager, that serves as an aggregate by Ted Kremenek · 16 years ago
  6. 380022d Simplify more code by using SVal::getAsSymbol() instead of by Ted Kremenek · 16 years ago
  7. 63d1d60 Adjust indentation. by Zhongxing Xu · 16 years ago
  8. 1cb151e Add "GetSValAsScalarOrLoc" methods to GRState/GRStateRef that only perform a by Ted Kremenek · 16 years ago
  9. 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 16 years ago
  10. 6076e0a Fix extra ';' bug noticed by Mike Stump. by Ted Kremenek · 16 years ago
  11. 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 16 years ago
  12. 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
  13. 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
  14. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  15. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  16. 2ed14be StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRState* argument instead of a Store. This allows them to use the GDM for storing other data. by Ted Kremenek · 16 years ago
  17. d493163 GRStateRef: - Rename SetSVal to BindLoc - Add BindDecl - Add BindExpr by Ted Kremenek · 16 years ago
  18. f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
  19. 4230da6 Fix 80-col violations. by Zhongxing Xu · 16 years ago
  20. 8cd5aae Rename: by Zhongxing Xu · 16 years ago
  21. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  22. 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
  23. 8485ec6 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 16 years ago
  24. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  25. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
  26. c1d1bbf Remove redundant parameter and rename StMgr to StateMgr. by Zhongxing Xu · 16 years ago
  27. 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
  28. 7360fda Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced. by Ted Kremenek · 16 years ago
  29. a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
  30. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
  31. 05125f1 Make the destructor of ConstraintManager virtual. by Ted Kremenek · 16 years ago
  32. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
  33. 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
  34. e53c069 Simplify interface to Store::AddDecl by Ted Kremenek · 16 years ago
  35. bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 16 years ago
  36. df9cdf8 Patch by Zhongxing Xu: by Ted Kremenek · 16 years ago
  37. 4f7b483 Patch by Zhongxing Xu: We should set back the modified ConstEq map. by Ted Kremenek · 16 years ago
  38. a622d8c Move store pretty-printing logic inside of StoreManager (previously in GRState). by Ted Kremenek · 16 years ago
  39. caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 16 years ago
  40. 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
  41. ffdbefd Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to use the generic data map instead. by Ted Kremenek · 16 years ago
  42. e7aa9a1 Added GRStateTrait.h, which includes boilerplate code for creating specializations of GRStateTrait<>. by Ted Kremenek · 16 years ago
  43. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  44. 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 16 years ago
  45. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  46. 62e1dcc Rename ValueState.h -> GRState.h Rename ValueState.cpp -> GRState.cpp by Ted Kremenek · 16 years ago[Renamed from lib/Analysis/ValueState.cpp]
  47. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  48. 4502022 Added GenericDataMap as a component of ValueState. by Ted Kremenek · 16 years ago
  49. 2619be0 Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor improvements to path-sensitivity. Right now we basically treat 'x > y' and 'x < y' as implying 'x != y', but this restriction will only inevitably apply to our must rudimentary value tracking component (we'll implement more advanced value reasoning later). by Ted Kremenek · 16 years ago
  50. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  51. 729a9a2 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  52. f59bf48 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 16 years ago
  53. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  54. d72ee90 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 16 years ago
  55. 8133a26 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 16 years ago
  56. e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
  57. 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 16 years ago
  58. ad87d25 Simplify RemoveDeadBindings. by Ted Kremenek · 17 years ago
  59. 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 17 years ago
  60. 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 17 years ago
  61. 1b8bd4d Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 17 years ago
  62. 4b443a6 Handle dereferences of function pointers (which return a handle to the function). by Ted Kremenek · 17 years ago
  63. 2bfe9ea Don't abort on GetRVal when the LVal is a StringLiteralVal. by Ted Kremenek · 17 years ago
  64. 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 17 years ago
  65. 77d7ef8 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 17 years ago
  66. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
  67. 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 · 17 years ago
  68. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/ValueState.cpp]
  69. 4454006 Fixed 80 col. violations. by Ted Kremenek · 17 years ago
  70. 8b65de4 Disable creation of "ContentsOf" symbols. It was fundamentally broken on many by Ted Kremenek · 17 years ago
  71. 461f977 Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter" by Ted Kremenek · 17 years ago
  72. 6b3a0f7 Added main skeleton for CFRetain transfer function logic. by Ted Kremenek · 17 years ago
  73. 9b5551d Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions). by Ted Kremenek · 17 years ago
  74. 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago
  75. 843e934 fix typos by Gabor Greif · 17 years ago
  76. 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
  77. 59894f9 Implemented "print" method for ValueState. by Ted Kremenek · 17 years ago
  78. aed9b6a Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*. by Ted Kremenek · 17 years ago
  79. 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 17 years ago
  80. 0793263 When analyzing a function, eagerly create symbolic values for all by Ted Kremenek · 17 years ago
  81. 0f5f059 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 17 years ago
  82. 5a7b382 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. by Ted Kremenek · 17 years ago
  83. ebd6610 Removed hack with toggling the signedness flag of the APSInt stored by Ted Kremenek · 17 years ago
  84. 58b3321 Small fixes to shore up overhauling of transfer function logic for '&&' and '||. by Ted Kremenek · 17 years ago
  85. 189c305 optimization: no longer create ExplodedNodes for IntegerLiteral and by Ted Kremenek · 17 years ago
  86. 05a2378 Major cleanup of the transfer function logic for '&&', '||', and '?'. We by Ted Kremenek · 17 years ago
  87. d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
  88. 29db75c Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over the by Ted Kremenek · 17 years ago
  89. 3bca92b Added hack to transfer function logic to handle the case where a DeclRefExpr by Ted Kremenek · 17 years ago
  90. 9c37417 Return "Unknown" when using the value of a function pointer whose value by Ted Kremenek · 17 years ago
  91. c3055ab RemoveDeadBindings should now check for UninitalizedVal, as it is a now by Ted Kremenek · 17 years ago
  92. aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
  93. d8e9f0d Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago
  94. 402563b Added transfer function support for casting to "void". by Ted Kremenek · 17 years ago
  95. 7263910 Added back explicit state/node creation when visiting IntegerLiterals and by Ted Kremenek · 17 years ago
  96. de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
  97. 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 17 years ago
  98. 692416c Added more assertions and checks in transfer function logic to check for 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