- 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
- 81a9583 Add batch version of 'StoreManager::InvalidateRegion()' for invalidating multiple regions as once. After adopting this in the CFRefCount::EvalCall(), we see a reduction in analysis time of 1.5% when analyzing all of SQLite3. by Ted Kremenek · 15 years ago
- bf0fe6c Add missing case in switch statement. by Ted Kremenek · 15 years ago
- eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
- 27e05ed Only fetch the ASTContext object within the assertion. by Ted Kremenek · 15 years ago
- 6049762 Silence -Asserts warning. by Daniel Dunbar · 15 years ago
- a4923eb First part of changes to eliminate problems with cv-qualifiers and by Douglas Gregor · 15 years ago
- 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
- 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
- 09270cc Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion. by Zhongxing Xu · 15 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
- abd46e1 Use SymbolicRegion instead of CodeTextRegion for symbolic function by Ted Kremenek · 15 years ago
- 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
- 9a108eb Fix regression in StoreManager::CastRegion() to always treat casts to by Ted Kremenek · 15 years ago
- 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
- 6217b80 Change uses of: by Ted Kremenek · 15 years ago
- f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
- 1004a9f Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 15 years ago
- 0b331e3 Fix a crasher in StoreManager::InvalidateRegion() caused by using the by Ted Kremenek · 15 years ago
- 63b9cfe Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or whatever) to a BlockPointerType. by Ted Kremenek · 15 years ago
- 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
- 5cad1f7 Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), Type::getAsMemberPointerType(), Type::getAsTagType(), and Type::getAsRecordType() with their Type::getAs<XXX> equivalents. by Ted Kremenek · 15 years ago
- 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
- f495456 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 15 years ago
- 6ce85ee rewrite the logic to make it follow the comments more closely. by Zhongxing Xu · 15 years ago
- a6275a5 More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. by Ted Kremenek · 15 years ago
- aa8bc7e Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion. by Ted Kremenek · 15 years ago
- 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 15 years ago
- 8d344ae Revert r75281 and simply remove the assertion in NewCastRegion that by Ted Kremenek · 15 years ago
- 3f9811b Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, by Ted Kremenek · 15 years ago
- db4f531 fix comment. by Zhongxing Xu · 15 years ago
- 169077d NewCastRegion: Handle casts *from* pointers to incomplete structs to other types. by Ted Kremenek · 15 years ago
- db5f266 Fix 80 col violation. by Ted Kremenek · 15 years ago
- fc8f57c Restructure NewCastRegion to use a switch statement that dispatches off the by Ted Kremenek · 15 years ago
- 07cdec1 Fix 80 col violation. by Ted Kremenek · 15 years ago
- b9a4425 NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids. by Ted Kremenek · 15 years ago
- 1f612cb Implement FIXME. by Ted Kremenek · 15 years ago
- 411af40 StoreManager::NewCastRegion: by Ted Kremenek · 15 years ago
- 145918c NewCastRegion: by Ted Kremenek · 15 years ago
- ca4e1b7 Fix loop so that 'continue' statements actually cause the loop to iterate. by Ted Kremenek · 15 years ago
- 48ce7de Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager by Ted Kremenek · 15 years ago
- 313b6da Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 15 years ago
- 43e2aaf Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 15 years ago
- 19cfa2b Update old CastRegion logic to not assume that ElementRegion's super region is a by Ted Kremenek · 15 years ago
- 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 15 years ago
- ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 15 years ago
- 4253051 Fix analyzer regression reported in PR 4164: by Ted Kremenek · 15 years ago
- cd9392f Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. by Ted Kremenek · 15 years ago
- 124838b Zhongxing already implemented this FIXME. by Ted Kremenek · 15 years ago
- b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 15 years ago
- 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 15 years ago
- fd6b4f3 Handle 'long x = 0; char *y = (char *) x;' by layering an by Ted Kremenek · 15 years ago
- a8607d1 StoreManager::CastRegion: by Ted Kremenek · 15 years ago
- 30d1b99 This patch is largely due to Zhongxing Xu. I've simply applied it because of by Ted Kremenek · 15 years ago
- c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 15 years ago