| Age | Commit message (Expand) | Author |
|---|
| 2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |
| 2010-01-18 | Add support for computing size in elements for symbolic regions obtained from | Zhongxing Xu |
| 2010-01-11 | Switch RegionStore over to using <BaseRegion+raw offset> to store | Ted Kremenek |
| 2010-01-05 | Make static analysis support for C++ 'this' expression context-sensitive. Es... | Ted Kremenek |
| 2009-12-19 | Remove ';' after method definition. Noticed by clang++, which one would think | Daniel Dunbar |
| 2009-12-16 | Add a new kind of region: CXXObjectRegion. Currently it has only one | Zhongxing Xu |
| 2009-12-07 | Add analysis support for blocks. This includes a few key changes: | Ted Kremenek |
| 2009-12-03 | Add batch version of 'StoreManager::InvalidateRegion()' for invalidating mult... | Ted Kremenek |
| 2009-11-16 | * Do the same thing to the basicstore as in r84163. | Zhongxing Xu |
| 2009-11-12 | Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. | Zhongxing Xu |
| 2009-11-04 | Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,... | Ted Kremenek |
| 2009-10-16 | retain/release checker: Stop tracking reference counts for any symbols touche... | Ted Kremenek |
| 2009-10-14 | Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion. | Zhongxing Xu |
| 2009-10-14 | * Remove unused GRState* parameter | Zhongxing Xu |
| 2009-10-13 | Return the original state by default. | Zhongxing Xu |
| 2009-10-13 | Add an initial implementation of EnterStackFrame() to the StoreManager. | Zhongxing Xu |
| 2009-10-09 | Remove unused code. | Zhongxing Xu |
| 2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
| 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-17 | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu |
| 2009-08-02 | Remove RegionViews and RegionCasts. These are no longer used. | 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 | Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only | Ted Kremenek |
| 2009-07-29 | Make StoreManager::InvalidateRegion() virtual, move the current implementation | Ted Kremenek |
| 2009-07-21 | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek |
| 2009-07-14 | Instead of recovering from a wrong invalidation, this patch aims to | Zhongxing Xu |
| 2009-07-10 | Switch BasicStoreManager to use the new CastRegion implementation by default, | Ted Kremenek |
| 2009-07-06 | Unbreak build by including header. | Ted Kremenek |
| 2009-07-06 | Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi... | 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-26 | Introduce a new concept to the static analyzer: SValuator. | Ted Kremenek |
| 2009-06-24 | Remove uses of std::ostream from libAnalysis. | Ted Kremenek |
| 2009-06-17 | Start moving in the direction of removing GRStateRef. Now each | Ted Kremenek |
| 2009-06-16 | RegionStoreManager: | Ted Kremenek |
| 2009-05-20 | * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because | Zhongxing Xu |
| 2009-05-12 | Add logic for invalidating array region to CFRefCount.cpp. When invalidating | Zhongxing Xu |
| 2009-05-06 | Make StoreManager::CastRegion() virtual and implement a new CastRegion() for | Zhongxing Xu |
| 2009-05-04 | Per conversations with Zhongxing, add an 'element type' to | Ted Kremenek |
| 2009-04-21 | Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' | Ted Kremenek |
| 2009-04-09 | - Move ownership of MemRegionManager into ValueManager. | Ted Kremenek |
| 2009-03-30 | Implement a FIXME. | Zhongxing Xu |
| 2009-03-05 | BasicStore: | Ted Kremenek |
| 2009-03-03 | Don't use std::auto_ptr with getSubRegionMap(). | Ted Kremenek |
| 2009-03-03 | Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M... | Ted Kremenek |
| 2009-03-03 | Add StoreManager::getSubRegionMap(). This method returns an opaque mapping f... | Ted Kremenek |
