aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/SymbolManager.cpp
AgeCommit message (Expand)Author
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