| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Completely remove ObjCObjectRegion (tests pass this time). | Ted Kremenek | 2009-12-16 | 1 | -9/+8 |
| * | Temporarily revert 91553. | Ted Kremenek | 2009-12-16 | 1 | -5/+9 |
| * | Remove use of ObjCObjectRegion from BasicStoreManager. | Ted Kremenek | 2009-12-16 | 1 | -9/+5 |
| * | Add analysis support for blocks. This includes a few key changes: | Ted Kremenek | 2009-12-07 | 1 | -6/+2 |
| * | Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). | Ted Kremenek | 2009-12-04 | 1 | -1/+1 |
| * | lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace | Kovarththanan Rajaratnam | 2009-11-28 | 1 | -3/+2 |
| * | * Do the same thing to the basicstore as in r84163. | Zhongxing Xu | 2009-11-16 | 1 | -15/+2 |
| * | Rename: StripCasts describes what it does better. | Zhongxing Xu | 2009-11-10 | 1 | -1/+1 |
| * | Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,... | Ted Kremenek | 2009-11-04 | 1 | -14/+12 |
| * | retain/release checker: Stop tracking reference counts for any symbols touche... | Ted Kremenek | 2009-10-16 | 1 | -2/+12 |
| * | * Remove unused GRState* parameter | Zhongxing Xu | 2009-10-14 | 1 | -22/+13 |
| * | Fix: | Ted Kremenek | 2009-09-27 | 1 | -1/+1 |
| * | Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way | Ted Kremenek | 2009-09-11 | 1 | -3/+3 |
| * | Remove tabs, and whitespace cleanups. | Mike Stump | 2009-09-09 | 1 | -96/+96 |
| * | Fix regression in BasicStoreManager caused by implicitly casting loaded value... | Ted Kremenek | 2009-08-25 | 1 | -5/+9 |
| * | Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the | Ted Kremenek | 2009-08-25 | 1 | -3/+7 |
| * | Replace cerr with errs(). | Benjamin Kramer | 2009-08-23 | 1 | -2/+1 |
| * | Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. | Ted Kremenek | 2009-08-21 | 1 | -31/+16 |
| * | Add LocationContext* field to VarRegion. This is needed for interprocedural ... | Ted Kremenek | 2009-08-21 | 1 | -19/+26 |
| * | Get the code decl from the initial location context. | Zhongxing Xu | 2009-08-21 | 1 | -1/+1 |
| * | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu | 2009-08-17 | 1 | -3/+4 |
| * | Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat... | Ted Kremenek | 2009-08-02 | 1 | -12/+11 |
| * | Change uses of: | Ted Kremenek | 2009-07-29 | 1 | -1/+1 |
| * | Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only | Ted Kremenek | 2009-07-29 | 1 | -8/+2 |
| * | Make StoreManager::InvalidateRegion() virtual, move the current implementation | Ted Kremenek | 2009-07-29 | 1 | -1/+28 |
| * | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek | 2009-07-21 | 1 | -10/+12 |
| * | Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods | Ted Kremenek | 2009-07-17 | 1 | -1/+1 |
| * | Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. | Ted Kremenek | 2009-07-16 | 1 | -1/+1 |
| * | Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'st... | Ted Kremenek | 2009-07-15 | 1 | -4/+0 |
| * | Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an... | Ted Kremenek | 2009-07-13 | 1 | -2/+1 |
| * | Switch BasicStoreManager to use the new CastRegion implementation by default, | Ted Kremenek | 2009-07-10 | 1 | -3/+3 |
| * | Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi... | Ted Kremenek | 2009-07-06 | 1 | -2/+6 |
| * | BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a vari... | Ted Kremenek | 2009-07-03 | 1 | -1/+1 |
| * | StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of | Ted Kremenek | 2009-07-02 | 1 | -4/+3 |
| * | Combine two conditional branches into one. No functionality change. | Ted Kremenek | 2009-06-30 | 1 | -8/+4 |
| * | We do not require the super region of element region be typed. So do not | Zhongxing Xu | 2009-06-30 | 1 | -3/+2 |
| * | Remove the ASTContext parameter from the getBody() methods of Decl and subcla... | Argyrios Kyrtzidis | 2009-06-30 | 1 | -1/+1 |
| * | Do not crash on binding concrete integer location. | Zhongxing Xu | 2009-06-28 | 1 | -0/+3 |
| * | Simplify some code. As in region store, we always expect the location is a | Zhongxing Xu | 2009-06-28 | 1 | -41/+34 |
| * | Remove uses of std::ostream from libAnalysis. | Ted Kremenek | 2009-06-24 | 1 | -5/+7 |
| * | Remove GRStateManager::getRegion/getSelfRegion(). | Ted Kremenek | 2009-06-23 | 1 | -1/+1 |
| * | Move all factory methods from SVal to ValueManager. API cleanup! | Zhongxing Xu | 2009-06-23 | 1 | -13/+13 |
| * | MemRegions: | Ted Kremenek | 2009-06-23 | 1 | -1/+1 |
| * | Start moving in the direction of removing GRStateRef. Now each | Ted Kremenek | 2009-06-17 | 1 | -32/+27 |
| * | Use canonical type for building ElementRegion. Otherwise ElementRegions cannot | Zhongxing Xu | 2009-06-16 | 1 | -1/+1 |
| * | Rename: | Zhongxing Xu | 2009-05-09 | 1 | -2/+2 |
| * | As discussed with Ted, rename TypedRegion::getObjectType() to | Zhongxing Xu | 2009-05-09 | 1 | -1/+1 |
| * | rename: MemRegion: | Zhongxing Xu | 2009-05-09 | 1 | -3/+3 |
| * | Fix unused variable warning | Ted Kremenek | 2009-05-05 | 1 | -1/+1 |
| * | Remove possibly incorrect assertion that doesn't matter. | Ted Kremenek | 2009-05-05 | 1 | -3/+0 |
