Age | Commit message (Expand) | Author |
2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
2009-08-28 | Use SymbolicRegion instead of CodeTextRegion for symbolic function | Ted Kremenek |
2009-08-25 | Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the | Ted Kremenek |
2009-08-02 | Fix regression in StoreManager::CastRegion() to always treat casts to | Ted Kremenek |
2009-08-01 | This is a fairly large patch, which resulted from a cascade of changes | Ted Kremenek |
2009-07-29 | Change uses of: | Ted Kremenek |
2009-07-29 | Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only | Ted Kremenek |
2009-07-29 | Make StoreManager::InvalidateRegion() virtual, move the current implementation | Ted Kremenek |
2009-07-22 | Fix a crasher in StoreManager::InvalidateRegion() caused by using the | Ted Kremenek |
2009-07-18 | Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or ... | Ted Kremenek |
2009-07-17 | Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods | Ted Kremenek |
2009-07-17 | Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), ... | Ted Kremenek |
2009-07-16 | Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. | Ted Kremenek |
2009-07-16 | Remove ASTContext::isObjCObjectPointerType(). | Steve Naroff |
2009-07-15 | rewrite the logic to make it follow the comments more closely. | Zhongxing Xu |
2009-07-15 | More test cases revealed that the logic in StoreManager::InvalidateRegion() n... | Ted Kremenek |
2009-07-14 | Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion. | Ted Kremenek |
2009-07-14 | Instead of recovering from a wrong invalidation, this patch aims to | Zhongxing Xu |
2009-07-10 | Revert r75281 and simply remove the assertion in NewCastRegion that | Ted Kremenek |
2009-07-10 | Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, | Ted Kremenek |
2009-07-07 | fix comment. | Zhongxing Xu |
2009-07-06 | NewCastRegion: Handle casts *from* pointers to incomplete structs to other ty... | Ted Kremenek |
2009-07-06 | Fix 80 col violation. | Ted Kremenek |
2009-07-06 | Restructure NewCastRegion to use a switch statement that dispatches off the | Ted Kremenek |
2009-07-06 | Fix 80 col violation. | Ted Kremenek |
2009-07-06 | NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids. | Ted Kremenek |
2009-07-06 | Implement FIXME. | Ted Kremenek |
2009-07-06 | StoreManager::NewCastRegion: | Ted Kremenek |
2009-07-06 | NewCastRegion: | Ted Kremenek |
2009-07-06 | Fix loop so that 'continue' statements actually cause the loop to iterate. | Ted Kremenek |
2009-07-06 | Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager | Ted Kremenek |
2009-07-06 | Further cleanup of region invalidation code. No functionality change. | Zhongxing Xu |
2009-07-06 | Start to gradually move region invalidation code into store manager. | Zhongxing Xu |
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 |