summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/SymbolManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-228/+0
* Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap...Ted Kremenek2009-12-141-1/+2
* Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion).Ted Kremenek2009-12-041-0/+4
* Remove tabs, and whitespace cleanups.Mike Stump2009-09-091-31/+31
* Replace uses of ImmutableSet in SymbolReaper with DenseSet. This wasTed Kremenek2009-09-021-4/+4
* This is a fairly large patch, which resulted from a cascade of changesTed Kremenek2009-08-011-1/+9
* canSymbolicate() should only return true for integer types that are scalars.Ted Kremenek2009-07-291-1/+1
* Introduced the notion of a "derived symbol" using the class SymbolDerived.Ted Kremenek2009-07-151-0/+28
* Change pretty-printing API for SymExprs and MemRegions to use a naming conven...Ted Kremenek2009-07-131-28/+15
* Remove uses of std::ostream from libAnalysis.Ted Kremenek2009-06-241-6/+0
* A further step of r73690: associate the cast-to type with the created symbol,Zhongxing Xu2009-06-191-3/+6
* Rename:Zhongxing Xu2009-05-091-9/+9
* As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu2009-05-091-1/+1
* rename: MemRegion:Zhongxing Xu2009-05-091-1/+1
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-78/+117
* This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu2009-03-251-0/+41
* analyzer: Fix embarrassing regression in BasicStore when invalidating structTed Kremenek2009-03-231-0/+4
* GRExprEngine:Ted Kremenek2009-03-201-1/+2
* Add an optional "tag" to conjured symbols that allows us to distinguish betweenTed Kremenek2009-03-041-3/+4
* Rework use of loc::SymbolVal in the retain/release checker to use the new methodTed Kremenek2009-03-031-3/+17
* Added GRStateManager::scanReachableSymbols(), a method which scans the reachableTed Kremenek2009-02-141-1/+2
* SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalu...Ted Kremenek2009-01-221-1/+6
* Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek2009-01-221-99/+18
* Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek2009-01-211-0/+18
* Fix some unused variable, control reaches end of non-void function,Daniel Dunbar2009-01-151-2/+2
* Lazy bingding for region-store manager.Zhongxing Xu2008-12-201-2/+24
* Add SymbolRef::print() and have SymbolicRegion::print() use this method inste...Ted Kremenek2008-12-051-0/+5
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-051-5/+5
* Remove SymbolDataContentsOf (unused).Ted Kremenek2008-12-051-28/+1
* Add SymbolData for array elements and struct fields.Zhongxing Xu2008-11-191-0/+35
* Conjured symbols now bind to Stmt* instead of Expr*.Ted Kremenek2008-11-121-1/+1
* Add a QualType to ConjuredSymbol to represent the type and size of the symbol.Ted Kremenek2008-10-011-4/+4
* Initialize tracked local variables to undefined.Ted Kremenek2008-08-131-1/+2
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-0/+124
OpenPOWER on IntegriCloud