Commits · e73584384a6c791796143589fa3a89515f506d16 · Roger Ferrer / llvm-epi · GitLab

Mar 05, 2010
- Remove reference to AnalysisContext in Environment. We already have LocationContext · e7358438
  Zhongxing Xu authored Mar 05, 2010
  e7358438
Mar 01, 2010
- Since now we store the cast type with an ElementRegion, there is · 6d3cc382
  Zhongxing Xu authored Mar 01, 2010
  6d3cc382
Feb 17, 2010
- In symbol reaper, a variable is live if its stack frame is the parent of the · b2ef2f14
  Zhongxing Xu authored Feb 17, 2010
  b2ef2f14
Jan 25, 2010
- Split libAnalysis into two libraries: libAnalysis and libChecker. · d6b87086
  Ted Kremenek authored Jan 25, 2010
  d6b87086
Dec 14, 2009
- Fix: <rdar://problem/7468209 > SymbolManager::isLive() should not crash on... · 814c4166
  Ted Kremenek authored Dec 14, 2009
  814c4166
Dec 04, 2009
- Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). · c32f2c2e
  Ted Kremenek authored Dec 04, 2009
  c32f2c2e
Sep 09, 2009
- Remove tabs, and whitespace cleanups. · 11289f42
  Mike Stump authored Sep 09, 2009
  11289f42
Sep 02, 2009
- Replace uses of ImmutableSet in SymbolReaper with DenseSet. This was · cf768cd2
  Ted Kremenek authored Sep 02, 2009
  cf768cd2
Aug 01, 2009
- This is a fairly large patch, which resulted from a cascade of changes · 1f22aa74
  Ted Kremenek authored Aug 01, 2009
  1f22aa74
Jul 29, 2009
- canSymbolicate() should only return true for integer types that are scalars. · bb902265
  Ted Kremenek authored Jul 29, 2009
  bb902265
Jul 15, 2009
- Introduced the notion of a "derived symbol" using the class SymbolDerived. · c6c21578
  Ted Kremenek authored Jul 15, 2009
  c6c21578
Jul 14, 2009
- Change pretty-printing API for SymExprs and MemRegions to use a naming... · eabdd984
  Ted Kremenek authored Jul 13, 2009
  eabdd984
Jun 25, 2009
- Remove uses of std::ostream from libAnalysis. · 799bb6e1
  Ted Kremenek authored Jun 24, 2009
  799bb6e1
Jun 19, 2009
- A further step of r73690: associate the cast-to type with the created symbol, · 54fb536b
  Zhongxing Xu authored Jun 19, 2009
  54fb536b
May 09, 2009
- Rename: · 91e2ab49
  Zhongxing Xu authored May 09, 2009
  91e2ab49
- As discussed with Ted, rename TypedRegion::getObjectType() to · 34d04b3c
  Zhongxing Xu authored May 09, 2009
  34d04b3c
- rename: MemRegion: · 8038f7b3
  Zhongxing Xu authored May 09, 2009
  8038f7b3
Mar 26, 2009
- analyzer infrastructure: make a bunch of changes to symbolic expressions that · 3e31c26f
  Ted Kremenek authored Mar 26, 2009
  3e31c26f
Mar 25, 2009
- This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for · 24e7eade
  Zhongxing Xu authored Mar 25, 2009
  24e7eade
Mar 23, 2009
- analyzer: Fix embarrassing regression in BasicStore when invalidating struct · c7fef2ad
  Ted Kremenek authored Mar 23, 2009
  c7fef2ad
Mar 20, 2009
- GRExprEngine: · 6b31533a
  Ted Kremenek authored Mar 20, 2009
  6b31533a
Mar 04, 2009
- Add an optional "tag" to conjured symbols that allows us to distinguish between · 6ee8f8bc
  Ted Kremenek authored Mar 04, 2009
  6ee8f8bc
Mar 03, 2009
- Rework use of loc::SymbolVal in the retain/release checker to use the new method · c9747dd6
  Ted Kremenek authored Mar 03, 2009
  c9747dd6
Feb 14, 2009
- Added GRStateManager::scanReachableSymbols(), a method which scans the reachable · 4e9d4b5d
  Ted Kremenek authored Feb 14, 2009
  4e9d4b5d
Jan 22, 2009
- SymbolReaper::isLive(SymbolRef) now always returns true for... · 2dd9c9cb
  Ted Kremenek authored Jan 22, 2009
  2dd9c9cb
- Static analyzer: Remove a bunch of outdated SymbolData objects and · 74040833
  Ted Kremenek authored Jan 22, 2009
  74040833
Jan 21, 2009
- Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called... · 16fbfe69
  Ted Kremenek authored Jan 21, 2009
  16fbfe69
Jan 15, 2009
- Fix some unused variable, control reaches end of non-void function, · 435bbe02
  Daniel Dunbar authored Jan 15, 2009
  435bbe02
Dec 20, 2008
- Lazy bingding for region-store manager. · af7415ff
  Zhongxing Xu authored Dec 20, 2008
  af7415ff
Dec 05, 2008
- Add SymbolRef::print() and have SymbolicRegion::print() use this method... · c9e7622a
  Ted Kremenek authored Dec 05, 2008
  c9e7622a
- Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the... · d8242f19
  Ted Kremenek authored Dec 05, 2008
  d8242f19
- Remove SymbolDataContentsOf (unused). · 8e942123
  Ted Kremenek authored Dec 05, 2008
  8e942123
Nov 19, 2008
- Add SymbolData for array elements and struct fields. · b8e54884
  Zhongxing Xu authored Nov 19, 2008
  b8e54884
Nov 12, 2008
- Conjured symbols now bind to Stmt* instead of Expr*. · 9999d72f
  Ted Kremenek authored Nov 12, 2008
  9999d72f
Oct 01, 2008
- Add a QualType to ConjuredSymbol to represent the type and size of the symbol. · d331d09e
  Ted Kremenek authored Oct 01, 2008
  d331d09e
Aug 13, 2008
- Initialize tracked local variables to undefined. · dccd9883
  Ted Kremenek authored Aug 13, 2008
  dccd9883
Mar 16, 2008
- Make a major restructuring of the clang tree: introduce a top-level · 7a51313d
  Chris Lattner authored Mar 15, 2008
  7a51313d
Mar 12, 2008
- Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be... · e2f6d6cd
  Ted Kremenek authored Mar 12, 2008
  e2f6d6cd
- Prototype (pre-alpha) implementation of CFRef checker. · 68d73d19
  Ted Kremenek authored Mar 12, 2008
  68d73d19
Mar 06, 2008
- fix typos · 3a8edd85
  Gabor Greif authored Mar 06, 2008
  3a8edd85