aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/SValuator.cpp
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-14Fix pr6035.Zhongxing Xu
2010-01-05Revert r92318. Instead fix the analyzer: do not call Zhongxing Xu
2009-12-23Fix PR 5857. When casting from a symbolic region to an integer back to a poi...Ted Kremenek
2009-11-16First part of changes to eliminate problems with cv-qualifiers andDouglas Gregor
2009-10-14Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion.Zhongxing Xu
2009-10-06Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer whenTed Kremenek
2009-09-11Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-25Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp.Ted Kremenek
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-24Update for LLVM API change.Owen Anderson
2009-07-21Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek