- 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
- edeb5b6 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 15 years ago
- ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
- 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
- 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
- f6f56d4 Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*, and modify GRExprEngine::EvalBind() to handle decl initialization as well. This paves the way for adding "checker" visitation in EvalBind(). by Ted Kremenek · 15 years ago
- 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
- d0f8bb1 * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 15 years ago
- 8780679 Fix: 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
- ab2f43c Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays. RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager. This fixes PR 4781. by Ted Kremenek · 15 years ago
- 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
- 6cb7c1a Replace cerr with errs(). by Benjamin Kramer · 15 years ago
- 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
- d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 15 years ago
- eda9546 Get the code decl from the initial location context. by Zhongxing Xu · 15 years ago
- 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 15 years ago
- 2f26bc3 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 15 years ago
- 6217b80 Change uses of: by Ted Kremenek · 15 years ago
- f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
- 1004a9f Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 15 years ago
- 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
- 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
- 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
- fde2efe Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. 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
- c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
- e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
- f6c9f42 BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a variable can be symbolicated. by Ted Kremenek · 15 years ago
- 1508636 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 15 years ago
- 6bf01d6 Combine two conditional branches into one. No functionality change. by Ted Kremenek · 15 years ago
- 2001b8e We do not require the super region of element region be typed. So do not by Zhongxing Xu · 15 years ago
- 6fb0aee Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 15 years ago
- 87453d1 Do not crash on binding concrete integer location. by Zhongxing Xu · 15 years ago
- c2a650a Simplify some code. As in region store, we always expect the location is a by Zhongxing Xu · 15 years ago
- 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
- 25e751a Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 15 years ago
- d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
- a43484a MemRegions: by Ted Kremenek · 15 years ago
- 67f2853 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 15 years ago
- 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot 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
- 921b0b5 Fix unused variable warning by Ted Kremenek · 15 years ago
- 0ac5618 Remove possibly incorrect assertion that doesn't matter. by Ted Kremenek · 15 years ago
- c2eeb72 Add array index assertion: BasicStore should not expect any fancy by Ted Kremenek · 15 years ago
- b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 15 years ago
- 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 15 years ago
- f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 15 years ago
- d91719a Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a pointer. by Ted Kremenek · 15 years ago
- 5fa93d5 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 15 years ago
- c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 15 years ago
- 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 15 years ago
- 7297134 FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 15 years ago
- 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 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
- a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 15 years ago
- 93e7145 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 15 years ago
- f1d537f Implement a FIXME. by Zhongxing Xu · 15 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
- 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 15 years ago
- ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 15 years ago
- f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 15 years ago
- 39fc715 Minor code compaction. No functionality change. by Ted Kremenek · 15 years ago
- 2c8e788 Rename VarBindings -> Bindings. by Ted Kremenek · 15 years ago
- be91224 BasicStore: by Ted Kremenek · 15 years ago
- 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 15 years ago
- 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 15 years ago
- 59e8f11 Add StoreManager::getSubRegionMap(). This method returns an opaque mapping for clients of StoreManagers from MemRegions to their subregions. by Ted Kremenek · 15 years ago
- 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 15 years ago
- 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 16 years ago
- d76d47e Fix bug in BasicStore::getLValueElement where if the base of an array subscript expression was an ElementRegion we stacked another ElementRegion on top of that. by Ted Kremenek · 16 years ago
- 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 16 years ago
- 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
- c6ed384 Update some doxygen comments to be more rich. Remove StoreManager::GetRegionSVal. by Ted Kremenek · 16 years ago
- d6cfbe4 Refactor MemRegionManager instance variable into parent class. No functionality change. by Ted Kremenek · 16 years ago
- 47b3240 Use utility method. by Zhongxing Xu · 16 years ago
- 56a3460 Use utility methods. No functional change. by Zhongxing Xu · 16 years ago
- a90dce3 Remove unused function. by Zhongxing Xu · 16 years ago
- 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
- 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
- abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
- 1d6c14b Fix to BasicStoreManager::getElementLValue: If the base region is a symbol, layer an AnonTypedRegion on top of it. by Ted Kremenek · 16 years ago
- 7d71b29 Have BasicStoreManager::getLValueElement() have logic similar to BasicStoreManager::getLValueField() (i.e., don't just return the 'base' as the SVal) by Ted Kremenek · 16 years ago
- 2ed14be StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRState* argument instead of a Store. This allows them to use the GDM for storing other data. by Ted Kremenek · 16 years ago
- de63bdc Update comment. by Ted Kremenek · 16 years ago
- 353cbe1 Use std::make_pair instead of std::pair's ctor. by Zhongxing Xu · 16 years ago
- 39f34e9 Migrate some stuff from NamedDecl::getName() to by Chris Lattner · 16 years ago
- cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 16 years ago
- dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
- 0adfbf6 Use the allocator of ExplodedGraph. The whole static analysis module uses it. by Zhongxing Xu · 16 years ago
- 42577d1 StoreManager::BindDecl now takes an SVal* for the initialization value instead of an Expr* (which can be null). Lazy symbolication of conjured symbols is now the sole responsibility of GRExprEngine. by Ted Kremenek · 16 years ago
- f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
- 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
- 4f09027 Added preliminary support for CompoundLiterals in the static analyzer: 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
- 143bf82 Add code for get the lvalue for string literals. Now we return a StringRegion by Zhongxing Xu · 16 years ago