Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / a92bd303a6aed5cf12de5f76938c112b00cc06e6 / lib / Analysis / GRState.cpp
  1. 43f19f7 Fix early-return logic in scanReachableSymbols() to match the rest of the recursive logic in the methods of ScanReachableSymbols. by Ted Kremenek · 15 years ago
  2. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  3. 9dce71f Added batch versions of GRState::scanReachableSymbols() so that clients can scan a collection of SVals or MemRegions all at once. by Ted Kremenek · 15 years ago
  4. 1acfe8e Remove obsolete 'struct NullDerefTag'. by Ted Kremenek · 15 years ago
  5. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  6. 8e02934 Rename 'bindExpr' to 'BindExpr'. by Ted Kremenek · 15 years ago
  7. 6d2c657 Move the AnalysisContext* from GRState to Environment. by Ted Kremenek · 15 years ago
  8. 0fb0bc4 Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, greatly simplifying the logic of the analyzer in many places. We now only distinguish between block-level expressions and subexpressions in Environment::RemoveDeadBindings and GRState pretty-printing. by Ted Kremenek · 15 years ago
  9. 5032ffe Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 15 years ago
  10. 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 15 years ago
  11. 2f26bc3 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 15 years ago
  12. 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 15 years ago
  13. 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
  14. e4f2142 Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. by Chris Lattner · 15 years ago
  15. 4f596c2 Remove the last 'GetXXX' methods from GRStateManager. by Ted Kremenek · 15 years ago
  16. 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
  17. 233e913 Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal(). by Ted Kremenek · 15 years ago
  18. 76500d0 Remove GRStateManager::BindLoc() and GRStateManager::Unbind(). by Ted Kremenek · 15 years ago
  19. dbc2afc API cleanup: move more methods from GRStateManager to GRState. by Ted Kremenek · 15 years ago
  20. 47fed90 Remove GRStateRef. by Ted Kremenek · 15 years ago
  21. b65be70 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 15 years ago
  22. 67f2853 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 15 years ago
  23. 044b6f0 analyzer: Introduce a new class, ValueManager, that serves as an aggregate by Ted Kremenek · 15 years ago
  24. 380022d Simplify more code by using SVal::getAsSymbol() instead of by Ted Kremenek · 15 years ago
  25. 63d1d60 Adjust indentation. by Zhongxing Xu · 15 years ago
  26. 1cb151e Add "GetSValAsScalarOrLoc" methods to GRState/GRStateRef that only perform a by Ted Kremenek · 15 years ago
  27. 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 15 years ago
  28. 6076e0a Fix extra ';' bug noticed by Mike Stump. by Ted Kremenek · 15 years ago
  29. 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 15 years ago
  30. 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
  31. 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
  32. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  33. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  34. 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
  35. d493163 GRStateRef: - Rename SetSVal to BindLoc - Add BindDecl - Add BindExpr by Ted Kremenek · 16 years ago
  36. f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
  37. 4230da6 Fix 80-col violations. by Zhongxing Xu · 16 years ago
  38. 8cd5aae Rename: by Zhongxing Xu · 16 years ago
  39. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  40. 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 16 years ago
  41. 8485ec6 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 16 years ago
  42. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  43. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
  44. c1d1bbf Remove redundant parameter and rename StMgr to StateMgr. by Zhongxing Xu · 16 years ago
  45. 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
  46. 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
  47. a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
  48. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
  49. 05125f1 Make the destructor of ConstraintManager virtual. by Ted Kremenek · 16 years ago
  50. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
  51. 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
  52. e53c069 Simplify interface to Store::AddDecl by Ted Kremenek · 16 years ago
  53. bbe8ff4 Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. by Zhongxing Xu · 16 years ago
  54. df9cdf8 Patch by Zhongxing Xu: by Ted Kremenek · 16 years ago
  55. 4f7b483 Patch by Zhongxing Xu: We should set back the modified ConstEq map. by Ted Kremenek · 16 years ago
  56. a622d8c Move store pretty-printing logic inside of StoreManager (previously in GRState). by Ted Kremenek · 16 years ago
  57. caa3724 Patch by Zhongxing Xu! by Ted Kremenek · 16 years ago
  58. 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
  59. ffdbefd Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to use the generic data map instead. by Ted Kremenek · 16 years ago
  60. e7aa9a1 Added GRStateTrait.h, which includes boilerplate code for creating specializations of GRStateTrait<>. by Ted Kremenek · 16 years ago
  61. 1c72ef0 GRState: by Ted Kremenek · 16 years ago
  62. 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 16 years ago
  63. ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
  64. 62e1dcc Rename ValueState.h -> GRState.h Rename ValueState.cpp -> GRState.cpp by Ted Kremenek · 16 years ago[Renamed from lib/Analysis/ValueState.cpp]
  65. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
  66. 4502022 Added GenericDataMap as a component of ValueState. by Ted Kremenek · 16 years ago
  67. 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
  68. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  69. 729a9a2 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  70. f59bf48 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 16 years ago
  71. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  72. d72ee90 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 16 years ago
  73. 8133a26 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 16 years ago
  74. e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
  75. 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 16 years ago
  76. ad87d25 Simplify RemoveDeadBindings. by Ted Kremenek · 16 years ago
  77. 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
  78. 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
  79. 1b8bd4d Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 16 years ago
  80. 4b443a6 Handle dereferences of function pointers (which return a handle to the function). by Ted Kremenek · 16 years ago
  81. 2bfe9ea Don't abort on GetRVal when the LVal is a StringLiteralVal. by Ted Kremenek · 16 years ago
  82. 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 16 years ago
  83. 77d7ef8 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 16 years ago
  84. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  85. 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
  86. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 16 years ago[Renamed from Analysis/ValueState.cpp]
  87. 4454006 Fixed 80 col. violations. by Ted Kremenek · 16 years ago
  88. 8b65de4 Disable creation of "ContentsOf" symbols. It was fundamentally broken on many by Ted Kremenek · 16 years ago
  89. 461f977 Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter" by Ted Kremenek · 16 years ago
  90. 6b3a0f7 Added main skeleton for CFRetain transfer function logic. by Ted Kremenek · 16 years ago
  91. 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
  92. 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 16 years ago
  93. 843e934 fix typos by Gabor Greif · 16 years ago
  94. 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 16 years ago
  95. 59894f9 Implemented "print" method for ValueState. by Ted Kremenek · 16 years ago
  96. aed9b6a Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*. by Ted Kremenek · 16 years ago
  97. 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 16 years ago
  98. 0793263 When analyzing a function, eagerly create symbolic values for all by Ted Kremenek · 16 years ago
  99. 0f5f059 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 16 years ago
  100. 5a7b382 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. by Ted Kremenek · 17 years ago