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