- edeb5b6 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 15 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
- a97d54c Replace uses of ImmutableSet in SymbolReaper with DenseSet. This was by Ted Kremenek · 15 years ago
- 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
- 4e6e0d7 canSymbolicate() should only return true for integer types that are scalars. by Ted Kremenek · 15 years ago
- fb91c70 Introduced the notion of a "derived symbol" using the class SymbolDerived. by Ted Kremenek · 15 years ago
- 8800ad4 Change pretty-printing API for SymExprs and MemRegions to use a naming convention and style similar to other elements in Clang. by Ted Kremenek · 15 years ago
- 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
- 45257c3 A further step of r73690: associate the cast-to type with the created symbol, by Zhongxing Xu · 15 years ago
- d9b6ad6 Rename: by Zhongxing Xu · 15 years ago
- a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 15 years ago
- ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 15 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
- a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 15 years ago
- 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 15 years ago
- bb9b271 GRExprEngine: by Ted Kremenek · 15 years ago
- a880b66 Add an optional "tag" to conjured symbols that allows us to distinguish between by Ted Kremenek · 15 years ago
- 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 15 years ago
- 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
- dcb6a26 SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalues because these represent the symbolic values for parameters/globals upon entry to the function. These values are always ;live' because they represent constraints on the context of how the function was called. This will be useful for both summary generation but is also necessary to get RegionStore's lazy-binding of locations to symbols to work in practice with RemoveDeadBindings. by Ted Kremenek · 16 years ago
- 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 16 years ago
- 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
- f185319 Fix some unused variable, control reaches end of non-void function, by Daniel Dunbar · 16 years ago
- 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
- 562731e Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber(). by Ted Kremenek · 16 years ago
- 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
- f3d4162 Remove SymbolDataContentsOf (unused). by Ted Kremenek · 16 years ago
- eabf776 Add SymbolData for array elements and struct fields. by Zhongxing Xu · 16 years ago
- b5abb42 Conjured symbols now bind to Stmt* instead of Expr*. by Ted Kremenek · 16 years ago
- 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
- 72c59d0 Initialize tracked local variables to undefined. by Ted Kremenek · 16 years ago
- bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 16 years ago[Renamed from Analysis/SymbolManager.cpp]
- 361fa8e Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. by Ted Kremenek · 16 years ago
- 00a3a5f Prototype (pre-alpha) implementation of CFRef checker. by Ted Kremenek · 16 years ago
- 843e934 fix typos by Gabor Greif · 16 years ago
- d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
- a888c98 Implemented "getType()" for symbolic values representing the "contents" of by Ted Kremenek · 17 years ago
- d70d0b0 Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 17 years ago