aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/RegionStore.cpp
AgeCommit message (Expand)Author
2009-04-09Propagate the ASTContext to various AST traversal and lookup functions.Douglas Gregor
2009-04-03This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu
2009-03-30Re-apply 68028. The code had drifted enough that the tests would fail withoutTed Kremenek
2009-03-30Revert 68028.Ted Kremenek
2009-03-30Make SymbolicRegion untyped.Zhongxing Xu
2009-03-30Implement a FIXME.Zhongxing Xu
2009-03-27remove dead code.Zhongxing Xu
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-18Use a work list to recursively build up the subregion mapping, and mark liveZhongxing Xu
2009-03-13Updated comment.Ted Kremenek
2009-03-13Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the targetTed Kremenek
2009-03-12Use getAsRecordType() to get around sugar types.Zhongxing Xu
2009-03-11Do not stipulate the record type is a definition in BindStruct().Zhongxing Xu
2009-03-11Fix crash when LHS of pointer arithmetic is not ElementRegion.Zhongxing Xu
2009-03-11RegionStore::getLValueElement: Handle the case where the signedness of theTed Kremenek
2009-03-09RegionStore::getElementLValue(): Handle the case where the base is a null poi...Ted Kremenek
2009-03-09Only track integer and pointer values.Zhongxing Xu
2009-03-09Now we do not retrieve untyped regions.Zhongxing Xu
2009-03-09Fix a serious bug in RegionStore: we got the new state with new store fromZhongxing Xu
2009-03-05Add initial support for tracking ivars, with special handling for ivars of 's...Ted Kremenek
2009-03-04RegionStore: Handle implicit parameters.Ted Kremenek
2009-03-04RegionStore::RemoveDeadBindings needs to check all the symbols of the super r...Ted Kremenek
2009-03-03Don't use std::auto_ptr with getSubRegionMap().Ted Kremenek
2009-03-03Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M...Ted Kremenek
2009-03-03Add StoreManager::getSubRegionMap(). This method returns an opaque mapping f...Ted Kremenek
2009-03-02remove an implemented fixme.Zhongxing Xu
2009-03-02Initial support for pointer arithmetic. Only support concrete indexes and Zhongxing Xu
2009-03-01Rename AnonTypedRegion to TypedViewRegion.Ted Kremenek
2009-02-24Fix <rdar://problem/6611677>: Add basic transfer function support in the staticTed Kremenek
2009-02-20Add an example in comments.Zhongxing Xu
2009-02-19only track integer and pointer values for now.Zhongxing Xu
2009-02-19Convert the offset to signed before making an ElementRegion with it. It seemsZhongxing Xu
2009-02-06SymbolicRegions really have unknown sizes.Zhongxing Xu
2009-02-06Create ElementRegion when the base is SymbolicRegion. This is like what we doZhongxing Xu
2009-02-05Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so Zhongxing Xu
2009-01-30Fix a couple bugs:Ted Kremenek
2009-01-26Correct size assumption; fixes a crash on amd64.Sebastian Redl
2009-01-23Implement retrieval of the default value of element and field regions.Zhongxing Xu
2009-01-23Now this comment should be resolved. See the comments for the KillSet.Zhongxing Xu
2009-01-22For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedR...Ted Kremenek
2009-01-22Add RegionStore support for the implicit object region that 'self' references...Ted Kremenek
2009-01-22Fix RegionStore::getLValueElement() to handle the case when the base region i...Ted Kremenek
2009-01-22Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek
2009-01-21Combine two branches into one. No functionality change.Ted Kremenek
2009-01-21Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek
2009-01-21Get RegionStore to work with the retain/release checker and its test cases.Ted Kremenek
2009-01-13add a fixme.Zhongxing Xu
2009-01-13Add KillStruct to region store. Zhongxing Xu
2009-01-13Invert condition on branch (was causing RegionStore::ArrayToPointer to return...Ted Kremenek
2009-01-07Refactor MemRegionManager instance variable into parent class. No functional...Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-07 15:50:20 +0000