| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | Add array index assertion: BasicStore should not expect any fancy | Ted Kremenek | 2009-05-04 | 1 | -1/+4 |
* | array indexes are unsigned integers of the same width as pointer. | Zhongxing Xu | 2009-05-04 | 1 | -5/+4 |
* | BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. | Ted Kremenek | 2009-05-04 | 1 | -9/+10 |
* | Per conversations with Zhongxing, add an 'element type' to | Ted Kremenek | 2009-05-04 | 1 | -4/+7 |
* | Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a po... | Ted Kremenek | 2009-05-01 | 1 | -17/+16 |
* | Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable | Ted Kremenek | 2009-04-29 | 1 | -5/+36 |
* | Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' | Ted Kremenek | 2009-04-21 | 1 | -29/+1 |
* | Remove loc::FuncVal. | Zhongxing Xu | 2009-04-20 | 1 | -5/+0 |
* | FunctionDecl::getBody() is getting an ASTContext argument for use in | Douglas Gregor | 2009-04-18 | 1 | -1/+1 |
* | Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" | Ted Kremenek | 2009-04-11 | 1 | -0/+31 |
* | Finally nuke loc::SymbolVal. | Zhongxing Xu | 2009-04-10 | 1 | -23/+0 |
* | - Move ownership of MemRegionManager into ValueManager. | Ted Kremenek | 2009-04-09 | 1 | -7/+4 |
* | This is the first step to gradually remove the use of loc::SymbolVal. Now | Zhongxing Xu | 2009-04-03 | 1 | -5/+9 |
* | Simplify more code by using SVal::getAsSymbol(). | Ted Kremenek | 2009-03-30 | 1 | -1/+1 |
* | Implement a FIXME. | Zhongxing Xu | 2009-03-30 | 1 | -1/+1 |
* | analyzer infrastructure: make a bunch of changes to symbolic expressions that | Ted Kremenek | 2009-03-26 | 1 | -4/+3 |
* | analyzer: Fix embarrassing regression in BasicStore when invalidating struct | Ted Kremenek | 2009-03-23 | 1 | -0/+4 |