Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 3a8f40ed5e86a97e07d255976a95d2f3ad792b6d / lib / EntoSA / Environment.cpp
  1. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (99%) from lib/GR/Environment.cpp]
  2. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  3. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  4. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/Checker/Environment.cpp]
  5. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  6. a8d835a Always blast through no-op casts when getting expr SVals. by Zhongxing Xu · 15 years ago
  7. 05e5391 After inlining the CXXConstructExpr, bind the temporary object region to it. by Zhongxing Xu · 15 years ago
  8. 892697d Start migration of static analyzer to using the by Ted Kremenek · 15 years ago
  9. 4765fa0 Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoretical by John McCall · 15 years ago
  10. 4658463 Rename Environment::LookupExpr() to by Ted Kremenek · 15 years ago
  11. f6a1648 Although we currently have explicit lvalue-to-rvalue conversions, they're by John McCall · 15 years ago
  12. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 15 years ago
  13. 0e38d5d handle CXXFunctionalCastExpr in visitLValue and Environment. by Zhongxing Xu · 15 years ago
  14. 8ed119f Improve comments. by Zhongxing Xu · 15 years ago
  15. d706434 Let StackFrameContext represent if the call expr is evaluated as lvalue. by Zhongxing Xu · 15 years ago
  16. 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 15 years ago
  17. cf84887 Fix a typo in EnvironmentManager::bindExprAndLocation(). Reviewed by kremenek. by Zhanyong Wan · 15 years ago
  18. 6d4c022 Add optional record of "location" SVals in the environment. When we analyzing loads/stores, we lose the location SVal, which makes it difficult to recover in some cases (e.g., for post diagnostics). This is prep for pending changes to GRExprEngine. by Ted Kremenek · 15 years ago
  19. 7dadf79 Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents. by Jordy Rose · 15 years ago
  20. 477323d Add support for CXXBoolLiteralExpr. by Zhongxing Xu · 15 years ago
  21. 7b73b92 Always assume block-level expressions in the caller are alive when analyzing by Zhongxing Xu · 15 years ago
  22. b3e485c Since now we process regions in clusters when removing dead bindings, this by Zhongxing Xu · 15 years ago
  23. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
  24. c179a7f Remove reference to AnalysisContext in Environment. We already have LocationContext by Zhongxing Xu · 15 years ago
  25. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from lib/Analysis/Environment.cpp]
  26. bc37b8d When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 16 years ago
  27. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  28. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  29. 6d2c657 Move the AnalysisContext* from GRState to Environment. by Ted Kremenek · 16 years ago
  30. 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 · 16 years ago
  31. 6cb7c1a Replace cerr with errs(). by Benjamin Kramer · 16 years ago
  32. 5ff8e8c add fixme. by Zhongxing Xu · 16 years ago
  33. ce2f9bd Instead of r74522, use another approach to fix xfail_regionstore_wine_crash.c. by Zhongxing Xu · 16 years ago
  34. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
  35. 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 16 years ago
  36. 47fed90 Remove GRStateRef. by Ted Kremenek · 16 years ago
  37. 9d8d0fc Add comments. by Zhongxing Xu · 16 years ago
  38. 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 16 years ago
  39. 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
  40. 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 · 17 years ago
  41. 43d0ffd remove unused var by Nuno Lopes · 17 years ago
  42. d493163 GRStateRef: - Rename SetSVal to BindLoc - Add BindDecl - Add BindExpr by Ted Kremenek · 17 years ago
  43. 8cd5aae Rename: by Zhongxing Xu · 17 years ago
  44. 6eec8e8 Rename ExplicitCCastExpr to CStyleCastExpr by Douglas Gregor · 17 years ago
  45. 49badde Refactor the expression class hierarchy for casts. Most importantly: by Douglas Gregor · 17 years ago
  46. 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 17 years ago
  47. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  48. 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 · 17 years ago
  49. a950fe2 Modify comments. by Zhongxing Xu · 17 years ago
  50. df9cdf8 Patch by Zhongxing Xu: by Ted Kremenek · 17 years ago
  51. 0835a3c Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastExpr and ExplicitCastExpr derive from a common base class (CastExpr): by Argyrios Kyrtzidis · 17 years ago
  52. d72ee90 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 17 years ago
  53. 8133a26 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 17 years ago