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