Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 55b3b5f5c6c92f5dbb10dfe96a7de07a2b364338 / lib / Analysis / SymbolManager.cpp
  1. a880b66 Add an optional "tag" to conjured symbols that allows us to distinguish between by Ted Kremenek · 16 years ago
  2. 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 16 years ago
  3. 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
  4. 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 · 17 years ago
  5. 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 17 years ago
  6. 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 · 17 years ago
  7. f185319 Fix some unused variable, control reaches end of non-void function, by Daniel Dunbar · 17 years ago
  8. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 17 years ago
  9. 562731e Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber(). by Ted Kremenek · 17 years ago
  10. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
  11. f3d4162 Remove SymbolDataContentsOf (unused). by Ted Kremenek · 17 years ago
  12. eabf776 Add SymbolData for array elements and struct fields. by Zhongxing Xu · 17 years ago
  13. b5abb42 Conjured symbols now bind to Stmt* instead of Expr*. by Ted Kremenek · 17 years ago
  14. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 17 years ago
  15. 72c59d0 Initialize tracked local variables to undefined. by Ted Kremenek · 17 years ago
  16. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/SymbolManager.cpp]
  17. 361fa8e Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. by Ted Kremenek · 17 years ago
  18. 00a3a5f Prototype (pre-alpha) implementation of CFRef checker. by Ted Kremenek · 17 years ago
  19. 843e934 fix typos by Gabor Greif · 17 years ago
  20. d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
  21. a888c98 Implemented "getType()" for symbolic values representing the "contents" of by Ted Kremenek · 17 years ago
  22. d70d0b0 Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 17 years ago