summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Tweak RegionStore's handling of lazy compound values to use the 'Default' ver...Ted Kremenek2011-03-171-16/+30
* static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...Ted Kremenek2011-03-081-3/+4
* Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control...Ted Kremenek2011-02-191-85/+102
* Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan2011-02-161-1/+1
* Remove RegionStoreManager::evalBinOp(), which is now handled by the SValBuilder.Ted Kremenek2011-02-111-119/+0
* Rename 'InvalidateRegions()' to 'invalidateRegions()'.Ted Kremenek2011-02-111-11/+9
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-3/+3
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+1917
OpenPOWER on IntegriCloud