- 32f2656 Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals. by Jordy Rose · 14 years ago
- a274148 Pointers casted as integers still count as locations to SimpleSValuator, so don't crash if we do a funny thing like ((int)ptr)&1. Fixes PR7527. by Jordy Rose · 14 years ago
- eac4a00 Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL(). by Jordy Rose · 14 years ago
- b4954a4 When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now. by Jordy Rose · 14 years ago
- 24ada87 Add braces to avoid an ambiguous else, fixing a GCC warning. by Benjamin Kramer · 14 years ago
- 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 · 14 years ago
- 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 14 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