| Age | Commit message (Expand) | Author |
|---|
| 2009-09-27 | Fix: | Ted Kremenek |
| 2009-09-11 | Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way | Ted Kremenek |
| 2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
| 2009-08-25 | Fix regression in BasicStoreManager caused by implicitly casting loaded value... | Ted Kremenek |
| 2009-08-25 | Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the | Ted Kremenek |
| 2009-08-23 | Replace cerr with errs(). | Benjamin Kramer |
| 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 | Get the code decl from the initial location context. | Zhongxing Xu |
| 2009-08-17 | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu |
| 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 |
