Age | Commit message (Expand) | Author |
---|---|---|
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 |