aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/SymbolManager.cpp
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2009-12-14Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap...Ted Kremenek
2009-12-04Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion).Ted Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-09-02Replace uses of ImmutableSet in SymbolReaper with DenseSet. This wasTed Kremenek
2009-08-01This is a fairly large patch, which resulted from a cascade of changesTed Kremenek
2009-07-29canSymbolicate() should only return true for integer types that are scalars.Ted Kremenek
2009-07-15Introduced the notion of a "derived symbol" using the class SymbolDerived.Ted Kremenek
2009-07-13Change pretty-printing API for SymExprs and MemRegions to use a naming conven...Ted Kremenek
2009-06-24Remove uses of std::ostream from libAnalysis.Ted Kremenek
2009-06-19A further step of r73690: associate the cast-to type with the created symbol,Zhongxing Xu
2009-05-09Rename:Zhongxing Xu
2009-05-09As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu
2009-05-09rename: MemRegion:Zhongxing Xu
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-25This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu
2009-03-23analyzer: Fix embarrassing regression in BasicStore when invalidating structTed Kremenek
2009-03-20GRExprEngine:Ted Kremenek
2009-03-04Add an optional "tag" to conjured symbols that allows us to distinguish betweenTed Kremenek
2009-03-03Rework use of loc::SymbolVal in the retain/release checker to use the new methodTed Kremenek
2009-02-14Added GRStateManager::scanReachableSymbols(), a method which scans the reachableTed Kremenek
2009-01-22SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalu...Ted Kremenek
2009-01-22Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek
2009-01-21Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek
2009-01-15Fix some unused variable, control reaches end of non-void function,Daniel Dunbar
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-05Add SymbolRef::print() and have SymbolicRegion::print() use this method inste...Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-12-05Remove SymbolDataContentsOf (unused).Ted Kremenek
2008-11-19Add SymbolData for array elements and struct fields.Zhongxing Xu
2008-11-12Conjured symbols now bind to Stmt* instead of Expr*.Ted Kremenek
2008-10-01Add a QualType to ConjuredSymbol to represent the type and size of the symbol.Ted Kremenek
2008-08-13Initialize tracked local variables to undefined.Ted Kremenek
2008-03-15Make a major restructuring of the clang tree: introduce a top-levelChris Lattner