Age | Commit message (Expand) | Author |
---|---|---|
2009-06-30 | Update old CastRegion logic to not assume that ElementRegion's super region is a | Ted Kremenek |
2009-06-16 | Use canonical type for building ElementRegion. Otherwise ElementRegions cannot | Zhongxing Xu |
2009-05-09 | rename: MemRegion: | Zhongxing Xu |
2009-05-06 | Fix analyzer regression reported in PR 4164: | Ted Kremenek |
2009-05-04 | Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. | Ted Kremenek |
2009-05-04 | Zhongxing already implemented this FIXME. | Ted Kremenek |
2009-05-04 | array indexes are unsigned integers of the same width as pointer. | Zhongxing Xu |
2009-05-04 | BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. | Ted Kremenek |
2009-05-04 | Handle 'long x = 0; char *y = (char *) x;' by layering an | Ted Kremenek |
2009-05-01 | StoreManager::CastRegion: | Ted Kremenek |
2009-04-21 | This patch is largely due to Zhongxing Xu. I've simply applied it because of | Ted Kremenek |
2009-04-21 | Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' | Ted Kremenek |