aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/Environment.h
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-27Move the AnalysisContext* from GRState to Environment.Ted Kremenek
2009-08-27Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, g...Ted Kremenek
2009-06-23Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-06-17Class 'Environment' no longer should subclass llvm::FoldingSetNode.Ted Kremenek
2009-03-03Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M...Ted Kremenek
2009-02-14Added GRStateManager::scanReachableSymbols(), a method which scans the reachableTed Kremenek
2009-01-21Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek
2008-11-12GRStateRef:Ted Kremenek
2008-10-30Rename:Zhongxing Xu
2008-10-21Rename:Zhongxing Xu
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-16This is the first step to build a better evaluation model for GRExprEngine. AZhongxing Xu
2008-10-04This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek
2008-08-20Patch by Zhongxing Xu:Ted Kremenek
2008-07-10Move some environment methods from ValueState/ValueStateManager to Environmen...Ted Kremenek
2008-07-08Initial work on splitting the ValueState into an Environment, Store, andTed Kremenek