aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive/MemRegion.h
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-10Eliminate the branching in QualType::getTypePtr() by providing aDouglas Gregor
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-26fix a bug introduced in r120173.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-17TypedRegion::isBoundable() should return true by default. Since there is no ...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-02You actually have to include a header in order to use a symbol, it's so 90s..Argyrios Kyrtzidis
2010-08-02Use llvm_unreachable.Argyrios Kyrtzidis
2010-08-02Shut up warnings in Release build.Argyrios Kyrtzidis
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-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-04-19Analyzer: add support for CXXNewExpr.Zhongxing Xu
2010-03-27Checker: random include cleanup.Benjamin Kramer
2010-02-23Correct comment.Zhongxing Xu
2010-02-17For inline-based inter-procedural analysis, we will have multiple stack space...Zhongxing Xu
2010-01-26Replace inheritance of RegionRawOffset from std::pair with two private memberKen Dyck
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek