- 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 14 years ago
- cf84887 Fix a typo in EnvironmentManager::bindExprAndLocation(). Reviewed by kremenek. by Zhanyong Wan · 14 years ago
- 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 · 14 years ago
- 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 · 14 years ago
- 477323d Add support for CXXBoolLiteralExpr. by Zhongxing Xu · 15 years ago
- 7b73b92 Always assume block-level expressions in the caller are alive when analyzing by Zhongxing Xu · 15 years ago
- b3e485c Since now we process regions in clusters when removing dead bindings, this by Zhongxing Xu · 15 years ago
- 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
- c179a7f Remove reference to AnalysisContext in Environment. We already have LocationContext by Zhongxing Xu · 15 years ago
- 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/Analysis/Environment.cpp]
- bc37b8d When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 15 years ago
- ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
- 6d2c657 Move the AnalysisContext* from GRState to Environment. by Ted Kremenek · 15 years ago
- 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
- 6cb7c1a Replace cerr with errs(). by Benjamin Kramer · 15 years ago
- 5ff8e8c add fixme. by Zhongxing Xu · 15 years ago
- ce2f9bd Instead of r74522, use another approach to fix xfail_regionstore_wine_crash.c. by Zhongxing Xu · 15 years ago
- d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
- 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 15 years ago
- 47fed90 Remove GRStateRef. by Ted Kremenek · 15 years ago
- 9d8d0fc Add comments. by Zhongxing Xu · 16 years ago
- 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 16 years ago
- 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
- 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
- 43d0ffd remove unused var by Nuno Lopes · 16 years ago
- d493163 GRStateRef: - Rename SetSVal to BindLoc - Add BindDecl - Add BindExpr by Ted Kremenek · 16 years ago
- 8cd5aae Rename: by Zhongxing Xu · 16 years ago
- 6eec8e8 Rename ExplicitCCastExpr to CStyleCastExpr by Douglas Gregor · 16 years ago
- 49badde Refactor the expression class hierarchy for casts. Most importantly: by Douglas Gregor · 16 years ago
- 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 16 years ago
- 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
- 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
- a950fe2 Modify comments. by Zhongxing Xu · 16 years ago
- df9cdf8 Patch by Zhongxing Xu: by Ted Kremenek · 16 years ago
- 0835a3c Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastExpr and ExplicitCastExpr derive from a common base class (CastExpr): by Argyrios Kyrtzidis · 16 years ago
- d72ee90 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 16 years ago
- 8133a26 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 16 years ago