| Age | Commit message (Expand) | Author |
|---|
| 2009-08-02 | Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat... | 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-21 | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek |
| 2009-07-17 | Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods | Ted Kremenek |
| 2009-07-16 | Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. | Ted Kremenek |
| 2009-07-15 | Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'st... | Ted Kremenek |
| 2009-07-13 | Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an... | Ted Kremenek |
| 2009-07-10 | Switch BasicStoreManager to use the new CastRegion implementation by default, | Ted Kremenek |
| 2009-07-06 | Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi... | Ted Kremenek |
| 2009-07-03 | BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a vari... | Ted Kremenek |
| 2009-07-02 | StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of | Ted Kremenek |
| 2009-06-30 | Combine two conditional branches into one. No functionality change. | Ted Kremenek |
| 2009-06-30 | We do not require the super region of element region be typed. So do not | Zhongxing Xu |
| 2009-06-30 | Remove the ASTContext parameter from the getBody() methods of Decl and subcla... | Argyrios Kyrtzidis |
| 2009-06-28 | Do not crash on binding concrete integer location. | Zhongxing Xu |
| 2009-06-28 | Simplify some code. As in region store, we always expect the location is a | Zhongxing Xu |
| 2009-06-24 | Remove uses of std::ostream from libAnalysis. | Ted Kremenek |
| 2009-06-23 | Remove GRStateManager::getRegion/getSelfRegion(). | Ted Kremenek |
| 2009-06-23 | Move all factory methods from SVal to ValueManager. API cleanup! | Zhongxing Xu |
| 2009-06-23 | MemRegions: | Ted Kremenek |
| 2009-06-17 | Start moving in the direction of removing GRStateRef. Now each | Ted Kremenek |
| 2009-06-16 | Use canonical type for building ElementRegion. Otherwise ElementRegions cannot | Zhongxing Xu |
| 2009-05-09 | Rename: | Zhongxing Xu |
| 2009-05-09 | As discussed with Ted, rename TypedRegion::getObjectType() to | Zhongxing Xu |
| 2009-05-09 | rename: MemRegion: | Zhongxing Xu |
| 2009-05-05 | Fix unused variable warning | Ted Kremenek |
| 2009-05-05 | Remove possibly incorrect assertion that doesn't matter. | Ted Kremenek |
| 2009-05-04 | Add array index assertion: BasicStore should not expect any fancy | Ted Kremenek |
| 2009-05-04 | array indexes are unsigned integers of the same width as pointer. | Zhongxing Xu |
| 2009-05-04 | BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. | Ted Kremenek |
| 2009-05-04 | Per conversations with Zhongxing, add an 'element type' to | Ted Kremenek |
| 2009-05-01 | Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a po... | Ted Kremenek |
| 2009-04-29 | Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable | Ted Kremenek |
| 2009-04-21 | Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' | Ted Kremenek |
| 2009-04-20 | Remove loc::FuncVal. | Zhongxing Xu |
| 2009-04-18 | FunctionDecl::getBody() is getting an ASTContext argument for use in | Douglas Gregor |
| 2009-04-11 | Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" | Ted Kremenek |
| 2009-04-10 | Finally nuke loc::SymbolVal. | Zhongxing Xu |
| 2009-04-09 | - Move ownership of MemRegionManager into ValueManager. | Ted Kremenek |
| 2009-04-03 | This is the first step to gradually remove the use of loc::SymbolVal. Now | Zhongxing Xu |
| 2009-03-30 | Simplify more code by using SVal::getAsSymbol(). | Ted Kremenek |
| 2009-03-30 | Implement a FIXME. | Zhongxing Xu |
| 2009-03-26 | analyzer infrastructure: make a bunch of changes to symbolic expressions that | Ted Kremenek |
| 2009-03-23 | analyzer: Fix embarrassing regression in BasicStore when invalidating struct | Ted Kremenek |
| 2009-03-18 | Fix crash reported in <rdar://problem/6695527>. We now have | Ted Kremenek |
| 2009-03-05 | Retrofit some basic tracking of ivars (for the current object) into BasicStore. | Ted Kremenek |
| 2009-03-05 | Minor code compaction. No functionality change. | Ted Kremenek |
| 2009-03-05 | Rename VarBindings -> Bindings. | Ted Kremenek |
