summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* [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
* Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac...Ted Kremenek2011-11-291-5/+3
* Fixed crash with initializer lists and unnamed bitfields in the RegionStoreJim Goodnow II2011-11-161-1/+6
* [analyzer;Regionstore] handle loads from StringLiteral elements for StringLit...Ted Kremenek2011-11-141-3/+3
* Rename TagDecl::isDefinition -> isCompleteDefinitionJohn McCall2011-10-071-1/+1
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-1/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-2/+2
* [analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose2011-08-271-12/+10
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-12/+12
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-5/+5
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-23/+28
* [analyzer] Change SymbolReaper to store region roots implied by the Environme...Ted Kremenek2011-08-061-8/+7
* [analyzer] Add StoreManager::includedInBindings() to to query whether a regio...Ted Kremenek2011-07-281-0/+19
* [analyzer] Add safety checking in RegionStoreManager for string literal under...Ted Kremenek2011-07-281-0/+4
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-12/+12
* [analyzer] Use UnknownVal when default-initializing arrays whose element type...Jordy Rose2011-06-271-1/+6
* Teach RegionStore not to symbolic array values whose indices it cannot reason...Ted Kremenek2011-05-191-0/+5
* Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek2011-05-021-12/+9
* RegionStoreManager::invalidateRegions: treat classes the same as structs.Ted Kremenek2011-04-121-3/+3
* Fix RegionStore bug when doing a field load whose parent is also a field assi...Ted Kremenek2011-04-031-11/+17
OpenPOWER on IntegriCloud