Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / cf9dbe9c201f51c5fe9d5d2be2c33db04c3a59e9 / clang / lib / Checker / SymbolManager.cpp
  1. 98e6795 Enabled relaxed LiveVariables analysis in the path-sensitive engine to increase the coverage of bugs. Primarily affects IdempotentOperationChecker. by Tom Care · 15 years ago
  2. e302792 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  3. 7fa9bf0 Add a new metadata symbol type for checkers to use. Metadata symbols must be associated with a region and will be collected if the region dies or its checker fails to mark it as in use. by Jordy Rose · 15 years ago
  4. 8de0a3d MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
  5. 7f904e8 Change SymbolManager::canSymbolicate() to return true for RecordTypes. by Ted Kremenek · 15 years ago
  6. 674bd55 Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals. by Jordy Rose · 15 years ago
  7. f7488ec Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents. by Jordy Rose · 15 years ago
  8. c048322 Checker: random include cleanup. by Benjamin Kramer · 16 years ago
  9. e735843 Remove reference to AnalysisContext in Environment. We already have LocationContext by Zhongxing Xu · 16 years ago
  10. 6d3cc38 Since now we store the cast type with an ElementRegion, there is by Zhongxing Xu · 16 years ago
  11. b2ef2f1 In symbol reaper, a variable is live if its stack frame is the parent of the by Zhongxing Xu · 16 years ago
  12. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from clang/lib/Analysis/SymbolManager.cpp]
  13. 814c416 Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference by Ted Kremenek · 16 years ago
  14. c32f2c2 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 16 years ago
  15. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  16. cf768cd Replace uses of ImmutableSet in SymbolReaper with DenseSet. This was by Ted Kremenek · 16 years ago
  17. 1f22aa7 This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 16 years ago
  18. bb90226 canSymbolicate() should only return true for integer types that are scalars. by Ted Kremenek · 16 years ago
  19. c6c2157 Introduced the notion of a "derived symbol" using the class SymbolDerived. by Ted Kremenek · 16 years ago
  20. eabdd98 Change pretty-printing API for SymExprs and MemRegions to use a naming convention and style similar to other elements in Clang. by Ted Kremenek · 16 years ago
  21. 799bb6e Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  22. 54fb536 A further step of r73690: associate the cast-to type with the created symbol, by Zhongxing Xu · 16 years ago
  23. 91e2ab4 Rename: by Zhongxing Xu · 16 years ago
  24. 34d04b3 As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
  25. 8038f7b rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  26. 3e31c26 analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 17 years ago
  27. 24e7eade This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 17 years ago
  28. c7fef2a analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 17 years ago
  29. 6b31533 GRExprEngine: by Ted Kremenek · 17 years ago
  30. 6ee8f8b Add an optional "tag" to conjured symbols that allows us to distinguish between by Ted Kremenek · 17 years ago
  31. c9747dd Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 17 years ago
  32. 4e9d4b5 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 17 years ago
  33. 2dd9c9c 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
  34. 7404083 Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 17 years ago
  35. 16fbfe6 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
  36. 435bbe0 Fix some unused variable, control reaches end of non-void function, by Daniel Dunbar · 17 years ago
  37. af7415f Lazy bingding for region-store manager. by Zhongxing Xu · 17 years ago
  38. c9e7622 Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber(). by Ted Kremenek · 17 years ago
  39. d8242f1 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
  40. 8e94212 Remove SymbolDataContentsOf (unused). by Ted Kremenek · 17 years ago
  41. b8e5488 Add SymbolData for array elements and struct fields. by Zhongxing Xu · 17 years ago
  42. 9999d72 Conjured symbols now bind to Stmt* instead of Expr*. by Ted Kremenek · 17 years ago
  43. d331d09 Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 17 years ago
  44. dccd988 Initialize tracked local variables to undefined. by Ted Kremenek · 17 years ago
  45. 7a51313 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 18 years ago[Renamed from clang/Analysis/SymbolManager.cpp]
  46. e2f6d6c Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. by Ted Kremenek · 18 years ago
  47. 68d73d1 Prototype (pre-alpha) implementation of CFRef checker. by Ted Kremenek · 18 years ago
  48. 3a8edd8 fix typos by Gabor Greif · 18 years ago
  49. 06b6710 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 18 years ago
  50. 4baef06 Implemented "getType()" for symbolic values representing the "contents" of by Ted Kremenek · 18 years ago
  51. 074965c Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 18 years ago