aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/RegionStore.cpp
AgeCommit message (Expand)Author
2009-01-07Refactor MemRegionManager instance variable into parent class. No functional...Ted Kremenek
2009-01-06Return UnknownVal in RegionStoreManager::getSizeInElements() for unsupported ...Ted Kremenek
2008-12-24Add a bunch of comments and FIXMEs.Ted Kremenek
2008-12-24set region default value if there are not enough init values for array and st...Zhongxing Xu
2008-12-24Comment and fixup GDM entries for RegionStore to use unique 'tag classes' to ...Ted Kremenek
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-16Implement RegionStoreManager::Remove().Zhongxing Xu
2008-12-14I think we should getRValueType here. The lvaluetype of an array region is 'p...Zhongxing Xu
2008-12-13MemRegion:Ted Kremenek
2008-12-13A series of cleanups/fixes motivated by <rdar://problem/6442306>:Ted Kremenek
2008-12-11Address some comments on the name lookup/DeclContext patch from ChrisDouglas Gregor
2008-12-11Unifies the name-lookup mechanisms used in various parts of the ASTDouglas Gregor
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-12-05StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRStat...Ted Kremenek
2008-12-04Revamp RegionStoreManager::RemoveDeadBindings. This method now does a comple...Ted Kremenek
2008-12-04Add comments.Zhongxing Xu
2008-12-02Make RegionStoreManager::InitializeArray safe against array sizes that don't ...Sebastian Redl
2008-11-30Add support for initializing array with string literal.Zhongxing Xu
2008-11-29To be consistent, make the index of the ElementRegion always signed.Zhongxing Xu
2008-11-28Fix a serious bug.Zhongxing Xu
2008-11-28Use std::make_pair instead of std::pair's ctor.Zhongxing Xu
2008-11-27RegionViewMap factory is actually not used. All GDMs should use factories fromZhongxing Xu
2008-11-24Fix the fix of revision 59974. Now array-struct.c passes too.Sebastian Redl
2008-11-24Fix crash of array bounds checking under 64-bit.Sebastian Redl
2008-11-24Add support for AllocaRegion extent with GDM.Zhongxing Xu
2008-11-24Strings are NULL terminated. So the region size should plus one.Zhongxing Xu
2008-11-24Add a comment about the signedness.Zhongxing Xu
2008-11-24Add getSize() support for StringRegion.Zhongxing Xu
2008-11-23Clean up code by using utility methods.Zhongxing Xu
2008-11-22Remove debug code.Zhongxing Xu
2008-11-22Initial support for checking out of bound memory access. Only support Zhongxing Xu
2008-11-19Add support for symbolicating global structs and arrays in RegionStoreManager...Zhongxing Xu
2008-11-19Fix warning about RegionStoreManager::Retrieve() not always returning a value.Ted Kremenek
2008-11-18handle the case that the array element is of structure type when bind the who...Zhongxing Xu
2008-11-16Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu
2008-11-16Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu
2008-11-15Improve zero value generation.Zhongxing Xu
2008-11-13Process array base expression of any type.Zhongxing Xu
2008-11-13Array index might be unsigned. We have to generate a temporary signed value forZhongxing Xu
2008-11-13Incomplete struct pointer can be used as a function argument.Zhongxing Xu
2008-11-12StoreManager::BindDecl now takes an SVal* for the initialization value instea...Ted Kremenek
2008-11-10Implement RegionStoreManager::RemoveDeadBindings(). This prunes several false...Zhongxing Xu
2008-11-07Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu
2008-11-07Make the assertion real.Zhongxing Xu
2008-11-021. When a pointer to struct is used as an argument, GRSimpleVals::EvalCall()Zhongxing Xu
2008-10-31Simplify interface. We can get canonical type from the base region directly. ...Zhongxing Xu
2008-10-31Implement struct initialization for SCA.Zhongxing Xu
2008-10-31Implement array initialization for SCA.Zhongxing Xu
2008-10-31Implement BindStruct and fix a bug in RetriveStruct.Zhongxing Xu
2008-10-31Implement load from struct region. Instead of returning an UnknownVal(), we c...Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-08 19:44:03 +0000