- 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
- bfcaf80 Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to by Zhongxing Xu · 16 years ago
- 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from lib/Analysis/BasicValueFactory.cpp]
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
- a5e81f1 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 16 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
- fa6228d Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not 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 · 17 years ago
- e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 17 years ago
- 632e8b8 CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This change was motivated by the need to allow state-splitting in GRExprEngine::VisitInitListExpr. As a side-benefit, we no longer need to perform any copies of SVals when creating a CompoundSVal, and the profiling of CompoundSVal is now constant time. by Ted Kremenek · 17 years ago
- 6764b72 Add CompoundVal and CompoundValData for representing the value of InitListExpr. by Zhongxing Xu · 17 years ago
- 22ab7a4 Rename: RValues.h/cpp => SVals.h/cpp by Zhongxing Xu · 17 years ago
- 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
- 7360fda Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced. by Ted Kremenek · 17 years ago
- 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 17 years ago
- 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 17 years ago
- 0fe33bc Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 17 years ago
- bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/BasicValueFactory.cpp]
- 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago[Renamed (84%) from Analysis/ValueManager.cpp]
- 843e934 fix typos by Gabor Greif · 17 years ago
- 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
- 8cc13ea Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 17 years ago
- 1caf26a Added missing case in constant propagation logic for handling the Xor of by Ted Kremenek · 17 years ago
- d70d0b0 Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 17 years ago