summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Add getSize() support for StringRegion.Zhongxing Xu2008-11-241-3/+2
* Clean up code by using utility methods.Zhongxing Xu2008-11-231-11/+7
* Remove debug code.Zhongxing Xu2008-11-221-1/+1
* Initial support for checking out of bound memory access. Only support Zhongxing Xu2008-11-221-0/+36
* Add support for symbolicating global structs and arrays in RegionStoreManager...Zhongxing Xu2008-11-191-1/+78
* Fix warning about RegionStoreManager::Retrieve() not always returning a value.Ted Kremenek2008-11-191-1/+1
* handle the case that the array element is of structure type when bind the who...Zhongxing Xu2008-11-181-1/+4
* Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu2008-11-161-10/+8
* Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu2008-11-161-1/+67
* Improve zero value generation.Zhongxing Xu2008-11-151-2/+1
* Process array base expression of any type.Zhongxing Xu2008-11-131-0/+8
* Array index might be unsigned. We have to generate a temporary signed value forZhongxing Xu2008-11-131-0/+12
* Incomplete struct pointer can be used as a function argument.Zhongxing Xu2008-11-131-1/+7
* StoreManager::BindDecl now takes an SVal* for the initialization value instea...Ted Kremenek2008-11-121-23/+15
* Implement RegionStoreManager::RemoveDeadBindings(). This prunes several false...Zhongxing Xu2008-11-101-4/+20
* Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu2008-11-071-9/+17
* Make the assertion real.Zhongxing Xu2008-11-071-1/+1
* 1. When a pointer to struct is used as an argument, GRSimpleVals::EvalCall()Zhongxing Xu2008-11-021-18/+23
* Simplify interface. We can get canonical type from the base region directly. ...Zhongxing Xu2008-10-311-21/+23
* Implement struct initialization for SCA.Zhongxing Xu2008-10-311-1/+47
* Implement array initialization for SCA.Zhongxing Xu2008-10-311-6/+39
* Implement BindStruct and fix a bug in RetriveStruct.Zhongxing Xu2008-10-311-4/+33
* Implement load from struct region. Instead of returning an UnknownVal(), we c...Zhongxing Xu2008-10-311-0/+33
* Rename: AddDecl => BindDeclZhongxing Xu2008-10-291-5/+4
* Added preliminary support for CompoundLiterals in the static analyzer:Ted Kremenek2008-10-271-0/+9
* Use ASTContext::getCanonicalType() to get TypedRegion's type.Zhongxing Xu2008-10-271-1/+1
* We cannot get precise lvalue for symbolic base array region.Zhongxing Xu2008-10-271-0/+3
* Get the canonical type for struct initialization. The original code would cra...Zhongxing Xu2008-10-271-1/+5
* Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu2008-10-261-4/+0
* Simplify ArrayToPointer conversion. Actually the only thing we need to do is ...Zhongxing Xu2008-10-261-29/+5
* Add code for get the lvalue for string literals. Now we return a StringRegionZhongxing Xu2008-10-251-3/+16
* Added method "getSelfRegion" to Store. This method returns the region associ...Ted Kremenek2008-10-241-0/+8
* The Decl of an array region can be VarDecl or FieldDecl. Handle this in Regio...Zhongxing Xu2008-10-241-2/+10
* Implement struct initialization. Make it into a recursive function. Also makeZhongxing Xu2008-10-241-24/+63
* Add printing method to RegionStoreManager.Zhongxing Xu2008-10-241-3/+11
* Fix 80-col violation.Zhongxing Xu2008-10-241-3/+5
* Add a bunch of dummy methods to make RegionStoreManager non-virtual.Zhongxing Xu2008-10-241-3/+29
* Added getLValueElement() to RegionStore. Only handle constant array for now.Zhongxing Xu2008-10-241-0/+54
* Make the analyzer store (memory model) a command line option.Ted Kremenek2008-10-241-0/+5
* Add a bunch of getLValue* methods to RegionStore.Zhongxing Xu2008-10-221-0/+54
* Preliminary support for function overloadingDouglas Gregor2008-10-211-2/+2
* Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.Zhongxing Xu2008-10-211-12/+12
* Process decls in RegionStore. Individual elements of fixed size arrays areZhongxing Xu2008-10-211-2/+115
* - constify some uses of MemRegion* (MemRegion should be immutable).Ted Kremenek2008-10-171-1/+1
* This patch did the following renaming. There should be no functional changes.Zhongxing Xu2008-10-171-9/+9
* This is the first step to implement a field-sensitive store model. Other thin...Zhongxing Xu2008-10-081-0/+96
OpenPOWER on IntegriCloud