Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix analyzer regression reported in PR 4164: | Ted Kremenek | 2009-05-06 | 1 | -12/+31 |
* | Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. | Ted Kremenek | 2009-05-04 | 1 | -1/+1 |
* | Zhongxing already implemented this FIXME. | Ted Kremenek | 2009-05-04 | 1 | -2/+0 |
* | array indexes are unsigned integers of the same width as pointer. | Zhongxing Xu | 2009-05-04 | 1 | -1/+1 |
* | BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. | Ted Kremenek | 2009-05-04 | 1 | -1/+6 |
* | Handle 'long x = 0; char *y = (char *) x;' by layering an | Ted Kremenek | 2009-05-04 | 1 | -5/+20 |
* | StoreManager::CastRegion: | Ted Kremenek | 2009-05-01 | 1 | -4/+10 |
* | This patch is largely due to Zhongxing Xu. I've simply applied it because of | Ted Kremenek | 2009-04-21 | 1 | -11/+31 |
* | Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' | Ted Kremenek | 2009-04-21 | 1 | -0/+47 |