| Age | Commit message (Expand) | Author |
|---|
| 2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |
| 2009-12-15 | Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra v... | Ted Kremenek |
| 2009-11-25 | Refine MemRegions for blocks. Add a new region called | Ted Kremenek |
| 2009-11-25 | Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre... | Ted Kremenek |
| 2009-09-27 | Fix: | Ted Kremenek |
| 2009-09-11 | Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way | Ted Kremenek |
| 2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
| 2009-08-06 | Implement lazy "copying" of structures and arrays in RegionStore. While | Ted Kremenek |
| 2009-08-05 | If the UnaryOperator has non-location type, use its type to create the | Zhongxing Xu |
| 2009-08-01 | This is a fairly large patch, which resulted from a cascade of changes | Ted Kremenek |
| 2009-07-21 | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek |
| 2009-07-16 | Two changes: | Ted Kremenek |
| 2009-07-15 | Introduced the notion of a "derived symbol" using the class SymbolDerived. | Ted Kremenek |
| 2009-07-08 | Fix: <rdar://problem/7034511> ValueManager::makeIntVal(uint64_t X, QualType T... | Ted Kremenek |
| 2009-07-03 | remove utility methods that are not very useful. | Zhongxing Xu |
| 2009-07-02 | Replace guarded calls in RegionStoreManager to | Ted Kremenek |
| 2009-06-30 | add utility methods. | Zhongxing Xu |
| 2009-06-26 | Introduce a new concept to the static analyzer: SValuator. | Ted Kremenek |
| 2009-06-23 | Move all factory methods from SVal to ValueManager. API cleanup! | Zhongxing Xu |
| 2009-06-23 | Split ValueManager method definitions into its own source file. | Zhongxing Xu |
| 2009-06-23 | ValueManager::makeNonLoc -> ValueManager::makeIntVal | Zhongxing Xu |
| 2009-06-23 | Instead of setting the default value of the array region, bind the rest of the | Zhongxing Xu |
| 2009-06-23 | MemRegions: | Ted Kremenek |
| 2009-06-18 | When casting region, if we do not create an element region, record the cast-to | Zhongxing Xu |
| 2009-05-09 | Rename: | Zhongxing Xu |
| 2009-05-04 | Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. | Ted Kremenek |
| 2009-05-04 | array indexes are unsigned integers of the same width as pointer. | Zhongxing Xu |
| 2009-04-11 | Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" | Ted Kremenek |
| 2009-04-10 | Move a few more NonLoc static functions to ValueManager. | Ted Kremenek |
| 2009-04-10 | Add prototype for CodeTextRegion. | Zhongxing Xu |
| 2009-04-09 | - Move ownership of MemRegionManager into ValueManager. | Ted Kremenek |
| 2009-04-09 | Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. | Ted Kremenek |
| 2009-04-09 | analyzer: Introduce a new class, ValueManager, that serves as an aggregate | Ted Kremenek |
| 2008-03-07 | Renamed ValueManager to BasicValueFactory. | Ted Kremenek |
| 2008-03-06 | fix typos | Gabor Greif |
| 2008-03-05 | remove the source location arguments to various target query methods. | Chris Lattner |
| 2008-02-28 | Added checking for undefined results of '<<' and '>>' (shifting by too many b... | Ted Kremenek |
| 2008-02-27 | Header file cleanups: reduce number of includes; move ValueState.h into inclu... | Ted Kremenek |
| 2008-02-16 | Further cleanup. Moved definitions for SymbolManager and ValueManager into | Ted Kremenek |
