summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/MemRegion.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis2010-12-221-986/+0
* [analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis2010-12-221-2/+2
* It's kindof silly that ExtQuals has an ASTContext&, and we can use thatJohn McCall2010-12-101-2/+2
* Merge ValueManager into SValBuilder.Ted Kremenek2010-12-021-14/+14
* Rename CXXObjectRegion to CXXTempObjectRegion.Zhongxing Xu2010-11-261-10/+10
* Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion.Zhongxing Xu2010-11-261-0/+25
* Add dump method.Zhongxing Xu2010-11-251-0/+4
* Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ...Ted Kremenek2010-09-151-1/+1
* MemRegion can refer to ASTContext without external help.Zhongxing Xu2010-08-111-4/+3
* Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We Zhongxing Xu2010-08-031-2/+1
* Pull the region offset computation logic into a single method.Zhongxing Xu2010-08-031-39/+57
* Improve flat store: MemRegion::getAsOffset() computes a region's offset withinZhongxing Xu2010-08-021-1/+46
* Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpace...Ted Kremenek2010-07-061-1/+8
* Track extents for VLAs.Jordy Rose2010-07-051-2/+3
* Add a new symbol type, SymbolExtent, to represent the extents of memory regio...Jordy Rose2010-07-041-0/+47
* Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...Ted Kremenek2010-07-011-44/+78
* Discard qualifiers for ElementRegions so that a 'const' doesn't change the lo...Ted Kremenek2010-05-271-1/+1
* Add raw_ostream operators to NamedDecl for convenience. Switch over all users...Benjamin Kramer2010-04-171-3/+3
* Teach MemRegion::getBaseRegion() about ObjCIvarRegions. We want to treatTed Kremenek2010-04-061-7/+8
* Checker: random include cleanup.Benjamin Kramer2010-03-271-2/+2
* For inline-based inter-procedural analysis, we will have multiple stack space...Zhongxing Xu2010-02-171-9/+16
* Eliminate the ASTContext parameter from RecordDecl::getDefinition()Douglas Gregor2010-02-111-1/+1
* Teach RegionStore::InvalidateRegions() to also invalidate static variables re...Ted Kremenek2010-02-061-1/+1
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-0/+799
OpenPOWER on IntegriCloud