aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/RegionStore.cpp
AgeCommit message (Expand)Author
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
2008-10-29Rename: AddDecl => BindDeclZhongxing Xu
2008-10-27Added preliminary support for CompoundLiterals in the static analyzer:Ted Kremenek
2008-10-27Use ASTContext::getCanonicalType() to get TypedRegion's type.Zhongxing Xu
2008-10-27We cannot get precise lvalue for symbolic base array region.Zhongxing Xu
2008-10-27Get the canonical type for struct initialization. The original code would cra...Zhongxing Xu
2008-10-26Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu
2008-10-26Simplify ArrayToPointer conversion. Actually the only thing we need to do is ...Zhongxing Xu
2008-10-25Add code for get the lvalue for string literals. Now we return a StringRegionZhongxing Xu
2008-10-24Added method "getSelfRegion" to Store. This method returns the region associ...Ted Kremenek
2008-10-24The Decl of an array region can be VarDecl or FieldDecl. Handle this in Regio...Zhongxing Xu
2008-10-24Implement struct initialization. Make it into a recursive function. Also makeZhongxing Xu
2008-10-24Add printing method to RegionStoreManager.Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-06 02:08:51 +0000