aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/RegionStore.cpp
AgeCommit message (Expand)Author
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