| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-07-10 | Restructure RegionStoreManager::getSizeInElements() to use a switch statement | Ted Kremenek |
| 2009-07-06 | Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager | Ted Kremenek |
| 2009-07-03 | remove utility methods that are not very useful. | Zhongxing Xu |
| 2009-07-03 | Remove unused method. | Ted Kremenek |
| 2009-07-02 | Replace guarded calls in RegionStoreManager to | Ted Kremenek |
| 2009-07-02 | Enhance RegionStore to lazily symbolicate fields and array elements for | Ted Kremenek |
| 2009-07-02 | StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of | Ted Kremenek |
| 2009-07-01 | Minor code cleanup: pull variables into scope of 'if' statement, limiting their | Ted Kremenek |
| 2009-07-01 | Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to | Ted Kremenek |
| 2009-07-01 | add fixme. | Zhongxing Xu |
| 2009-06-30 | When retrieving element region, if its super region has binding, return | Zhongxing Xu |
| 2009-06-30 | De-ASTContext-ify DeclContext. | Argyrios Kyrtzidis |
| 2009-06-28 | Adjust retrieve handler priority. If a field is of array type, it should be | Zhongxing Xu |
| 2009-06-28 | Do not crash on binding concrete integer location. | Zhongxing Xu |
| 2009-06-26 | Update method signature. | Ted Kremenek |
| 2009-06-26 | Introduce a new concept to the static analyzer: SValuator. | Ted Kremenek |
| 2009-06-25 | remove RegionKills GDM. Now UnknownVal is bound to regions explicitly. | Zhongxing Xu |
| 2009-06-25 | Move element region retrieving logic into a separate function. | Zhongxing Xu |
| 2009-06-25 | Move all logic for retrieving ElementRegion binding into a separate method. | Zhongxing Xu |
| 2009-06-24 | Remove uses of std::ostream from libAnalysis. | Ted Kremenek |
| 2009-06-24 | use a concrete type instead of a trait type to make code more readable. | Zhongxing Xu |
| 2009-06-24 | RegionStore: revert to the default value approach for array initialization. | Zhongxing Xu |
| 2009-06-23 | - Add MemRegion::getMemorySpace() | Ted Kremenek |
| 2009-06-23 | Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR... | Ted Kremenek |
| 2009-06-23 | Move all factory methods from SVal to ValueManager. API cleanup! | Zhongxing Xu |
