summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/ValueManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-153/+0
* Add analysis support for blocks. This includes a few key changes:Ted Kremenek2009-12-071-1/+3
* constify MemRegion* returned by MemRegionManager::getXXXRegion() methods.Ted Kremenek2009-12-041-4/+3
* Refine MemRegions for blocks. Add a new region calledTed Kremenek2009-11-251-4/+6
* Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre...Ted Kremenek2009-11-251-1/+8
* Fix:Ted Kremenek2009-09-271-4/+7
* Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek2009-09-111-9/+12
* Remove tabs, and whitespace cleanups.Mike Stump2009-09-091-13/+13
* Use SymbolicRegion instead of CodeTextRegion for symbolic functionTed Kremenek2009-08-281-19/+3
* This is a fairly large patch, which resulted from a cascade of changesTed Kremenek2009-08-011-36/+34
* Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek2009-07-211-1/+4
* Return CodeTextRegions for BlockPointerTypes in addition to FunctionPointerTy...Ted Kremenek2009-07-181-9/+9
* Two changes:Ted Kremenek2009-07-161-0/+11
* Introduced the notion of a "derived symbol" using the class SymbolDerived.Ted Kremenek2009-07-151-0/+16
* Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu2009-06-231-27/+11
* Split ValueManager method definitions into its own source file.Zhongxing Xu2009-06-231-0/+141
OpenPOWER on IntegriCloud