aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/MemRegion.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-10It's kindof silly that ExtQuals has an ASTContext&, and we can use thatJohn McCall
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-11-26Rename CXXObjectRegion to CXXTempObjectRegion.Zhongxing Xu
2010-11-26Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion.Zhongxing Xu
2010-11-25Add dump method.Zhongxing Xu
2010-09-15Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ...Ted Kremenek
2010-08-11MemRegion can refer to ASTContext without external help.Zhongxing Xu
2010-08-03Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We Zhongxing Xu
2010-08-03Pull the region offset computation logic into a single method.Zhongxing Xu
2010-08-02Improve flat store: MemRegion::getAsOffset() computes a region's offset withinZhongxing Xu
2010-07-06Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpace...Ted Kremenek
2010-07-05Track extents for VLAs.Jordy Rose
2010-07-04Add a new symbol type, SymbolExtent, to represent the extents of memory regio...Jordy Rose
2010-07-01Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...Ted Kremenek
2010-05-27Discard qualifiers for ElementRegions so that a 'const' doesn't change the lo...Ted Kremenek
2010-04-17Add raw_ostream operators to NamedDecl for convenience. Switch over all users...Benjamin Kramer
2010-04-06Teach MemRegion::getBaseRegion() about ObjCIvarRegions. We want to treatTed Kremenek
2010-03-27Checker: random include cleanup.Benjamin Kramer
2010-02-17For inline-based inter-procedural analysis, we will have multiple stack space...Zhongxing Xu
2010-02-11Eliminate the ASTContext parameter from RecordDecl::getDefinition()Douglas Gregor
2010-02-06Teach RegionStore::InvalidateRegions() to also invalidate static variables re...Ted Kremenek
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek