Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 8cb6fb3bd80d0b051f37c31d8658666361b5b7bb / lib / Analysis / GRState.cpp
  1. 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
  2. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  3. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  4. 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
  5. d493163 GRStateRef: - Rename SetSVal to BindLoc - Add BindDecl - Add BindExpr by Ted Kremenek · 16 years ago
  6. f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
  7. 4230da6 Fix 80-col violations. by Zhongxing Xu · 16 years ago
  8. 8cd5aae Rename: by Zhongxing Xu · 16 years ago
  9. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  10. 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
  11. 8485ec6 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 16 years ago
  12. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  13. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
  14. c1d1bbf Remove redundant parameter and rename StMgr to StateMgr. by Zhongxing Xu · 16 years ago
  15. 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
  16. 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
  17. a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
  18. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
  19. 05125f1 Make the destructor of ConstraintManager virtual. by Ted Kremenek · 16 years ago
  20. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
  21. 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
  22. e53c069 Simplify interface to Store::AddDecl by Ted Kremenek · 16 years ago
  23. bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 16 years ago
  24. df9cdf8 Patch by Zhongxing Xu: by Ted Kremenek · 16 years ago
  25. 4f7b483 Patch by Zhongxing Xu: We should set back the modified ConstEq map. by Ted Kremenek · 16 years ago
  26. a622d8c Move store pretty-printing logic inside of StoreManager (previously in GRState). by Ted Kremenek · 16 years ago
  27. caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 16 years ago
  28. 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
  29. ffdbefd Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to use the generic data map instead. by Ted Kremenek · 16 years ago
  30. e7aa9a1 Added GRStateTrait.h, which includes boilerplate code for creating specializations of GRStateTrait<>. by Ted Kremenek · 16 years ago
  31. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  32. 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 16 years ago
  33. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  34. 62e1dcc Rename ValueState.h -> GRState.h Rename ValueState.cpp -> GRState.cpp by Ted Kremenek · 16 years ago[Renamed from lib/Analysis/ValueState.cpp]
  35. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  36. 4502022 Added GenericDataMap as a component of ValueState. by Ted Kremenek · 16 years ago
  37. 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
  38. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  39. 729a9a2 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  40. f59bf48 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 16 years ago
  41. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  42. d72ee90 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 16 years ago
  43. 8133a26 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 16 years ago
  44. e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
  45. 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 17 years ago
  46. ad87d25 Simplify RemoveDeadBindings. by Ted Kremenek · 17 years ago
  47. 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 17 years ago
  48. 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 17 years ago
  49. 1b8bd4d Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 17 years ago
  50. 4b443a6 Handle dereferences of function pointers (which return a handle to the function). by Ted Kremenek · 17 years ago
  51. 2bfe9ea Don't abort on GetRVal when the LVal is a StringLiteralVal. by Ted Kremenek · 17 years ago
  52. 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 17 years ago
  53. 77d7ef8 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 17 years ago
  54. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
  55. 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
  56. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/ValueState.cpp]
  57. 4454006 Fixed 80 col. violations. by Ted Kremenek · 17 years ago
  58. 8b65de4 Disable creation of "ContentsOf" symbols. It was fundamentally broken on many by Ted Kremenek · 17 years ago
  59. 461f977 Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter" by Ted Kremenek · 17 years ago
  60. 6b3a0f7 Added main skeleton for CFRetain transfer function logic. by Ted Kremenek · 17 years ago
  61. 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
  62. 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago
  63. 843e934 fix typos by Gabor Greif · 17 years ago
  64. 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
  65. 59894f9 Implemented "print" method for ValueState. by Ted Kremenek · 17 years ago
  66. aed9b6a Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*. by Ted Kremenek · 17 years ago
  67. 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 17 years ago
  68. 0793263 When analyzing a function, eagerly create symbolic values for all by Ted Kremenek · 17 years ago
  69. 0f5f059 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 17 years ago
  70. 5a7b382 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. by Ted Kremenek · 17 years ago
  71. ebd6610 Removed hack with toggling the signedness flag of the APSInt stored by Ted Kremenek · 17 years ago
  72. 58b3321 Small fixes to shore up overhauling of transfer function logic for '&&' and '||. by Ted Kremenek · 17 years ago
  73. 189c305 optimization: no longer create ExplodedNodes for IntegerLiteral and by Ted Kremenek · 17 years ago
  74. 05a2378 Major cleanup of the transfer function logic for '&&', '||', and '?'. We by Ted Kremenek · 17 years ago
  75. d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
  76. 29db75c Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over the by Ted Kremenek · 17 years ago
  77. 3bca92b Added hack to transfer function logic to handle the case where a DeclRefExpr by Ted Kremenek · 17 years ago
  78. 9c37417 Return "Unknown" when using the value of a function pointer whose value by Ted Kremenek · 17 years ago
  79. c3055ab RemoveDeadBindings should now check for UninitalizedVal, as it is a now by Ted Kremenek · 17 years ago
  80. aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
  81. d8e9f0d Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago
  82. 402563b Added transfer function support for casting to "void". by Ted Kremenek · 17 years ago
  83. 7263910 Added back explicit state/node creation when visiting IntegerLiterals and by Ted Kremenek · 17 years ago
  84. de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
  85. 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 17 years ago
  86. 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 17 years ago
  87. 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  88. 90e1481 Added "symbol iterators" for RValues, allowing easy iteration over the symbols by Ted Kremenek · 17 years ago
  89. 2a50257 Added transfer function/value track logic for taking the address of a label. by Ted Kremenek · 17 years ago
  90. 5d2986b Renamed local variable. Added transfer function support for CharacterLiteral. by Ted Kremenek · 17 years ago
  91. 8158a0e Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMap by Ted Kremenek · 17 years ago
  92. e7d2211 Separate bindings for subexpressions to be in a separate map for by Ted Kremenek · 17 years ago
  93. 016f52f Split off expression-bindings in ValueState from variable-bindings. by Ted Kremenek · 17 years ago
  94. d70b62e Changed "GetValue" methods to take an by Ted Kremenek · 17 years ago
  95. b87d909 Moved implementation of "RemoveDeadBindings" from the main by Ted Kremenek · 17 years ago
  96. 53c641a More variable renamings. by Ted Kremenek · 17 years ago
  97. 2203118 Renamed InvalidValue to UnknownVal. by Ted Kremenek · 17 years ago
  98. d131c4f Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 17 years ago
  99. 3271f8d Added several guards in transfer functions for "InvalidValues". by Ted Kremenek · 17 years ago
  100. 5b6dc2d Added transfer function logic for ReturnStmts. by Ted Kremenek · 17 years ago