aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/Store.cpp
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-12-01Rename all 'EvalXXX' methods in libChecker toTed Kremenek
2010-12-01Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek
2010-11-26Rename CXXObjectRegion to CXXTempObjectRegion.Zhongxing Xu
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