aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/SymbolManager.h
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-10-26Update location of DataTypes.h to reflect move in LLVM with r85086.Chandler Carruth
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-09-02Replace uses of ImmutableSet in SymbolReaper with DenseSet. This wasTed 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-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-20Allow profiling of "invalid" Symbols.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-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
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-05Change the implementation of symbol_iterator to not use a union and rely on a...Ted Kremenek
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-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-01Add a QualType to ConjuredSymbol to represent the type and size of the symbol.Ted Kremenek
2008-03-12Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ...Ted Kremenek
2008-03-12Fixed regression in SymbolManager introduced in r48272.Ted Kremenek
2008-03-12Prototype (pre-alpha) implementation of CFRef checker.Ted Kremenek
2008-03-06fix typosGabor Greif
2008-02-28Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.Ted Kremenek
2008-02-26Added lazy "symbolication" of parameter variables and global variables.Ted Kremenek
2008-02-19Implemented "getType()" for symbolic values representing the "contents" ofTed Kremenek
2008-02-16Further cleanup. Moved definitions for SymbolManager and ValueManager intoTed Kremenek