aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BasicStore.cpp
AgeCommit message (Expand)Author
2009-06-30Combine two conditional branches into one. No functionality change.Ted Kremenek
2009-06-30We do not require the super region of element region be typed. So do notZhongxing Xu
2009-06-30Remove the ASTContext parameter from the getBody() methods of Decl and subcla...Argyrios Kyrtzidis
2009-06-28Do not crash on binding concrete integer location.Zhongxing Xu
2009-06-28Simplify some code. As in region store, we always expect the location is aZhongxing Xu
2009-06-24Remove uses of std::ostream from libAnalysis.Ted Kremenek
2009-06-23Remove GRStateManager::getRegion/getSelfRegion().Ted Kremenek
2009-06-23Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu
2009-06-23MemRegions:Ted Kremenek
2009-06-17Start moving in the direction of removing GRStateRef. Now eachTed Kremenek
2009-06-16Use canonical type for building ElementRegion. Otherwise ElementRegions cannotZhongxing Xu
2009-05-09Rename:Zhongxing Xu
2009-05-09As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu
2009-05-09rename: MemRegion:Zhongxing Xu
2009-05-05Fix unused variable warningTed Kremenek
2009-05-05Remove possibly incorrect assertion that doesn't matter.Ted Kremenek
2009-05-04Add array index assertion: BasicStore should not expect any fancyTed Kremenek
2009-05-04array indexes are unsigned integers of the same width as pointer.Zhongxing Xu
2009-05-04BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.Ted Kremenek
2009-05-04Per conversations with Zhongxing, add an 'element type' toTed Kremenek
2009-05-01Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a po...Ted Kremenek
2009-04-29Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enableTed Kremenek
2009-04-21Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'Ted Kremenek
2009-04-20Remove loc::FuncVal.Zhongxing Xu
2009-04-18FunctionDecl::getBody() is getting an ASTContext argument for use inDouglas Gregor
2009-04-11Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek
2009-04-10Finally nuke loc::SymbolVal.Zhongxing Xu
2009-04-09- Move ownership of MemRegionManager into ValueManager.Ted Kremenek
2009-04-03This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu
2009-03-30Simplify more code by using SVal::getAsSymbol().Ted Kremenek
2009-03-30Implement a FIXME.Zhongxing Xu
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-23analyzer: Fix embarrassing regression in BasicStore when invalidating structTed Kremenek
2009-03-18Fix crash reported in <rdar://problem/6695527>. We now haveTed Kremenek
2009-03-05Retrofit some basic tracking of ivars (for the current object) into BasicStore.Ted Kremenek
2009-03-05Minor code compaction. No functionality change.Ted Kremenek
2009-03-05Rename VarBindings -> Bindings.Ted Kremenek
2009-03-05BasicStore: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-01Rename AnonTypedRegion to TypedViewRegion.Ted Kremenek
2009-02-05Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so Zhongxing Xu
2009-01-27Fix bug in BasicStore::getLValueElement where if the base of an array subscri...Ted Kremenek
2009-01-22Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek
2009-01-21Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek
2009-01-07Update some doxygen comments to be more rich. Remove StoreManager::GetRegion...Ted Kremenek
2009-01-07Refactor MemRegionManager instance variable into parent class. No functional...Ted Kremenek
2008-12-21Use utility method.Zhongxing Xu
2008-12-21Use utility methods. No functional change.Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-02 15:18:33 +0000