aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/Store.cpp
AgeCommit message (Expand)Author
2010-09-15Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ...Ted Kremenek
2010-09-01Don't assert in the analyzer when analyze code does a byte load from a functi...Ted Kremenek
2010-08-16- Allow making ElementRegions with complex offsets (expressions or symbols) f...Jordy Rose
2010-08-11MemRegion can refer to ASTContext without external help.Zhongxing Xu
2010-08-03Makes GRState::makeWithStore private, to encourage clients to make store chan...Jordy Rose
2010-08-02Improve flat store: MemRegion::getAsOffset() computes a region's offset withinZhongxing Xu
2010-07-01Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...Ted Kremenek
2010-04-19Analyzer: add support for CXXNewExpr.Zhongxing Xu
2010-04-07Fix crash in StoreManager::CastRegion() when the base region is a type with 0...Ted Kremenek
2010-02-11Eliminate the ASTContext parameter from RecordDecl::getDefinition()Douglas Gregor
2010-02-08Unify the implementation of getLValueElement of store managers.Zhongxing Xu
2010-02-08Unify the implementation of getLValueIvar and getLValueField of store managers.Zhongxing Xu
2010-02-08Move common methods to the base StoreManager class.Zhongxing Xu
2010-02-08ASTContext is now a reference member of StoreManager.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek