aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/RegionStore.cpp
AgeCommit message (Expand)Author
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
2008-10-24Fix 80-col violation.Zhongxing Xu
2008-10-24Add a bunch of dummy methods to make RegionStoreManager non-virtual.Zhongxing Xu
2008-10-24Added getLValueElement() to RegionStore. Only handle constant array for now.Zhongxing Xu
2008-10-24Make the analyzer store (memory model) a command line option.Ted Kremenek
2008-10-22Add a bunch of getLValue* methods to RegionStore.Zhongxing Xu
2008-10-21Preliminary support for function overloadingDouglas Gregor
2008-10-21Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.Zhongxing Xu
2008-10-21Process decls in RegionStore. Individual elements of fixed size arrays areZhongxing Xu
2008-10-17- constify some uses of MemRegion* (MemRegion should be immutable).Ted Kremenek
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-08This is the first step to implement a field-sensitive store model. Other thin...Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-07-16 02:33:00 +0000