Age | Commit message (Expand) | Author |
2009-09-27 | Add FIXME comment. | Ted Kremenek |
2009-09-27 | Fix: | Ted Kremenek |
2009-09-24 | Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' inste... | Ted Kremenek |
2009-09-24 | Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic paramete... | Ted Kremenek |
2009-09-22 | Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with ... | Ted Kremenek |
2009-09-21 | Change all the Type::getAsFoo() methods to specializations of Type::getAs(). | John McCall |
2009-09-21 | Provide intermediate solution to handling assignments to structs via an | Ted Kremenek |
2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
2009-09-05 | Fix buffer overflow reported in PR 4903. | Ted Kremenek |
2009-08-25 | Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers | Ted Kremenek |
2009-08-25 | Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the | Ted Kremenek |
2009-08-21 | Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. | Ted Kremenek |
2009-08-21 | Add LocationContext* field to VarRegion. This is needed for interprocedural ... | Ted Kremenek |
2009-08-21 | Eagerly bind 'self' to SelfRegion. Thus we do not need to get code decl from | Zhongxing Xu |
2009-08-17 | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu |
2009-08-06 | Fix a few more false positives involving RegionStore and unions, but this time | Ted Kremenek |
2009-08-06 | Fix a couple false positive "uninitialized value" warnings with RegionStore | Ted Kremenek |
2009-08-06 | I have a dream, one day, we won't need to do this. | Mike Stump |
2009-08-06 | Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of ... | Ted Kremenek |
2009-08-06 | Remove unimplemented methods 'AddRegionView' and 'RemoveRegionView'. They ar... | Ted Kremenek |
2009-08-06 | Completely remove the code using region cast. | Zhongxing Xu |
2009-08-06 | Implement lazy "copying" of structures and arrays in RegionStore. While | Ted Kremenek |
2009-08-05 | Use feedback from RegionStoreSubRegionMap::add() to prune off adding a super | Ted Kremenek |
2009-08-05 | Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wou... | Ted Kremenek |
2009-08-03 | Handle disgusting corner case where a byte is loaded from the address of a fu... | Ted Kremenek |
2009-08-02 | Remove RegionViews and RegionCasts. These are no longer used. | Ted Kremenek |
2009-08-02 | RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings ... | Ted Kremenek |
2009-08-02 | Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat... | 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 | Temporarily disable most use of region casts in RegionStoreManager, | Ted Kremenek |
2009-07-21 | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek |
2009-07-21 | RegionStore: | Ted Kremenek |
2009-07-20 | Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order | 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 | Move RegionStoreManager over to using new | Ted Kremenek |
2009-07-16 | Use utility method to create 0-index into ElementRegion. | Ted Kremenek |
2009-07-15 | Enhance RegionStore's reasoning about Objective-C ivars. More testing to fol... | Ted Kremenek |
2009-07-15 | Use utility method. | Zhongxing Xu |
2009-07-15 | Relax assertion. | Ted Kremenek |
2009-07-15 | More test cases revealed that the logic in StoreManager::InvalidateRegion() n... | Ted Kremenek |
2009-07-14 | Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do... | Ted Kremenek |
2009-07-14 | Instead of recovering from a wrong invalidation, this patch aims to | Zhongxing Xu |
2009-07-13 | Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an... | Ted Kremenek |
2009-07-13 | Change pretty-printing API for SymExprs and MemRegions to use a naming conven... | Ted Kremenek |
2009-07-11 | Restructure RegionStoreManager::EvalBinOp() as a switch dispatch over different | Ted Kremenek |