- 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
- 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 16 years ago
- 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
- 2fdf555 Add utility method. Remove an unused method. by Zhongxing Xu · 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
- 8b86273 Add utility methods. by Zhongxing Xu · 16 years ago
- 6613d08 Add getSize() support for StringRegion. by Zhongxing Xu · 16 years ago
- e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
- eabf776 Add SymbolData for array elements and struct fields. by Zhongxing Xu · 16 years ago
- 96cbfd4 Flush llvm::errs() when printing out SVals. by Ted Kremenek · 16 years ago
- b8b4161 Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an adapter for std::ostream, but this will be removed in the future. by Ted Kremenek · 16 years ago
- a6fac4e Added iterators to nonloc::CompoundSVal. by Ted Kremenek · 16 years ago
- ccaad9d 80 col violation. by Ted Kremenek · 16 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 · 16 years ago
- 6764b72 Add CompoundVal and CompoundValData for representing the value of InitListExpr. by Zhongxing Xu · 16 years ago
- 0d958e7 - Fix type-punning warning in SVals.cpp by using a real iterator class for symbol_iterator. by Ted Kremenek · 16 years ago
- 197fa58 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 16 years ago
- 9012bff Add printing with llvm::raw_ostream methods to SVals. by Zhongxing Xu · 16 years ago
- 22ab7a4 Rename: RValues.h/cpp => SVals.h/cpp by Zhongxing Xu · 16 years ago[Renamed from lib/Analysis/RValues.cpp]
- 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
- d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 16 years ago
- 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
- 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago
- 8da6ca9 Use LVal::IsLValType(T) instead of checking to see if the type is an "lvalue" type directly. by Ted Kremenek · 16 years ago
- 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
- 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
- c4a1dea More #include cleaning by Daniel Dunbar · 16 years ago
- 75b0a1c Fix 80 col violation by Ted Kremenek · 16 years ago
- 40fc5c7 Fix regression by explicitly checking if we are negating a SymIntConstantVal. by Ted Kremenek · 16 years ago
- c1ff3cd More cleanups with ObjCQualifiedIdType in the static analyzer. 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
- a548846 Added lval type (and tracking) for StringLiterals. 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
- 423a3c9 simplify some code by using PointerLikeType. by Chris Lattner · 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/RValues.cpp]
- 9b5551d Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions). by Ted Kremenek · 17 years ago
- 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago
- 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
- 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 17 years ago
- d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
- aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
- 90e4203 Implemented transfer function logic for unary '+' by Ted Kremenek · 17 years ago
- d8e9f0d Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago
- de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
- d70d0b0 Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 17 years ago
- 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
- 90e1481 Added "symbol iterators" for RValues, allowing easy iteration over the symbols by Ted Kremenek · 17 years ago
- 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 17 years ago
- c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 17 years ago
- d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 17 years ago
- cc409b7 Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive". by Ted Kremenek · 17 years ago
- 2a50257 Added transfer function/value track logic for taking the address of a label. by Ted Kremenek · 17 years ago
- 59c2d26 Implemented transfer functions for "<<" and ">>" when the RValues are by Ted Kremenek · 17 years ago
- 53c641a More variable renamings. by Ted Kremenek · 17 years ago
- 2203118 Renamed InvalidValue to UnknownVal. by Ted Kremenek · 17 years ago
- 7e59336 Added some more opcode pretty-printing. by Ted Kremenek · 17 years ago
- d131c4f Added recording of "implicit" NULL dereferences of symbolic pointers. by Ted Kremenek · 17 years ago
- fd88bb9 get the tree building again by Chris Lattner · 17 years ago
- 5b6dc2d Added transfer function logic for ReturnStmts. by Ted Kremenek · 17 years ago
- cf78b6a Major code refactoring/cleanup with transfer function logic. Now the by Ted Kremenek · 17 years ago
- feb01f6 Added assumption logic for symbolic non-lvalues when used in conditions such as by Ted Kremenek · 17 years ago
- 08b6625 Fixed signedness bug in cast transfer function when casting integers to pointers. by Ted Kremenek · 17 years ago
- 0806acf Added pretty-printing support for lval::SymIntConstraintVal and by Ted Kremenek · 17 years ago
- 329f854 Moved subclasses of LValue and NonLValue into their own namespaces. by Ted Kremenek · 17 years ago
- 1fbdb02 Added "SymIntConstraint", a utility class to represent intermediate values for by Ted Kremenek · 17 years ago
- c5d3b4c Implemented transfer function for unary '~'. by Ted Kremenek · 17 years ago
- a6e4d21 Implemented casts for ConcreteInt and ConcreteIntLValue. by Ted Kremenek · 17 years ago
- a90ccfe Moved RValue code in GRConstants.cpp to RValue.[h,cpp]. by Ted Kremenek · 17 years ago