| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | It's kindof silly that ExtQuals has an ASTContext&, and we can use that | John McCall | 2010-12-10 | 1 | -1/+1 |
| * | Merge ValueManager into SValBuilder. | Ted Kremenek | 2010-12-02 | 1 | -45/+46 |
| * | Rename all 'EvalXXX' methods in libChecker to | Ted Kremenek | 2010-12-01 | 1 | -3/+3 |
| * | Rename 'SValuator' to 'SValBuilder'. The new name | Ted Kremenek | 2010-12-01 | 1 | -5/+5 |
| * | Rename CXXObjectRegion to CXXTempObjectRegion. | Zhongxing Xu | 2010-11-26 | 1 | -1/+1 |
| * | Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion. | Zhongxing Xu | 2010-11-26 | 1 | -0/+12 |
| * | Adjust method calls to reflect name changes in | Ted Kremenek | 2010-11-24 | 1 | -49/+54 |
| * | Handle CFGAutomaticObjDtor. | Zhongxing Xu | 2010-11-20 | 1 | -1/+1 |
| * | RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete a... | Ted Kremenek | 2010-11-11 | 1 | -4/+9 |
| * | Fix lazy symbolication bug in RegionStore involving fields of global variable... | Ted Kremenek | 2010-10-26 | 1 | -4/+14 |
| * | Move 'includeGlobals' as a field into ClusterAnalysis. | Ted Kremenek | 2010-10-26 | 1 | -8/+12 |
| * | Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ... | Ted Kremenek | 2010-09-15 | 1 | -5/+9 |
| * | Adjust assertion in RegionStoreManager::RetrieveArray() to also take into acc... | Ted Kremenek | 2010-09-14 | 1 | -1/+1 |
| * | Don't divide-by-zero in RegionStoreManager::getSizeInElements() when getting ... | Ted Kremenek | 2010-09-14 | 1 | -0/+8 |
| * | Fixed unused variable warning. | Ted Kremenek | 2010-09-02 | 1 | -1/+1 |
| * | Partial fix for PR 8015 (fix is actually by Jordy Rose, and I added a test ca... | Ted Kremenek | 2010-09-01 | 1 | -1/+6 |
| * | Don't assert in the analyzer when analyze code does a byte load from a functi... | Ted Kremenek | 2010-09-01 | 1 | -0/+4 |
| * | GCC didn't care for my attempt at API compatibility, so brute-force everything | John McCall | 2010-08-25 | 1 | -2/+2 |
| * | Adjust code placement. | Zhongxing Xu | 2010-08-23 | 1 | -8/+8 |
| * | Place method near its class. | Zhongxing Xu | 2010-08-21 | 1 | -12/+13 |
| * | Remove dead code. | Zhongxing Xu | 2010-08-21 | 1 | -12/+0 |
| * | Improve comments. | Zhongxing Xu | 2010-08-21 | 1 | -6/+1 |
| * | Remove a special case for OSAtomic functions. We can already bind and retrieve | Zhongxing Xu | 2010-08-21 | 1 | -7/+1 |
| * | Remove dead code. We no longer need it because now we treat the first element | Zhongxing Xu | 2010-08-21 | 1 | -34/+0 |
| * | remove unused variable. | Zhongxing Xu | 2010-08-21 | 1 | -1/+1 |
| * | When invalidating a struct region, whether its type definition exists is not | Zhongxing Xu | 2010-08-21 | 1 | -9/+2 |
| * | Remove dead code. | Ted Kremenek | 2010-08-20 | 1 | -23/+2 |
| * | Handle nested compound values in BindArray for multidimensional arrays. Fixes... | Jordy Rose | 2010-08-20 | 1 | -0/+2 |
| * | Rewrite code fragment to avoide ICE in MSVC. Fixes PR 7875. Patch by Dimitr... | Ted Kremenek | 2010-08-17 | 1 | -2/+4 |
| * | Convert all uses of StringLiteral::getStrData() to StringLiteral::getString() | Benjamin Kramer | 2010-08-17 | 1 | -1/+1 |
| * | Instead of using operator bool() for testing if a BindingKey is valid, use an... | Jordy Rose | 2010-08-16 | 1 | -4/+4 |
| * | - Allow making ElementRegions with complex offsets (expressions or symbols) f... | Jordy Rose | 2010-08-16 | 1 | -5/+14 |
| * | StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt... | Zhongxing Xu | 2010-08-15 | 1 | -8/+6 |
| * | Remove redundant method. | Zhongxing Xu | 2010-08-15 | 1 | -19/+12 |
| * | Add a callback for when region changes occur. Still somewhat of a work-in-pro... | Jordy Rose | 2010-08-14 | 1 | -5/+18 |
| * | MemRegion can refer to ASTContext without external help. | Zhongxing Xu | 2010-08-11 | 1 | -19/+15 |
| * | Remove InvalidateRegion from stores, since it's no longer called from outside. | Jordy Rose | 2010-08-05 | 1 | -8/+2 |
| * | Makes GRState::makeWithStore private, to encourage clients to make store chan... | Jordy Rose | 2010-08-03 | 1 | -6/+5 |
| * | Improve flat store: MemRegion::getAsOffset() computes a region's offset within | Zhongxing Xu | 2010-08-02 | 1 | -2/+2 |
| * | Use a LazyCompoundVal to handle initialization with a string literal, rather ... | Jordy Rose | 2010-07-29 | 1 | -35/+12 |
| * | Augment RegionStore::BindStruct() to bind symbolicated struct values. This f... | Ted Kremenek | 2010-07-29 | 1 | -6/+8 |
| * | Fix casts in RegionStore to not always assume that bindings are only to SubRe... | Ted Kremenek | 2010-07-06 | 1 | -4/+4 |
| * | Add a new symbol type, SymbolExtent, to represent the extents of memory regio... | Jordy Rose | 2010-07-04 | 1 | -115/+12 |
| * | Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ... | Ted Kremenek | 2010-07-01 | 1 | -28/+78 |
| * | Add an ivar to SymbolReaper for the current statement, and then stop passing ... | Jordy Rose | 2010-07-01 | 1 | -7/+6 |
| * | Pointer comparisons (and pointer-pointer subtraction). Basically filling in S... | Jordy Rose | 2010-06-28 | 1 | -0/+13 |
| * | When a constant size array is casted to another type, its length should be sc... | Jordy Rose | 2010-06-25 | 1 | -4/+9 |
| * | Change RegionStoreManager::Retrieve to infer the type of a symbolic region fr... | Tom Care | 2010-06-25 | 1 | -1/+6 |
| * | Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixe... | Ted Kremenek | 2010-06-22 | 1 | -2/+1 |
| * | Implement RegionStoreManager::iterBindings(). This implementation only retur... | Ted Kremenek | 2010-06-17 | 1 | -6/+11 |
