Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 0fe33bc94a822e315585e5cde1964d3c3b9052f9 / lib / Analysis / RValues.cpp
  1. 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
  2. 423a3c9 simplify some code by using PointerLikeType. by Chris Lattner · 17 years ago
  3. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/RValues.cpp]
  4. 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
  5. 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago
  6. 843e934 fix typos by Gabor Greif · 17 years ago
  7. 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
  8. 8cc13ea Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 17 years ago
  9. 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 17 years ago
  10. d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
  11. aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
  12. 90e4203 Implemented transfer function logic for unary '+' by Ted Kremenek · 17 years ago
  13. d8e9f0d Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago
  14. de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
  15. d70d0b0 Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 17 years ago
  16. 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  17. 90e1481 Added "symbol iterators" for RValues, allowing easy iteration over the symbols by Ted Kremenek · 18 years ago
  18. 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 18 years ago
  19. c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 18 years ago
  20. d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 18 years ago
  21. cc409b7 Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive". by Ted Kremenek · 18 years ago
  22. 2a50257 Added transfer function/value track logic for taking the address of a label. by Ted Kremenek · 18 years ago
  23. 59c2d26 Implemented transfer functions for "<<" and ">>" when the RValues are by Ted Kremenek · 18 years ago
  24. 53c641a More variable renamings. by Ted Kremenek · 18 years ago
  25. 2203118 Renamed InvalidValue to UnknownVal. by Ted Kremenek · 18 years ago
  26. 7e59336 Added some more opcode pretty-printing. by Ted Kremenek · 18 years ago
  27. d131c4f Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 18 years ago
  28. fd88bb9 get the tree building again by Chris Lattner · 18 years ago
  29. 5b6dc2d Added transfer function logic for ReturnStmts. by Ted Kremenek · 18 years ago
  30. cf78b6a Major code refactoring/cleanup with transfer function logic. Now the by Ted Kremenek · 18 years ago
  31. feb01f6 Added assumption logic for symbolic non-lvalues when used in conditions such as by Ted Kremenek · 18 years ago
  32. 08b6625 Fixed signedness bug in cast transfer function when casting integers to pointers. by Ted Kremenek · 18 years ago
  33. 0806acf Added pretty-printing support for lval::SymIntConstraintVal and by Ted Kremenek · 18 years ago
  34. 329f854 Moved subclasses of LValue and NonLValue into their own namespaces. by Ted Kremenek · 18 years ago
  35. 1fbdb02 Added "SymIntConstraint", a utility class to represent intermediate values for by Ted Kremenek · 18 years ago
  36. c5d3b4c Implemented transfer function for unary '~'. by Ted Kremenek · 18 years ago
  37. a6e4d21 Implemented casts for ConcreteInt and ConcreteIntLValue. by Ted Kremenek · 18 years ago
  38. a90ccfe Moved RValue code in GRConstants.cpp to RValue.[h,cpp]. by Ted Kremenek · 18 years ago