summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Revert "[analyzer] Treat all struct values as regions (even rvalues)."Jordan Rose2012-09-051-20/+0
* [analyzer] Treat all struct values as regions (even rvalues).Jordan Rose2012-09-011-0/+20
* Fix an assortment of doxygen comment issues found by -Wdocumentation.Ted Kremenek2012-08-221-5/+3
* Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek2012-08-221-6/+11
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-10/+9
* Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek2012-08-221-19/+2
* Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' andTed Kremenek2012-08-221-4/+14
* Consilidate SmallPtrSet count() followed by insert() into a single insert().Ted Kremenek2012-08-221-6/+2
* [analyzer] Handle dynamic_casts that turn out to be upcasts.Jordan Rose2012-08-131-13/+11
* [analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose2012-08-131-17/+17
* Fix a couple of pedantic gcc warnings.Benjamin Kramer2012-08-101-1/+1
* [analyzer] Merge RegionStore's KillStruct and CopyLazyBindings: BindAggregate.Jordan Rose2012-08-091-40/+21
* [analyzer] Cluster bindings in RegionStore by base region.Jordan Rose2012-08-091-180/+229
* [analyzer] Cache the "concrete offset base" for regions with symbolic offsets.Jordan Rose2012-08-091-35/+26
* [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose2012-08-081-142/+129
* [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose2012-07-261-1/+1
* Fix crash in RegionStoreManager::evalDerivedToBase() due to not handling refe...Ted Kremenek2012-07-181-0/+12
* [analyzer] Use CallEvent for building inlined stack frames.Jordan Rose2012-07-101-88/+0
* [analyzer] Be careful about LazyCompoundVals, which may be for the first field.Jordan Rose2012-07-061-15/+31
* [analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose2012-07-021-3/+3
* Implement initial static analysis inlining support for C++ methods.Ted Kremenek2012-06-221-3/+16
* [analyzer] Return an UnknownVal when we try to get the binding for a VLA.Jordan Rose2012-06-161-2/+6
* Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."Jordan Rose2012-06-121-9/+4
* [analyzer] Treat LValueBitCasts like regular pointer bit casts.Jordan Rose2012-06-111-4/+9
* Revert Decl's iterators back to pointer value_type rather than reference valu...David Blaikie2012-06-061-1/+1
* static analyzer: add inlining support for directly called blocks.Ted Kremenek2012-06-011-17/+43
* Include line that was meant to be in my last commit.Ted Kremenek2012-05-101-1/+2
* Fix insidious RegionStore bug where we (a) didn't handle vector types and (b)...Ted Kremenek2012-05-101-10/+68
* [analyzer] Simplify r156446, as per Ted's review.Anna Zaks2012-05-091-7/+2
* [analyzer] We currently do not fully support CompoundLiterals inAnna Zaks2012-05-081-1/+10
* Having RegionStore lower field bindings to raw offsets, just like ElementRegi...Ted Kremenek2012-05-081-9/+4
* When creating lazy bindings in RegionStore, propagate existing lazy bindings ...Ted Kremenek2012-05-081-1/+19
* Include address of Store in graphviz output of ExplodedGraph.Ted Kremenek2012-05-081-1/+3
* Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek2012-05-041-1/+15
* Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie2012-04-301-3/+3
* [analyzer] check lazy bindings in RegionStore first before looking for defaul...Ted Kremenek2012-04-261-8/+8
* [analyzer] dynamic_cast: Better model cast from a reference.Anna Zaks2012-04-101-5/+1
* [analyzer] Add support for C++ dynamic_cast.Anna Zaks2012-04-101-0/+83
* Fix another false positive in RegionStore involving doing loads from symbolic...Ted Kremenek2012-04-031-7/+18
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-10/+18
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-2/+2
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-4/+4
* Refactor variables unused under non-assert builds.David Blaikie2012-01-161-2/+1
* [analyzer] RegionStoreManager::getBinding() should not crash whenAnna Zaks2012-01-131-2/+6
* [analyzer] fix inlining's handling of mapping actual to formal arguments and ...Ted Kremenek2012-01-121-10/+15
* [analyzer] Rename Store::Retrieve() -> getBinding().Anna Zaks2012-01-121-62/+67
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-2/+2
* [analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks2012-01-041-17/+47
* [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks2011-12-061-3/+3
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-1/+1
OpenPOWER on IntegriCloud