| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | rename: MemRegion: | Zhongxing Xu | 2009-05-09 | 1 | -1/+1 | |
| * | 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 | |

