- 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
- b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
- a7a8dfd Tweak handling of BlockDataRegions in RegionStoreManager::RemoveDeadBindings(): only the VarRegions for variables marked with the '__block' annotation should have their lifetime extended by a BlockDataRegion. by Ted Kremenek · 15 years ago
- 2ffbfd9 Add value invalidation logic for block-captured variables. Conceptually invoking a block (without specific reasoning of what the block does) can invalidate any value to it by reference when the block was created. by Ted Kremenek · 15 years ago
- 81a9583 Add batch version of 'StoreManager::InvalidateRegion()' for invalidating multiple regions as once. After adopting this in the CFRefCount::EvalCall(), we see a reduction in analysis time of 1.5% when analyzing all of SQLite3. by Ted Kremenek · 15 years ago
- ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
- a6d73af Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any VarRegion for a "captured" variable should also be considered live. by Ted Kremenek · 15 years ago
- 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
- a44a590 Remove recently added FIXME. The appropriate FIXME is already in MemRegionManager::getVarRegion(). by Ted Kremenek · 15 years ago
- 3ad4104 Add FIXME. by Ted Kremenek · 15 years ago
- eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
- 027e266 Fix crash when using --analyzer-store=region when handling initializers with nested arrays/structs whose values are not explicitly specified. Fixes <rdar://problem/7403269>. by Ted Kremenek · 15 years ago
- 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
- e884ff8 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 15 years ago
- 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
- 3958b50 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 15 years ago
- 89c49f0 Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass of by Douglas Gregor · 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
- 0175619 Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 15 years ago
- ab22ee9 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 15 years ago
- 6800b33 use DenseSet instead of SmallSet. by Zhongxing Xu · 15 years ago
- 781115c Minor cleanup: move typedef out of anonymous namespace (which now contains nothing) and into RemoveDeadBindings. No functionality change. by Ted Kremenek · 15 years ago
- f77869f Per discussion with Ted, the 'FromSuper'/'FromSub' logic is invalid. Simplify by Zhongxing Xu · 15 years ago
- 8801beb Actually all regions whose super region is not MemSpaceRegion are of these 3 by Zhongxing Xu · 15 years ago
- 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
- 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
- d0f8bb1 * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 15 years ago
- 4e3c1f7 Add an initial implementation of EnterStackFrame() to the StoreManager. by Zhongxing Xu · 15 years ago
- 13d5017 Introduces a new BindingVal which combines direct and by Zhongxing Xu · 15 years ago
- 4f8c7e4 Make the behavior explicit by not using the method call. by Zhongxing Xu · 15 years ago
- bd48370 Remove unused code. by Zhongxing Xu · 15 years ago
- cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
- bf1cc05 Desugaring optimizations. Add single-step desugaring methods to all by John McCall · 15 years ago
- 95efe0f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 15 years ago
- 9e17cc6 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 15 years ago
- a5971b3 Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 15 years ago
- 389c44c Revert r82939. We can only not special case FieldRegions when the super region has also been invalidated. by Ted Kremenek · 15 years ago
- 13c2000 Specially handle fields, elements, and ivars in by Ted Kremenek · 15 years ago
- bada1aa Add FIXME comment. by Ted Kremenek · 15 years ago
- 8780679 Fix: by Ted Kremenek · 15 years ago
- 35dcad8 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 15 years ago
- 0954cde Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 15 years ago
- cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
- 183700f Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 15 years ago
- 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
- 0667db3 Fix buffer overflow reported in PR 4903. by Ted Kremenek · 15 years ago
- bcf62a9 Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers 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
- 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
- 0b14331 Eagerly bind 'self' to SelfRegion. Thus we do not need to get code decl from 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
- 566a6fa Fix a few more false positives involving RegionStore and unions, but this time by Ted Kremenek · 15 years ago
- d4e5a60 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 15 years ago
- 1aeb247 I have a dream, one day, we won't need to do this. by Mike Stump · 15 years ago
- 451ac09 Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of LazyCompoundSVals. by Ted Kremenek · 15 years ago
- 3e01c1d Remove unimplemented methods 'AddRegionView' and 'RemoveRegionView'. They are no longer needed. by Ted Kremenek · 15 years ago
- 32d96b0 Completely remove the code using region cast. by Zhongxing Xu · 15 years ago
- a5e81f1 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 15 years ago
- d8c0192 Use feedback from RegionStoreSubRegionMap::add() to prune off adding a super by Ted Kremenek · 15 years ago
- 4ed4598 Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map. by Ted Kremenek · 15 years ago
- 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 15 years ago
- df74e25 Remove RegionViews and RegionCasts. These are no longer used. by Ted Kremenek · 15 years ago
- 093569c RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings as well. by Ted Kremenek · 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
- 19e1f0b This is a fairly large patch, which resulted from a cascade of changes 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
- 356e9d6 Temporarily disable most use of region casts in RegionStoreManager, 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
- 9031dd7 RegionStore: by Ted Kremenek · 15 years ago
- 25c5457 Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order by Ted Kremenek · 15 years ago
- 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
- 5cad1f7 Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), Type::getAsMemberPointerType(), Type::getAsTagType(), and Type::getAsRecordType() with their Type::getAs<XXX> equivalents. 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
- 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 15 years ago
- 75185b5 Use utility method to create 0-index into ElementRegion. by Ted Kremenek · 15 years ago
- 5bd2fe3 Enhance RegionStore's reasoning about Objective-C ivars. More testing to follow. by Ted Kremenek · 15 years ago
- d79bf55 Use utility method. by Zhongxing Xu · 15 years ago
- 41fb0df Relax assertion. by Ted Kremenek · 15 years ago
- a6275a5 More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. by Ted Kremenek · 15 years ago
- 60fbe8f Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do this by silently wrapping the region with an ElementRegion. This fixes the failures in misc-ps-region-store.m. by Ted Kremenek · 15 years ago
- 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 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
- 8800ad4 Change pretty-printing API for SymExprs and MemRegions to use a naming convention and style similar to other elements in Clang. by Ted Kremenek · 15 years ago
- 3bccf08 Restructure RegionStoreManager::EvalBinOp() as a switch dispatch over different by Ted Kremenek · 15 years ago
- 7ecbfbc Restructure RegionStoreManager::getSizeInElements() to use a switch statement by Ted Kremenek · 15 years ago
- 48ce7de Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager by Ted Kremenek · 15 years ago
- 8834af3 remove utility methods that are not very useful. by Zhongxing Xu · 15 years ago
- ed2c291 Remove unused method. by Ted Kremenek · 15 years ago
- bb2b433 Replace guarded calls in RegionStoreManager to by Ted Kremenek · 15 years ago
- dc14726 Enhance RegionStore to lazily symbolicate fields and array elements for by Ted Kremenek · 15 years ago
- 1508636 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 15 years ago
- 8b2ba31 Minor code cleanup: pull variables into scope of 'if' statement, limiting their by Ted Kremenek · 15 years ago
- 921109a Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to by Ted Kremenek · 15 years ago
- 5ff8e8c add fixme. by Zhongxing Xu · 15 years ago
- 7abe019 When retrieving element region, if its super region has binding, return by Zhongxing Xu · 15 years ago