index
:
clang/clang.git
release_50-based
release_60-based
release_70-based
release_80-based
upstream/google/stable
upstream/google/testing
upstream/master
upstream/release_26
upstream/release_27
upstream/release_28
upstream/release_29
upstream/release_30
upstream/release_31
upstream/release_32
upstream/release_33
upstream/release_34
upstream/release_35
upstream/release_35@215011
upstream/release_36
upstream/release_37
upstream/release_38
upstream/release_39
upstream/release_40
upstream/release_50
upstream/release_60
upstream/release_70
upstream/release_80
upstream/release_90
wip/pending-upstream
(deprecated) Vendor branches of https://git.llvm.org/git/clang.git , use clang/llvm-project instead.
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lib
/
Analysis
/
SymbolManager.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
This is a fairly large patch, which resulted from a cascade of changes
Ted Kremenek
2009-08-01
1
-1
/
+9
*
canSymbolicate() should only return true for integer types that are scalars.
Ted Kremenek
2009-07-29
1
-1
/
+1
*
Introduced the notion of a "derived symbol" using the class SymbolDerived.
Ted Kremenek
2009-07-15
1
-0
/
+28
*
Change pretty-printing API for SymExprs and MemRegions to use a naming conven...
Ted Kremenek
2009-07-13
1
-28
/
+15
*
Remove uses of std::ostream from libAnalysis.
Ted Kremenek
2009-06-24
1
-6
/
+0
*
A further step of r73690: associate the cast-to type with the created symbol,
Zhongxing Xu
2009-06-19
1
-3
/
+6
*
Rename:
Zhongxing Xu
2009-05-09
1
-9
/
+9
*
As discussed with Ted, rename TypedRegion::getObjectType() to
Zhongxing Xu
2009-05-09
1
-1
/
+1
*
rename: MemRegion:
Zhongxing Xu
2009-05-09
1
-1
/
+1
*
analyzer infrastructure: make a bunch of changes to symbolic expressions that
Ted Kremenek
2009-03-26
1
-78
/
+117
*
This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for
Zhongxing Xu
2009-03-25
1
-0
/
+41
*
analyzer: Fix embarrassing regression in BasicStore when invalidating struct
Ted Kremenek
2009-03-23
1
-0
/
+4
*
GRExprEngine:
Ted Kremenek
2009-03-20
1
-1
/
+2
*
Add an optional "tag" to conjured symbols that allows us to distinguish between
Ted Kremenek
2009-03-04
1
-3
/
+4
*
Rework use of loc::SymbolVal in the retain/release checker to use the new method
Ted Kremenek
2009-03-03
1
-3
/
+17
*
Added GRStateManager::scanReachableSymbols(), a method which scans the reachable
Ted Kremenek
2009-02-14
1
-1
/
+2
*
SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalu...
Ted Kremenek
2009-01-22
1
-1
/
+6
*
Static analyzer: Remove a bunch of outdated SymbolData objects and
Ted Kremenek
2009-01-22
1
-99
/
+18
*
Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...
Ted Kremenek
2009-01-21
1
-0
/
+18
*
Fix some unused variable, control reaches end of non-void function,
Daniel Dunbar
2009-01-15
1
-2
/
+2
*
Lazy bingding for region-store manager.
Zhongxing Xu
2008-12-20
1
-2
/
+24
*
Add SymbolRef::print() and have SymbolicRegion::print() use this method inste...
Ted Kremenek
2008-12-05
1
-0
/
+5
*
Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...
Ted Kremenek
2008-12-05
1
-5
/
+5
*
Remove SymbolDataContentsOf (unused).
Ted Kremenek
2008-12-05
1
-28
/
+1
*
Add SymbolData for array elements and struct fields.
Zhongxing Xu
2008-11-19
1
-0
/
+35
*
Conjured symbols now bind to Stmt* instead of Expr*.
Ted Kremenek
2008-11-12
1
-1
/
+1
*
Add a QualType to ConjuredSymbol to represent the type and size of the symbol.
Ted Kremenek
2008-10-01
1
-4
/
+4
*
Initialize tracked local variables to undefined.
Ted Kremenek
2008-08-13
1
-1
/
+2
*
Make a major restructuring of the clang tree: introduce a top-level
Chris Lattner
2008-03-15
1
-0
/
+124