summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/BasicStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'Ted Kremenek2009-04-211-29/+1
* Remove loc::FuncVal.Zhongxing Xu2009-04-201-5/+0
* FunctionDecl::getBody() is getting an ASTContext argument for use inDouglas Gregor2009-04-181-1/+1
* Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek2009-04-111-0/+31
* Finally nuke loc::SymbolVal.Zhongxing Xu2009-04-101-23/+0
* - Move ownership of MemRegionManager into ValueManager.Ted Kremenek2009-04-091-7/+4
* This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu2009-04-031-5/+9
* Simplify more code by using SVal::getAsSymbol().Ted Kremenek2009-03-301-1/+1
* Implement a FIXME.Zhongxing Xu2009-03-301-1/+1
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-4/+3
* analyzer: Fix embarrassing regression in BasicStore when invalidating structTed Kremenek2009-03-231-0/+4
* Fix crash reported in <rdar://problem/6695527>. We now haveTed Kremenek2009-03-181-13/+9
* Retrofit some basic tracking of ivars (for the current object) into BasicStore.Ted Kremenek2009-03-051-30/+85
* Minor code compaction. No functionality change.Ted Kremenek2009-03-051-11/+5
* Rename VarBindings -> Bindings.Ted Kremenek2009-03-051-15/+15
* BasicStore:Ted Kremenek2009-03-051-14/+16
* Don't use std::auto_ptr with getSubRegionMap().Ted Kremenek2009-03-031-2/+2
* Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M...Ted Kremenek2009-03-031-1/+2
* Add StoreManager::getSubRegionMap(). This method returns an opaque mapping f...Ted Kremenek2009-03-031-0/+13
* Rename AnonTypedRegion to TypedViewRegion.Ted Kremenek2009-03-011-2/+2
* Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so Zhongxing Xu2009-02-051-2/+4
* Fix bug in BasicStore::getLValueElement where if the base of an array subscri...Ted Kremenek2009-01-271-2/+12
* Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek2009-01-221-3/+4
* Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek2009-01-211-13/+13
* Update some doxygen comments to be more rich. Remove StoreManager::GetRegion...Ted Kremenek2009-01-071-16/+16
* Refactor MemRegionManager instance variable into parent class. No functional...Ted Kremenek2009-01-071-4/+2
* Use utility method.Zhongxing Xu2008-12-211-1/+1
* Use utility methods. No functional change.Zhongxing Xu2008-12-211-10/+10
* Remove unused function.Zhongxing Xu2008-12-211-6/+0
* Lazy bingding for region-store manager.Zhongxing Xu2008-12-201-15/+41
* MemRegion:Ted Kremenek2008-12-131-5/+24
* A series of cleanups/fixes motivated by <rdar://problem/6442306>:Ted Kremenek2008-12-131-6/+17
* Fix to BasicStoreManager::getElementLValue: If the base region is a symbol, l...Ted Kremenek2008-12-091-2/+13
* Have BasicStoreManager::getLValueElement() have logic similar to BasicStoreMa...Ted Kremenek2008-12-091-2/+37
* StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRStat...Ted Kremenek2008-12-051-10/+13
* Update comment.Ted Kremenek2008-12-041-0/+3
* Use std::make_pair instead of std::pair's ctor.Zhongxing Xu2008-11-281-1/+1
* Migrate some stuff from NamedDecl::getName() to Chris Lattner2008-11-241-1/+1
* Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu2008-11-161-3/+3
* Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu2008-11-161-0/+6
* Use the allocator of ExplodedGraph. The whole static analysis module uses it.Zhongxing Xu2008-11-151-1/+4
* StoreManager::BindDecl now takes an SVal* for the initialization value instea...Ted Kremenek2008-11-121-19/+8
* Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu2008-11-071-3/+10
* Rename: AddDecl => BindDeclZhongxing Xu2008-10-291-6/+4
* Added preliminary support for CompoundLiterals in the static analyzer:Ted Kremenek2008-10-271-0/+5
* Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu2008-10-261-5/+0
* Add code for get the lvalue for string literals. Now we return a StringRegionZhongxing Xu2008-10-251-0/+6
* Added method "getSelfRegion" to Store. This method returns the region associ...Ted Kremenek2008-10-241-21/+41
* Let StoreManager do different cast on arrays. BasicStore will just keep it in...Zhongxing Xu2008-10-231-0/+2
* Adjust parameter order to more natural one.Zhongxing Xu2008-10-221-3/+3
OpenPOWER on IntegriCloud