- eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
- 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
- b10a7c2 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. by Zhongxing Xu · 15 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
- abd46e1 Use SymbolicRegion instead of CodeTextRegion for symbolic function by Ted Kremenek · 15 years ago
- 6cb7c1a Replace cerr with errs(). by Benjamin Kramer · 15 years ago
- a5e81f1 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 15 years ago
- f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
- 0e3ec3f Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions with by Ted Kremenek · 15 years ago
- 7b67952 Tweak pretty-printing of CompoundVal to make it more useful for debugging. by Ted Kremenek · 15 years ago
- 6f9b3a4 Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream. by Ted Kremenek · 15 years ago
- edb883c add utility method. by Zhongxing Xu · 15 years ago
- 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
- 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
- d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
- 2ace5cd Split ValueManager method definitions into its own source file. by Zhongxing Xu · 15 years ago
- 3038c5a ValueManager::makeNonLoc -> ValueManager::makeIntVal by Zhongxing Xu · 15 years ago
- 087d6c2 Instead of setting the default value of the array region, bind the rest of the by Zhongxing Xu · 15 years ago
- 45257c3 A further step of r73690: associate the cast-to type with the created symbol, by Zhongxing Xu · 15 years ago
- 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 15 years ago
- 88c675f When casting region, if we do not create an element region, record the cast-to by Zhongxing Xu · 15 years ago
- 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 15 years ago
- d9b6ad6 Rename: by Zhongxing Xu · 15 years ago
- a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 15 years ago
- ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 15 years ago
- cd9392f Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. by Ted Kremenek · 15 years ago
- b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 15 years ago
- 4abbea6 Use 'getAs<CodeTextRegion>' instead of 'dyn_cast<CodeTextRegion>' to handle any by Ted Kremenek · 15 years ago
- 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 15 years ago
- 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 15 years ago
- 0a095fb As we now have ValueManager as the new value factory, we do not need factory by Zhongxing Xu · 15 years ago
- 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 15 years ago
- fc3388d Move a few more NonLoc static functions to ValueManager. by Ted Kremenek · 15 years ago
- ec13d92 Add prototype for CodeTextRegion. by Zhongxing Xu · 15 years ago
- 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 15 years ago
- 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 15 years ago
- 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 15 years ago
- c565b63 stop using loc::SymbolVal and clean up code with new API. by Zhongxing Xu · 15 years ago
- fe1635b Add a new method because sometimes the type of the conjured symbol is not the by Zhongxing Xu · 15 years ago
- 867418f Create a symbolic region instead of a loc::SymbolVal. This is a continued step by Zhongxing Xu · 15 years ago
- da9ae60 Enhance analyzer reasoning about sending messages to nil. A nil receiver returns 0 for scalars of size <= sizeof(void*). by Ted Kremenek · 15 years ago
- a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 15 years ago
- be65d90 Remove dead code. by Ted Kremenek · 15 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
- a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 15 years ago
- bb9b271 GRExprEngine: by Ted Kremenek · 15 years ago
- ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 15 years ago
- 4a77edb Remove some now-unneeded calls to llvm::errs().flush(). by Daniel Dunbar · 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
- 3e9061f Fix case where we should use dyn_cast instead of cast. by Ted Kremenek · 15 years ago
- 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 · 16 years ago
- 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 16 years ago
- 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 16 years ago
- a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 16 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 · 16 years ago
- 423a3c9 simplify some code by using PointerLikeType. by Chris Lattner · 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/RValues.cpp]
- 9b5551d Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions). by Ted Kremenek · 16 years ago
- 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 16 years ago
- 843e934 fix typos by Gabor Greif · 16 years ago
- 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 16 years ago
- 8cc13ea Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 16 years ago
- 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 16 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