index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
Analysis
/
SymbolManager.cpp
Age
Commit message (
Expand
)
Author
2010-01-25
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek
2009-12-14
Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap...
Ted Kremenek
2009-12-04
Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion).
Ted Kremenek
2009-09-09
Remove tabs, and whitespace cleanups.
Mike Stump
2009-09-02
Replace uses of ImmutableSet in SymbolReaper with DenseSet. This was
Ted Kremenek
2009-08-01
This is a fairly large patch, which resulted from a cascade of changes
Ted Kremenek
2009-07-29
canSymbolicate() should only return true for integer types that are scalars.
Ted Kremenek
2009-07-15
Introduced the notion of a "derived symbol" using the class SymbolDerived.
Ted Kremenek
2009-07-13
Change pretty-printing API for SymExprs and MemRegions to use a naming conven...
Ted Kremenek
2009-06-24
Remove uses of std::ostream from libAnalysis.
Ted Kremenek
2009-06-19
A further step of r73690: associate the cast-to type with the created symbol,
Zhongxing Xu
2009-05-09
Rename:
Zhongxing Xu
2009-05-09
As discussed with Ted, rename TypedRegion::getObjectType() to
Zhongxing Xu
2009-05-09
rename: MemRegion:
Zhongxing Xu
2009-03-26
analyzer infrastructure: make a bunch of changes to symbolic expressions that
Ted Kremenek
2009-03-25
This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for
Zhongxing Xu
2009-03-23
analyzer: Fix embarrassing regression in BasicStore when invalidating struct
Ted Kremenek
2009-03-20
GRExprEngine:
Ted Kremenek
2009-03-04
Add an optional "tag" to conjured symbols that allows us to distinguish between
Ted Kremenek
2009-03-03
Rework use of loc::SymbolVal in the retain/release checker to use the new method
Ted Kremenek
2009-02-14
Added GRStateManager::scanReachableSymbols(), a method which scans the reachable
Ted Kremenek
2009-01-22
SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalu...
Ted Kremenek
2009-01-22
Static analyzer: Remove a bunch of outdated SymbolData objects and
Ted Kremenek
2009-01-21
Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...
Ted Kremenek
2009-01-15
Fix some unused variable, control reaches end of non-void function,
Daniel Dunbar
2008-12-20
Lazy bingding for region-store manager.
Zhongxing Xu
2008-12-05
Add SymbolRef::print() and have SymbolicRegion::print() use this method inste...
Ted Kremenek
2008-12-05
Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...
Ted Kremenek
2008-12-05
Remove SymbolDataContentsOf (unused).
Ted Kremenek
2008-11-19
Add SymbolData for array elements and struct fields.
Zhongxing Xu
2008-11-12
Conjured symbols now bind to Stmt* instead of Expr*.
Ted Kremenek
2008-10-01
Add a QualType to ConjuredSymbol to represent the type and size of the symbol.
Ted Kremenek
2008-08-13
Initialize tracked local variables to undefined.
Ted Kremenek
2008-03-15
Make a major restructuring of the clang tree: introduce a top-level
Chris Lattner