index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
clang
/
Analysis
/
PathSensitive
/
SymbolManager.h
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-10-26
Update location of DataTypes.h to reflect move in LLVM with r85086.
Chandler Carruth
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-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-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-20
Allow profiling of "invalid" Symbols.
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
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
2008-12-20
Lazy bingding for region-store manager.
Zhongxing Xu
2008-12-05
Change the implementation of symbol_iterator to not use a union and rely on a...
Ted Kremenek
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-17
This patch did the following renaming. There should be no functional changes.
Zhongxing Xu
2008-10-01
Add a QualType to ConjuredSymbol to represent the type and size of the symbol.
Ted Kremenek
2008-03-12
Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ...
Ted Kremenek
2008-03-12
Fixed regression in SymbolManager introduced in r48272.
Ted Kremenek
2008-03-12
Prototype (pre-alpha) implementation of CFRef checker.
Ted Kremenek
2008-03-06
fix typos
Gabor Greif
2008-02-28
Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.
Ted Kremenek
2008-02-26
Added lazy "symbolication" of parameter variables and global variables.
Ted Kremenek
2008-02-19
Implemented "getType()" for symbolic values representing the "contents" of
Ted Kremenek
2008-02-16
Further cleanup. Moved definitions for SymbolManager and ValueManager into
Ted Kremenek