Log - ddee68bf6b79c58ac0ca7ee6ded6692f8de14b05 - platform/external/clang

ddee68b Fix the fix of revision 59974. Now array-struct.c passes too. by Sebastian Redl · 17 years ago
e95db4f Fix crash of array bounds checking under 64-bit. by Sebastian Redl · 17 years ago
baf03a7 Add support for AllocaRegion extent with GDM. by Zhongxing Xu · 17 years ago
4b89e03 Strings are NULL terminated. So the region size should plus one. by Zhongxing Xu · 17 years ago
d0fd3b7 Add a comment about the signedness. by Zhongxing Xu · 17 years ago
6613d08 Add getSize() support for StringRegion. by Zhongxing Xu · 17 years ago
63123d8 Clean up code by using utility methods. by Zhongxing Xu · 17 years ago
369f429 Remove debug code. by Zhongxing Xu · 17 years ago
e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 17 years ago
c3a0599 Add support for symbolicating global structs and arrays in RegionStoreManager::getInitialStore(). by Zhongxing Xu · 17 years ago
ab7b32b Fix warning about RegionStoreManager::Retrieve() not always returning a value. by Ted Kremenek · 17 years ago
9b6ceb1 handle the case that the array element is of structure type when bind the whole array to a single value (for example, UnknownVal, UndefinedVal). by Zhongxing Xu · 17 years ago
cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 17 years ago
dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 17 years ago
a09300a Improve zero value generation. by Zhongxing Xu · 17 years ago
e4d1393 Process array base expression of any type. by Zhongxing Xu · 17 years ago
cc0d0ec Array index might be unsigned. We have to generate a temporary signed value for by Zhongxing Xu · 17 years ago
a4f28ff Incomplete struct pointer can be used as a function argument. by Zhongxing Xu · 17 years ago
42577d1 StoreManager::BindDecl now takes an SVal* for the initialization value instead of an Expr* (which can be null). Lazy symbolication of conjured symbols is now the sole responsibility of GRExprEngine. by Ted Kremenek · 17 years ago
8916d5b Implement RegionStoreManager::RemoveDeadBindings(). This prunes several false warning caused by removal of symbolic constraints. Currently we just mark all symbols live. Further optimization for dead binding removal needed. by Zhongxing Xu · 17 years ago
f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 17 years ago
13d1ee2 Make the assertion real. by Zhongxing Xu · 17 years ago
d463d44 1. When a pointer to struct is used as an argument, GRSimpleVals::EvalCall() by Zhongxing Xu · 17 years ago
ea8a185 Simplify interface. We can get canonical type from the base region directly. No need for an extra type argument. by Zhongxing Xu · 17 years ago
af0a844 Implement struct initialization for SCA. by Zhongxing Xu · 17 years ago
1a12a0e Implement array initialization for SCA. by Zhongxing Xu · 17 years ago
f0dfa8d Implement BindStruct and fix a bug in RetriveStruct. by Zhongxing Xu · 17 years ago
6e3f01c Implement load from struct region. Instead of returning an UnknownVal(), we create a CompoundVal by loading from each field of the struct. by Zhongxing Xu · 17 years ago
8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 17 years ago
4f09027 Added preliminary support for CompoundLiterals in the static analyzer: by Ted Kremenek · 17 years ago
e70559f Use ASTContext::getCanonicalType() to get TypedRegion's type. by Zhongxing Xu · 17 years ago
4a1513e We cannot get precise lvalue for symbolic base array region. by Zhongxing Xu · 17 years ago
8fe63af Get the canonical type for struct initialization. The original code would crash on TypedefType. by Zhongxing Xu · 17 years ago
197fa58 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 17 years ago
0b7e642 Simplify ArrayToPointer conversion. Actually the only thing we need to do is to get the first element region. It is not necessary to care about the kind of the base array region. by Zhongxing Xu · 17 years ago
143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 17 years ago
9deb0e3 Added method "getSelfRegion" to Store. This method returns the region associated with the "this" or "self" object (C++ and Objective-C respectively). by Ted Kremenek · 17 years ago
bfb6582 The Decl of an array region can be VarDecl or FieldDecl. Handle this in RegionStoreManager::ArrayToPointer(). by Zhongxing Xu · 17 years ago
a82512a Implement struct initialization. Make it into a recursive function. Also make by Zhongxing Xu · 17 years ago
a071eb0 Add printing method to RegionStoreManager. by Zhongxing Xu · 17 years ago
5b8b6f2 Fix 80-col violation. by Zhongxing Xu · 17 years ago
24194ef Add a bunch of dummy methods to make RegionStoreManager non-virtual. by Zhongxing Xu · 17 years ago
b1d542a Added getLValueElement() to RegionStore. Only handle constant array for now. by Zhongxing Xu · 17 years ago
95c7b00 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 17 years ago
c4bf72c Add a bunch of getLValue* methods to RegionStore. by Zhongxing Xu · 17 years ago
8e9bebd Preliminary support for function overloading by Douglas Gregor · 17 years ago
8485ec6 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 17 years ago
53bcdd4 Process decls in RegionStore. Individual elements of fixed size arrays are by Zhongxing Xu · 17 years ago
993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 17 years ago
1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
1789275 This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc. by Zhongxing Xu · 17 years ago