aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/RegionStore.cpp
AgeCommit message (Expand)Author
2012-12-06[analyzer] Aggressively cut back on the canonicalization in RegionStore.Jordan Rose
2012-12-06Only provide explicit getCapturedRegion() and getOriginalRegion() from refere...Ted Kremenek
2012-12-01Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer
2012-11-28Remove workaround in RegionStore in r168741 since it is handled more generall...Ted Kremenek
2012-11-27Provide stop-gap solution to crash reported in PR 14436.Ted Kremenek
2012-11-10[analyzer] When invalidating symbolic offset regions, take fields into account.Jordan Rose
2012-11-03[analyzer] Run remove dead on end of path.Anna Zaks
2012-10-03[analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.Jordan Rose
2012-10-03Teach getCXXRecordDeclForPointerType about references.Jordan Rose
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek
2012-09-08[analyzer] Symbolic regions are live if any subregions are live.Jordan Rose
2012-09-06Dont cast away const needlessly. Found by gcc48 -Wcast-qual.Roman Divacky
2012-09-05[analyzer] Clean up a couple uses of getPointeeType().Jordan Rose
2012-09-05Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose
2012-09-01[analyzer] Treat all struct values as regions (even rvalues).Jordan Rose
2012-08-22Fix an assortment of doxygen comment issues found by -Wdocumentation.Ted Kremenek
2012-08-22Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-08-22Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek
2012-08-22Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' andTed Kremenek
2012-08-22Consilidate SmallPtrSet count() followed by insert() into a single insert().Ted Kremenek
2012-08-13[analyzer] Handle dynamic_casts that turn out to be upcasts.Jordan Rose
2012-08-13[analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose
2012-08-10Fix a couple of pedantic gcc warnings.Benjamin Kramer
2012-08-09[analyzer] Merge RegionStore's KillStruct and CopyLazyBindings: BindAggregate.Jordan Rose
2012-08-09[analyzer] Cluster bindings in RegionStore by base region.Jordan Rose
2012-08-09[analyzer] Cache the "concrete offset base" for regions with symbolic offsets.Jordan Rose
2012-08-08[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-18Fix crash in RegionStoreManager::evalDerivedToBase() due to not handling refe...Ted Kremenek
2012-07-10[analyzer] Use CallEvent for building inlined stack frames.Jordan Rose
2012-07-06[analyzer] Be careful about LazyCompoundVals, which may be for the first field.Jordan Rose
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose
2012-06-22Implement initial static analysis inlining support for C++ methods.Ted Kremenek
2012-06-16[analyzer] Return an UnknownVal when we try to get the binding for a VLA.Jordan Rose
2012-06-12Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."Jordan Rose
2012-06-11[analyzer] Treat LValueBitCasts like regular pointer bit casts.Jordan Rose
2012-06-06Revert Decl's iterators back to pointer value_type rather than reference valu...David Blaikie
2012-06-01static analyzer: add inlining support for directly called blocks.Ted Kremenek
2012-05-10Include line that was meant to be in my last commit.Ted Kremenek
2012-05-10Fix insidious RegionStore bug where we (a) didn't handle vector types and (b)...Ted Kremenek
2012-05-09[analyzer] Simplify r156446, as per Ted's review.Anna Zaks
2012-05-08[analyzer] We currently do not fully support CompoundLiterals inAnna Zaks
2012-05-08Having RegionStore lower field bindings to raw offsets, just like ElementRegi...Ted Kremenek
2012-05-08When creating lazy bindings in RegionStore, propagate existing lazy bindings ...Ted Kremenek
2012-05-08Include address of Store in graphviz output of ExplodedGraph.Ted Kremenek
2012-05-04Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek
2012-04-30Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie
2012-04-26[analyzer] check lazy bindings in RegionStore first before looking for defaul...Ted Kremenek
2012-04-10[analyzer] dynamic_cast: Better model cast from a reference.Anna Zaks