summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis
Commit message (Expand)AuthorAgeFilesLines
* Unifies the name-lookup mechanisms used in various parts of the ASTDouglas Gregor2008-12-111-2/+7
* Identify AnonPointeeRegion by the symbol that is concretized.Zhongxing Xu2008-12-111-10/+7
* AnonPointeeRegions are now identified by the MemRegion of the pointer pointingZhongxing Xu2008-12-111-6/+6
* 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
* In GRExprEngine treat @throw as an 'abort' that ends the current path. This ...Ted Kremenek2008-12-091-0/+9
* Add utility method. Remove an unused method.Zhongxing Xu2008-12-091-0/+2
* [static analyzer] Extend VLA size checking to look for undefined sizes.Ted Kremenek2008-12-092-12/+40
* Fixed LiveVariables bug where we didn't consider block-level expressions that...Ted Kremenek2008-12-091-2/+12
* Add checking for zero-sized VLAs.Ted Kremenek2008-12-082-3/+57
* 'self.myIvar = nil' (properties) only releases myIvar when the property has k...Ted Kremenek2008-12-081-2/+5
* Add bandaid transfer function support for assignments involving ObjCKVCRefExpr.Ted Kremenek2008-12-061-0/+7
* Add SymbolRef::print() and have SymbolicRegion::print() use this method inste...Ted Kremenek2008-12-052-1/+7
* Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which ...Ted Kremenek2008-12-051-1/+1
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-0511-89/+89
* Remove SymbolDataContentsOf (unused).Ted Kremenek2008-12-051-28/+1
* StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRStat...Ted Kremenek2008-12-053-36/+37
* Revamp RegionStoreManager::RemoveDeadBindings. This method now does a comple...Ted Kremenek2008-12-041-7/+131
* Update comment.Ted Kremenek2008-12-041-0/+3
* Add comments.Zhongxing Xu2008-12-041-0/+6
* BasicConstraintManager:Ted Kremenek2008-12-031-3/+23
* BasicConstraintManager:Ted Kremenek2008-12-031-6/+24
* Make RegionStoreManager::InitializeArray safe against array sizes that don't ...Sebastian Redl2008-12-021-1/+2
* Add FIXME.Ted Kremenek2008-12-021-0/+3
* Add support for initializing array with string literal.Zhongxing Xu2008-11-302-5/+34
* To be consistent, make the index of the ElementRegion always signed.Zhongxing Xu2008-11-291-1/+1
* Fix a serious bug.Zhongxing Xu2008-11-281-2/+3
* Code cleanup. No functional change.Zhongxing Xu2008-11-281-3/+5
* Use std::make_pair instead of std::pair's ctor.Zhongxing Xu2008-11-282-4/+3
* Factory objects should not be temporary. It caches all objects in the set.Zhongxing Xu2008-11-271-3/+4
* RegionViewMap factory is actually not used. All GDMs should use factories fromZhongxing Xu2008-11-271-2/+0
* Add comments.Zhongxing Xu2008-11-271-0/+2
* Add support for pluggable components of static analyzer.Zhongxing Xu2008-11-271-3/+3
* remove unused varNuno Lopes2008-11-251-1/+0
* Fix the fix of revision 59974. Now array-struct.c passes too.Sebastian Redl2008-11-241-1/+2
* Fix crash of array bounds checking under 64-bit.Sebastian Redl2008-11-242-5/+14
* Remove FIXME comment.Ted Kremenek2008-11-241-1/+0
* Add support for AllocaRegion extent with GDM.Zhongxing Xu2008-11-242-5/+63
* Add utility methods.Zhongxing Xu2008-11-241-0/+9
* Cleanup code with utility method.Zhongxing Xu2008-11-241-2/+2
* Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of Chris Lattner2008-11-247-16/+17
* Strings are NULL terminated. So the region size should plus one.Zhongxing Xu2008-11-241-1/+1
* Migrate some stuff from NamedDecl::getName() to Chris Lattner2008-11-241-1/+1
* Rename Selector::getName() to Selector::getAsString(), and addChris Lattner2008-11-243-5/+5
* Add a comment about the signedness.Zhongxing Xu2008-11-241-0/+2
* Add getSize() support for StringRegion.Zhongxing Xu2008-11-242-3/+7
* Add out-of-bound memory access warning report code.Zhongxing Xu2008-11-232-4/+28
* Clean up code by using utility methods.Zhongxing Xu2008-11-231-11/+7
* remove a dead enumChris Lattner2008-11-221-1/+0
* New AST node to access "implicit" setter/getter using property dor syntax.Fariborz Jahanian2008-11-221-2/+1
OpenPOWER on IntegriCloud