Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
79d39f92590cf2e91bf81486b02cd1156d13ca54
/
lib
/
Analysis
/
Environment.cpp
6d2c657
Move the AnalysisContext* from GRState to Environment.
by Ted Kremenek
· 16 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
· 16 years ago
6cb7c1a
Replace cerr with errs().
by Benjamin Kramer
· 16 years ago
5ff8e8c
add fixme.
by Zhongxing Xu
· 16 years ago
ce2f9bd
Instead of r74522, use another approach to fix xfail_regionstore_wine_crash.c.
by Zhongxing Xu
· 16 years ago
d91ee27
Move all factory methods from SVal to ValueManager. API cleanup!
by Zhongxing Xu
· 16 years ago
23ec48c
Move clients over from using GRStateManager::BindXXX and friends to
by Ted Kremenek
· 16 years ago
47fed90
Remove GRStateRef.
by Ted Kremenek
· 16 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
· 17 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
· 17 years ago
43d0ffd
remove unused var
by Nuno Lopes
· 17 years ago
d493163
GRStateRef: - Rename SetSVal to BindLoc - Add BindDecl - Add BindExpr
by Ted Kremenek
· 17 years ago
8cd5aae
Rename:
by Zhongxing Xu
· 17 years ago
6eec8e8
Rename ExplicitCCastExpr to CStyleCastExpr
by Douglas Gregor
· 17 years ago
49badde
Refactor the expression class hierarchy for casts. Most importantly:
by Douglas Gregor
· 17 years ago
143bf82
Add code for get the lvalue for string literals. Now we return a StringRegion
by Zhongxing Xu
· 17 years ago
1c96b24
This patch did the following renaming. There should be no functional changes.
by Zhongxing Xu
· 17 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
· 17 years ago
a950fe2
Modify comments.
by Zhongxing Xu
· 17 years ago
df9cdf8
Patch by Zhongxing Xu:
by Ted Kremenek
· 17 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
· 17 years ago
d72ee90
Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager.
by Ted Kremenek
· 17 years ago
8133a26
Initial work on splitting the ValueState into an Environment, Store, and
by Ted Kremenek
· 17 years ago