Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
693de5d7feb92c096431c98ea6ee637494bfe6fb
/
lib
/
Analysis
/
SymbolManager.cpp
693de5d
analyzer: Fix embarrassing regression in BasicStore when invalidating struct
by Ted Kremenek
· 15 years ago
bb9b271
GRExprEngine:
by Ted Kremenek
· 15 years ago
a880b66
Add an optional "tag" to conjured symbols that allows us to distinguish between
by Ted Kremenek
· 15 years ago
94c9698
Rework use of loc::SymbolVal in the retain/release checker to use the new method
by Ted Kremenek
· 15 years ago
5216ad7
Added GRStateManager::scanReachableSymbols(), a method which scans the reachable
by Ted Kremenek
· 16 years ago
dcb6a26
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
· 16 years ago
9ab6b9c
Static analyzer: Remove a bunch of outdated SymbolData objects and
by Ted Kremenek
· 16 years ago
241677a
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
· 16 years ago
f185319
Fix some unused variable, control reaches end of non-void function,
by Daniel Dunbar
· 16 years ago
4193eca
Lazy bingding for region-store manager.
by Zhongxing Xu
· 16 years ago
562731e
Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber().
by Ted Kremenek
· 16 years ago
2dabd43
Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values.
by Ted Kremenek
· 16 years ago
f3d4162
Remove SymbolDataContentsOf (unused).
by Ted Kremenek
· 16 years ago
eabf776
Add SymbolData for array elements and struct fields.
by Zhongxing Xu
· 16 years ago
b5abb42
Conjured symbols now bind to Stmt* instead of Expr*.
by Ted Kremenek
· 16 years ago
60a6e0c
Add a QualType to ConjuredSymbol to represent the type and size of the symbol.
by Ted Kremenek
· 16 years ago
72c59d0
Initialize tracked local variables to undefined.
by Ted Kremenek
· 16 years ago
bda0b62
Make a major restructuring of the clang tree: introduce a top-level
by Chris Lattner
· 16 years ago
[Renamed from Analysis/SymbolManager.cpp]
361fa8e
Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs.
by Ted Kremenek
· 16 years ago
00a3a5f
Prototype (pre-alpha) implementation of CFRef checker.
by Ted Kremenek
· 16 years ago
843e934
fix typos
by Gabor Greif
· 16 years ago
d763eb9
Added lazy "symbolication" of parameter variables and global variables.
by Ted Kremenek
· 17 years ago
a888c98
Implemented "getType()" for symbolic values representing the "contents" of
by Ted Kremenek
· 17 years ago
d70d0b0
Further cleanup. Moved definitions for SymbolManager and ValueManager into
by Ted Kremenek
· 17 years ago