summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/Environment.cpp
Commit message (Expand)AuthorAgeFilesLines
* add fixme.Zhongxing Xu2009-07-011-0/+2
* Instead of r74522, use another approach to fix xfail_regionstore_wine_crash.c.Zhongxing Xu2009-06-301-2/+11
* Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu2009-06-231-8/+7
* Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek2009-06-181-8/+10
* Remove GRStateRef.Ted Kremenek2009-06-181-1/+1
* Add comments.Zhongxing Xu2009-03-121-0/+8
* Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M...Ted Kremenek2009-03-031-1/+2
* Added GRStateManager::scanReachableSymbols(), a method which scans the reachableTed Kremenek2009-02-141-7/+15
* Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek2009-01-211-8/+6
* remove unused varNuno Lopes2008-11-251-1/+0
* GRStateRef:Ted Kremenek2008-11-121-19/+23
* Rename:Zhongxing Xu2008-10-301-2/+2
* Rename ExplicitCCastExpr to CStyleCastExprDouglas Gregor2008-10-281-1/+1
* Refactor the expression class hierarchy for casts. Most importantly:Douglas Gregor2008-10-271-1/+1
* Add code for get the lvalue for string literals. Now we return a StringRegionZhongxing Xu2008-10-251-7/+4
* This patch did the following renaming. There should be no functional changes.Zhongxing Xu2008-10-171-15/+15
* This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek2008-10-041-11/+9
* Modify comments.Zhongxing Xu2008-08-211-2/+3
* Patch by Zhongxing Xu:Ted Kremenek2008-08-201-0/+48
* Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastEx...Argyrios Kyrtzidis2008-08-181-13/+2
* Move some environment methods from ValueState/ValueStateManager to Environmen...Ted Kremenek2008-07-101-8/+95
* Initial work on splitting the ValueState into an Environment, Store, andTed Kremenek2008-07-081-0/+29