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