Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / e0ad215b709fba79b3a1ead9af31a6f8bd3ee77a / lib / Analysis / ValueState.cpp
  1. 26da970 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
  2. bbafa5b Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
  3. c746954 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
  4. ee93012 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 16 years ago
  5. f22f868 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  6. d45b9c6 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 16 years ago
  7. 587ecc5 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 16 years ago
  8. 6064a36 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
  9. 3366180 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 16 years ago
  10. 7a1f0dc Simplify RemoveDeadBindings. by Ted Kremenek · 16 years ago
  11. c4385b4 Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
  12. 465f25a Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
  13. 5f6b442 Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 16 years ago
  14. db47c0e Handle dereferences of function pointers (which return a handle to the function). by Ted Kremenek · 16 years ago
  15. 2d25638 Don't abort on GetRVal when the LVal is a StringLiteralVal. by Ted Kremenek · 16 years ago
  16. ac91ce9 Do a better job at computing dead symbols. by Ted Kremenek · 16 years ago
  17. 7487f94 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 16 years ago
  18. be62129 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 years ago
  19. fe1a0b1 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
  20. be1a7a0 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/ValueState.cpp]
  21. 3538bfe Fixed 80 col. violations. by Ted Kremenek · 17 years ago
  22. 05724ad Disable creation of "ContentsOf" symbols. It was fundamentally broken on many by Ted Kremenek · 17 years ago
  23. d365649 Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter" by Ted Kremenek · 17 years ago
  24. a7338b4 Added main skeleton for CFRetain transfer function logic. by Ted Kremenek · 17 years ago
  25. f97c668 Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions). by Ted Kremenek · 17 years ago
  26. 8ad1987 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago
  27. 2224fcb fix typos by Gabor Greif · 17 years ago
  28. 8cd0e93 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
  29. e1cfa99 Implemented "print" method for ValueState. by Ted Kremenek · 17 years ago
  30. f4b49df Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*. by Ted Kremenek · 17 years ago
  31. b31af24 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 17 years ago
  32. b5175bf When analyzing a function, eagerly create symbolic values for all by Ted Kremenek · 17 years ago
  33. 9f6b161 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 17 years ago
  34. ad5d5c5 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. by Ted Kremenek · 17 years ago
  35. e933f1c Removed hack with toggling the signedness flag of the APSInt stored by Ted Kremenek · 17 years ago
  36. 5f2eb19 Small fixes to shore up overhauling of transfer function logic for '&&' and '||. by Ted Kremenek · 17 years ago
  37. 9b496f9 optimization: no longer create ExplodedNodes for IntegerLiteral and by Ted Kremenek · 17 years ago
  38. 99ecce7 Major cleanup of the transfer function logic for '&&', '||', and '?'. We by Ted Kremenek · 17 years ago
  39. ef0007f Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
  40. d692f42 Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over the by Ted Kremenek · 17 years ago
  41. ea5baaa Added hack to transfer function logic to handle the case where a DeclRefExpr by Ted Kremenek · 17 years ago
  42. 53a8d9e Return "Unknown" when using the value of a function pointer whose value by Ted Kremenek · 17 years ago
  43. 3087ac2 RemoveDeadBindings should now check for UninitalizedVal, as it is a now by Ted Kremenek · 17 years ago
  44. 07baa25 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
  45. b996ebc Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago
  46. 5a9b6aa Added transfer function support for casting to "void". by Ted Kremenek · 17 years ago
  47. 18044ff Added back explicit state/node creation when visiting IntegerLiterals and by Ted Kremenek · 17 years ago
  48. d9268e3 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
  49. bf988d0 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 17 years ago
  50. bc965a6 Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 17 years ago
  51. 22640ce Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  52. 0e39dcf Added "symbol iterators" for RValues, allowing easy iteration over the symbols by Ted Kremenek · 17 years ago
  53. ad88468 Added transfer function/value track logic for taking the address of a label. by Ted Kremenek · 17 years ago
  54. ddb3ef1 Renamed local variable. Added transfer function support for CharacterLiteral. by Ted Kremenek · 17 years ago
  55. 15fa2f1 Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMap by Ted Kremenek · 17 years ago
  56. 17c5f11 Separate bindings for subexpressions to be in a separate map for by Ted Kremenek · 17 years ago
  57. 08cfd83 Split off expression-bindings in ValueState from variable-bindings. by Ted Kremenek · 17 years ago
  58. 744a786 Changed "GetValue" methods to take an by Ted Kremenek · 17 years ago
  59. b8958d6 Moved implementation of "RemoveDeadBindings" from the main by Ted Kremenek · 17 years ago
  60. 0428e02 More variable renamings. by Ted Kremenek · 17 years ago
  61. adec14b Renamed InvalidValue to UnknownVal. by Ted Kremenek · 17 years ago
  62. 80d52d0 Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 17 years ago
  63. 9b32cd0 Added several guards in transfer functions for "InvalidValues". by Ted Kremenek · 17 years ago
  64. e1f38b6 Added transfer function logic for ReturnStmts. by Ted Kremenek · 17 years ago
  65. 9a4e807 Fixed bug when allocating a ValueStateImpl object in getPersistentState() by Ted Kremenek · 17 years ago
  66. 13f3156 Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0). by Ted Kremenek · 17 years ago
  67. 1b63a3b Moved subclasses of LValue and NonLValue into their own namespaces. by Ted Kremenek · 17 years ago
  68. 6422087 Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager). by Ted Kremenek · 17 years ago
  69. 2d8dce3 Overhauling of "ValueState" so that it represents its own functional data by Ted Kremenek · 17 years ago
  70. 1f0eb99 Implemented initial transfer function support for '&&', '||', '?', and by Ted Kremenek · 17 years ago
  71. 0eb0afa Added file that should have been in my previous commit. by Ted Kremenek · 17 years ago