Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add a new symbol type, SymbolExtent, to represent the extents of memory regio... | Jordy Rose | 2010-07-04 | 1 | -1/+33 |
* | Add an ivar to SymbolReaper for the current statement, and then stop passing ... | Jordy Rose | 2010-07-01 | 1 | -2/+2 |
* | Checker: random include cleanup. | Benjamin Kramer | 2010-03-27 | 1 | -1/+1 |
* | Remove reference to AnalysisContext in Environment. We already have LocationC... | Zhongxing Xu | 2010-03-05 | 1 | -3/+7 |
* | Since now we store the cast type with an ElementRegion, there is | Zhongxing Xu | 2010-03-01 | 1 | -10/+4 |
* | In symbol reaper, a variable is live if its stack frame is the parent of the | Zhongxing Xu | 2010-02-17 | 1 | -1/+6 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+228 |