Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 4454006bce2caa7f1f368c28db52babf2fd8d606 / Analysis / ValueState.cpp
  1. 4454006 Fixed 80 col. violations. by Ted Kremenek · 17 years ago
  2. 8b65de4 Disable creation of "ContentsOf" symbols. It was fundamentally broken on many by Ted Kremenek · 17 years ago
  3. 461f977 Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter" by Ted Kremenek · 17 years ago
  4. 6b3a0f7 Added main skeleton for CFRetain transfer function logic. by Ted Kremenek · 17 years ago
  5. 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
  6. 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago
  7. 843e934 fix typos by Gabor Greif · 17 years ago
  8. 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
  9. 59894f9 Implemented "print" method for ValueState. by Ted Kremenek · 17 years ago
  10. aed9b6a Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*. by Ted Kremenek · 17 years ago
  11. 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 17 years ago
  12. 0793263 When analyzing a function, eagerly create symbolic values for all by Ted Kremenek · 17 years ago
  13. 0f5f059 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 17 years ago
  14. 5a7b382 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. by Ted Kremenek · 17 years ago
  15. ebd6610 Removed hack with toggling the signedness flag of the APSInt stored by Ted Kremenek · 17 years ago
  16. 58b3321 Small fixes to shore up overhauling of transfer function logic for '&&' and '||. by Ted Kremenek · 17 years ago
  17. 189c305 optimization: no longer create ExplodedNodes for IntegerLiteral and by Ted Kremenek · 17 years ago
  18. 05a2378 Major cleanup of the transfer function logic for '&&', '||', and '?'. We by Ted Kremenek · 17 years ago
  19. d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
  20. 29db75c Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over the by Ted Kremenek · 17 years ago
  21. 3bca92b Added hack to transfer function logic to handle the case where a DeclRefExpr by Ted Kremenek · 17 years ago
  22. 9c37417 Return "Unknown" when using the value of a function pointer whose value by Ted Kremenek · 17 years ago
  23. c3055ab RemoveDeadBindings should now check for UninitalizedVal, as it is a now by Ted Kremenek · 17 years ago
  24. aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
  25. d8e9f0d Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago
  26. 402563b Added transfer function support for casting to "void". by Ted Kremenek · 17 years ago
  27. 7263910 Added back explicit state/node creation when visiting IntegerLiterals and by Ted Kremenek · 17 years ago
  28. de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
  29. 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 17 years ago
  30. 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 17 years ago
  31. 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  32. 90e1481 Added "symbol iterators" for RValues, allowing easy iteration over the symbols by Ted Kremenek · 18 years ago
  33. 2a50257 Added transfer function/value track logic for taking the address of a label. by Ted Kremenek · 18 years ago
  34. 5d2986b Renamed local variable. Added transfer function support for CharacterLiteral. by Ted Kremenek · 18 years ago
  35. 8158a0e Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMap by Ted Kremenek · 18 years ago
  36. e7d2211 Separate bindings for subexpressions to be in a separate map for by Ted Kremenek · 18 years ago
  37. 016f52f Split off expression-bindings in ValueState from variable-bindings. by Ted Kremenek · 18 years ago
  38. d70b62e Changed "GetValue" methods to take an by Ted Kremenek · 18 years ago
  39. b87d909 Moved implementation of "RemoveDeadBindings" from the main by Ted Kremenek · 18 years ago
  40. 53c641a More variable renamings. by Ted Kremenek · 18 years ago
  41. 2203118 Renamed InvalidValue to UnknownVal. by Ted Kremenek · 18 years ago
  42. d131c4f Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 18 years ago
  43. 3271f8d Added several guards in transfer functions for "InvalidValues". by Ted Kremenek · 18 years ago
  44. 5b6dc2d Added transfer function logic for ReturnStmts. by Ted Kremenek · 18 years ago
  45. 41652a9 Fixed bug when allocating a ValueStateImpl object in getPersistentState() by Ted Kremenek · 18 years ago
  46. 862d5bb Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0). by Ted Kremenek · 18 years ago
  47. 329f854 Moved subclasses of LValue and NonLValue into their own namespaces. by Ted Kremenek · 18 years ago
  48. 174aea4 Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager). by Ted Kremenek · 18 years ago
  49. 9153f73 Overhauling of "ValueState" so that it represents its own functional data by Ted Kremenek · 18 years ago
  50. f233d48 Implemented initial transfer function support for '&&', '||', '?', and by Ted Kremenek · 18 years ago
  51. f66ea2cd Added file that should have been in my previous commit. by Ted Kremenek · 18 years ago