Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
43fdb7f3b46059d4af11a702af35bc8e5d0f678a
/
lib
/
Checker
/
SimpleSValuator.cpp
43fdb7f
Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is.
by Jordy Rose
· 14 years ago
ba0f61c
Fold additive constants, and support comparsions of the form $sym+const1 <> const2
by Jordy Rose
· 14 years ago
d617b85
Static analyzer: Don't crash when casting a symbolic region address to a float. Fixes PR 6854.
by Ted Kremenek
· 14 years ago
461147f
Remove unused parameter.
by Zhongxing Xu
· 15 years ago
1309f9a
Split libAnalysis into two libraries: libAnalysis and libChecker.
by Ted Kremenek
· 15 years ago
[Renamed (98%) from lib/Analysis/SimpleSValuator.cpp]
c50e6df
Switch RegionStore over to using <BaseRegion+raw offset> to store
by Ted Kremenek
· 15 years ago
ba5fb5a
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
by Kovarththanan Rajaratnam
· 15 years ago
9b02034
Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant.
by Ted Kremenek
· 15 years ago
b5deae5
Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely
by Ted Kremenek
· 15 years ago
b1d0422
Fix crash introduced by r83358 where a symbol could be eagerly
by Ted Kremenek
· 15 years ago
cd8f6ac
Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when
by Ted Kremenek
· 15 years ago
8041747
Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers.
by Ted Kremenek
· 15 years ago
5b9bd21
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
by Ted Kremenek
· 15 years ago
1eb4433
Remove tabs, and whitespace cleanups.
by Mike Stump
· 15 years ago
32c3fa4
Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast
by Ted Kremenek
· 15 years ago
9031dd7
RegionStore:
by Ted Kremenek
· 15 years ago
dd66114
Enhance SimpleSValuator to handle nonloc::LocAsInteger -> location casts.
by Ted Kremenek
· 15 years ago
4653739
Move RegionStoreManager over to using new
by Ted Kremenek
· 15 years ago
54ca9b1
Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case
by Ted Kremenek
· 15 years ago
e839172
Unbreak build.
by Ted Kremenek
· 15 years ago