| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -250/+0 |
| * | Roll out ASTContext::getTypeSizeInChars(), replacing instances of | Ken Dyck | 2010-01-11 | 1 | -4/+5 |
| * | Switch RegionStore over to using <BaseRegion+raw offset> to store | Ted Kremenek | 2010-01-11 | 1 | -11/+17 |
| * | Make static analysis support for C++ 'this' expression context-sensitive. Es... | Ted Kremenek | 2010-01-05 | 1 | -5/+1 |
| * | Completely remove ObjCObjectRegion (tests pass this time). | Ted Kremenek | 2009-12-16 | 1 | -1/+0 |
| * | Add a new kind of region: CXXObjectRegion. Currently it has only one | Zhongxing Xu | 2009-12-16 | 1 | -0/+6 |
| * | Add (initial?) static analyzer support for handling C++ references. | Ted Kremenek | 2009-12-16 | 1 | -2/+12 |
| * | Enhance understanding of VarRegions referenced by a block whose declarations ... | Ted Kremenek | 2009-12-11 | 1 | -0/+1 |
| * | OSAtomic simulation: use the original region as the location to load from, | Zhongxing Xu | 2009-12-09 | 1 | -2/+2 |
| * | Add analysis support for blocks. This includes a few key changes: | Ted Kremenek | 2009-12-07 | 1 | -5/+18 |
| * | Add batch version of 'StoreManager::InvalidateRegion()' for invalidating mult... | Ted Kremenek | 2009-12-03 | 1 | -0/+11 |
| * | Add missing case in switch statement. | Ted Kremenek | 2009-11-25 | 1 | -1/+2 |
| * | Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre... | Ted Kremenek | 2009-11-25 | 1 | -1/+3 |
| * | Only fetch the ASTContext object within the assertion. | Ted Kremenek | 2009-11-19 | 1 | -4/+2 |
| * | Silence -Asserts warning. | Daniel Dunbar | 2009-11-19 | 1 | -0/+1 |
| * | First part of changes to eliminate problems with cv-qualifiers and | Douglas Gregor | 2009-11-16 | 1 | -4/+2 |
| * | * Do the same thing to the basicstore as in r84163. | Zhongxing Xu | 2009-11-16 | 1 | -8/+10 |
| * | Rename: StripCasts describes what it does better. | Zhongxing Xu | 2009-11-10 | 1 | -1/+1 |
| * | Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion. | Zhongxing Xu | 2009-10-14 | 1 | -27/+21 |
| * | Remove tabs, and whitespace cleanups. | Mike Stump | 2009-09-09 | 1 | -27/+27 |
| * | Use SymbolicRegion instead of CodeTextRegion for symbolic function | Ted Kremenek | 2009-08-28 | 1 | -8/+4 |
| * | Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the | Ted Kremenek | 2009-08-25 | 1 | -0/+16 |
| * | Fix regression in StoreManager::CastRegion() to always treat casts to | Ted Kremenek | 2009-08-02 | 1 | -3/+7 |
| * | This is a fairly large patch, which resulted from a cascade of changes | Ted Kremenek | 2009-08-01 | 1 | -47/+96 |
| * | Change uses of: | Ted Kremenek | 2009-07-29 | 1 | -2/+2 |
| * | Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only | Ted Kremenek | 2009-07-29 | 1 | -95/+5 |
| * | Make StoreManager::InvalidateRegion() virtual, move the current implementation | Ted Kremenek | 2009-07-29 | 1 | -92/+0 |
| * | Fix a crasher in StoreManager::InvalidateRegion() caused by using the | Ted Kremenek | 2009-07-22 | 1 | -0/+8 |
| * | Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or ... | Ted Kremenek | 2009-07-18 | 1 | -2/+20 |
| * | Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods | Ted Kremenek | 2009-07-17 | 1 | -3/+3 |
| * | Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), ... | Ted Kremenek | 2009-07-17 | 1 | -1/+1 |
| * | Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. | Ted Kremenek | 2009-07-16 | 1 | -2/+2 |
| * | Remove ASTContext::isObjCObjectPointerType(). | Steve Naroff | 2009-07-16 | 1 | -1/+1 |
| * | rewrite the logic to make it follow the comments more closely. | Zhongxing Xu | 2009-07-15 | 1 | -1/+2 |
| * | More test cases revealed that the logic in StoreManager::InvalidateRegion() n... | Ted Kremenek | 2009-07-15 | 1 | -6/+10 |
| * | Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion. | Ted Kremenek | 2009-07-14 | 1 | -1/+5 |
| * | Instead of recovering from a wrong invalidation, this patch aims to | Zhongxing Xu | 2009-07-14 | 1 | -1/+8 |
| * | Revert r75281 and simply remove the assertion in NewCastRegion that | Ted Kremenek | 2009-07-10 | 1 | -25/+3 |
| * | Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, | Ted Kremenek | 2009-07-10 | 1 | -3/+24 |
| * | fix comment. | Zhongxing Xu | 2009-07-07 | 1 | -2/+2 |
| * | NewCastRegion: Handle casts *from* pointers to incomplete structs to other ty... | Ted Kremenek | 2009-07-06 | 1 | -9/+19 |
| * | Fix 80 col violation. | Ted Kremenek | 2009-07-06 | 1 | -4/+4 |
| * | Restructure NewCastRegion to use a switch statement that dispatches off the | Ted Kremenek | 2009-07-06 | 1 | -51/+62 |
| * | Fix 80 col violation. | Ted Kremenek | 2009-07-06 | 1 | -2/+2 |
| * | NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids. | Ted Kremenek | 2009-07-06 | 1 | -2/+2 |
| * | Implement FIXME. | Ted Kremenek | 2009-07-06 | 1 | -1/+1 |
| * | StoreManager::NewCastRegion: | Ted Kremenek | 2009-07-06 | 1 | -10/+22 |
| * | NewCastRegion: | Ted Kremenek | 2009-07-06 | 1 | -12/+10 |
| * | Fix loop so that 'continue' statements actually cause the loop to iterate. | Ted Kremenek | 2009-07-06 | 1 | -2/+1 |
| * | Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager | Ted Kremenek | 2009-07-06 | 1 | -2/+80 |
