 Jordan Rose
|
aa66b08d2d
[analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.
|
13 tahun lalu |
|
Jordan Rose
|
041ce8e00a
Teach getCXXRecordDeclForPointerType about references.
|
13 tahun lalu |
 Ted Kremenek
|
732cdf383f
Remove unnecessary ASTContext& parameter from SymExpr::getType().
|
13 tahun lalu |
|
Jordan Rose
|
f6d05bbedd
[analyzer] Symbolic regions are live if any subregions are live.
|
13 tahun lalu |
 Roman Divacky
|
31ba613537
Dont cast away const needlessly. Found by gcc48 -Wcast-qual.
|
13 tahun lalu |
|
Jordan Rose
|
4e45dba1c0
[analyzer] Clean up a couple uses of getPointeeType().
|
13 tahun lalu |
|
Jordan Rose
|
fd11957f02
Revert "[analyzer] Treat all struct values as regions (even rvalues)."
|
13 tahun lalu |
|
Jordan Rose
|
02df4f0aef
[analyzer] Treat all struct values as regions (even rvalues).
|
13 tahun lalu |
|
Ted Kremenek
|
ad0fe03b89
Fix an assortment of doxygen comment issues found by -Wdocumentation.
|
13 tahun lalu |
|
Ted Kremenek
|
56a46b51df
Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to
|
13 tahun lalu |
|
Ted Kremenek
|
3b1df8bb94
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
|
13 tahun lalu |
|
Ted Kremenek
|
32a549a649
Remove Store::bindDecl() and Store::bindDeclWithNoInit(), and
|
13 tahun lalu |
|
Ted Kremenek
|
5be88dc79d
Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' and
|
13 tahun lalu |
|
Ted Kremenek
|
ab9c04fda5
Consilidate SmallPtrSet count() followed by insert() into a single insert().
|
13 tahun lalu |
|
Jordan Rose
|
0a56298120
[analyzer] Handle dynamic_casts that turn out to be upcasts.
|
13 tahun lalu |
|
Jordan Rose
|
b11a3ada9a
[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.
|
13 tahun lalu |
 Benjamin Kramer
|
d1a4f68a43
Fix a couple of pedantic gcc warnings.
|
13 tahun lalu |
|
Jordan Rose
|
5ad76c073e
[analyzer] Merge RegionStore's KillStruct and CopyLazyBindings: BindAggregate.
|
13 tahun lalu |
|
Jordan Rose
|
1e934431ad
[analyzer] Cluster bindings in RegionStore by base region.
|
13 tahun lalu |
|
Jordan Rose
|
824e07ac8f
[analyzer] Cache the "concrete offset base" for regions with symbolic offsets.
|
13 tahun lalu |
|
Jordan Rose
|
e0d24eb106
[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.
|
13 tahun lalu |
|
Jordan Rose
|
f540c54701
[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.
|
13 tahun lalu |
|
Ted Kremenek
|
21625c69e8
Fix crash in RegionStoreManager::evalDerivedToBase() due to not handling references
|
13 tahun lalu |
|
Jordan Rose
|
e54cfc7b99
[analyzer] Use CallEvent for building inlined stack frames.
|
13 tahun lalu |
|
Jordan Rose
|
752bee2493
[analyzer] Be careful about LazyCompoundVals, which may be for the first field.
|
13 tahun lalu |
|
Jordan Rose
|
740d490593
[analyzer] Add a new abstraction over all types of calls: CallEvent
|
13 tahun lalu |
|
Ted Kremenek
|
10f77ad7fc
Implement initial static analysis inlining support for C++ methods.
|
13 tahun lalu |
|
Jordan Rose
|
9955e708ff
[analyzer] Return an UnknownVal when we try to get the binding for a VLA.
|
13 tahun lalu |
|
Jordan Rose
|
5b8c694948
Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."
|
13 tahun lalu |
|
Jordan Rose
|
570d03c683
[analyzer] Treat LValueBitCasts like regular pointer bit casts.
|
13 tahun lalu |
