 Jordan Rose
|
c210cb7a35
[analyzer] Inline constructors for any object with a trivial destructor.
|
13 rokov pred |
|
Jordan Rose
|
0156439a3d
[analyzer] For now, treat pointers-to-members as non-null void * symbols.
|
13 rokov pred |
|
Jordan Rose
|
c386d8f148
[analyzer] Handle UserDefinedConversion casts in C++.
|
13 rokov pred |
 Ted Kremenek
|
66c486f275
Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.
|
13 rokov pred |
|
Ted Kremenek
|
3b1df8bb94
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
|
13 rokov pred |
|
Ted Kremenek
|
32a549a649
Remove Store::bindDecl() and Store::bindDeclWithNoInit(), and
|
13 rokov pred |
|
Jordan Rose
|
fa06f0464a
[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
|
13 rokov pred |
|
Jordan Rose
|
7f839a6b35
[analyzer] The result of && or || is always a 1 or 0.
|
13 rokov pred |
|
Jordan Rose
|
2c5f8d79ed
[analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.
|
13 rokov pred |
 Anna Zaks
|
c7ecc43c33
[analyzer] Add a checker to manage dynamic type propagation.
|
13 rokov pred |
|
Anna Zaks
|
148fee988e
[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM
|
13 rokov pred |
|
Ted Kremenek
|
6da60499ea
Look at the preceding CFGBlock for the expression to load from in ExprEngine::VisitGuardedExpr
|
13 rokov pred |
|
Jordan Rose
|
e460c46c5d
[analyzer] Don't crash on array constructors and destructors.
|
13 rokov pred |
|
Ted Kremenek
|
469841a8e0
Update ExprEngine's handling of ternary operators to find the ternary expression
|
13 rokov pred |
|
Jordan Rose
|
89e5aaf57e
[analyzer] Handle new-expressions with initializers for scalars.
|
13 rokov pred |
 Daniel Jasper
|
f85f60ae3a
Prevent unused-variable warning in optimized builds.
|
13 rokov pred |
|
Ted Kremenek
|
3f635c08b2
Refine CFG so that '&&' and '||' don't lead to extra confluence points when used in a branch, but
|
13 rokov pred |
|
Jordan Rose
|
48b6247804
[analyzer] Construct stack variables directly in their VarDecl.
|
13 rokov pred |
|
Jordan Rose
|
333e05f247
[analyzer] Add a comment: why we treat array compound literals as lvalues.
|
13 rokov pred |
|
Jordan Rose
|
3083d3c550
[analyzer] Array CompoundLiteralExprs need to be treated like lvalues.
|
13 rokov pred |
|
Jordan Rose
|
5b8c694948
Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."
|
13 rokov pred |
|
Jordan Rose
|
570d03c683
[analyzer] Treat LValueBitCasts like regular pointer bit casts.
|
13 rokov pred |
|
Anna Zaks
|
e41458c379
[analyzer] Don't crash on LValBitCast
|
13 rokov pred |
|
Anna Zaks
|
13dd47a0c0
[analyzer] Bind UnknownVal to InitListExpr for unsupported types
|
13 rokov pred |
|
Anna Zaks
|
591b5f53c0
[analyzer] For locations, use isGLValue() instead of isLValue().
|
13 rokov pred |
|
Ted Kremenek
|
85d87df66a
Explicitly model capturing variables for blocks in the static analyzer. Fixes <rdar://problem/11125868>.
|
13 rokov pred |
|
Anna Zaks
|
e55a14a025
[analyzer] Conjure a symbol to ensure we can identify pointer arithmetic
|
13 rokov pred |
|
Anna Zaks
|
7ea1c56397
[analyzer] dynamic_cast Simplify null value generation.
|
13 rokov pred |
|
Anna Zaks
|
a2c8d2edff
[analyzer] dynamic_cast: Better model cast from a reference.
|
13 rokov pred |
|
Anna Zaks
|
e19f86edab
[analyzer] Add support for C++ dynamic_cast.
|
13 rokov pred |
