Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Discard qualifiers for ElementRegions so that a 'const' doesn't change the lo... | Ted Kremenek | 2010-05-27 | 1 | -1/+1 |
* | Add raw_ostream operators to NamedDecl for convenience. Switch over all users... | Benjamin Kramer | 2010-04-17 | 1 | -3/+3 |
* | Teach MemRegion::getBaseRegion() about ObjCIvarRegions. We want to treat | Ted Kremenek | 2010-04-06 | 1 | -7/+8 |
* | Checker: random include cleanup. | Benjamin Kramer | 2010-03-27 | 1 | -2/+2 |
* | For inline-based inter-procedural analysis, we will have multiple stack space... | Zhongxing Xu | 2010-02-17 | 1 | -9/+16 |
* | Eliminate the ASTContext parameter from RecordDecl::getDefinition() | Douglas Gregor | 2010-02-11 | 1 | -1/+1 |
* | Teach RegionStore::InvalidateRegions() to also invalidate static variables re... | Ted Kremenek | 2010-02-06 | 1 | -1/+1 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+799 |