Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -91/+0 |
* | Add support for computing size in elements for symbolic regions obtained from | Zhongxing Xu | 2010-01-18 | 1 | -1/+2 |
* | lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace | Kovarththanan Rajaratnam | 2009-11-28 | 1 | -1/+1 |
* | After performing a bounds check in ArrayBoundChecker, record the fact that a ... | Ted Kremenek | 2009-11-23 | 1 | -0/+6 |
* | Clean up the Checker API a little more, resolving some hidden bugs | Ted Kremenek | 2009-11-23 | 1 | -3/+1 |
* | Change *BugReport constructors to take StringRefs. | Benjamin Kramer | 2009-11-14 | 1 | -1/+1 |
* | Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. | Zhongxing Xu | 2009-11-12 | 1 | -3/+2 |
* | Reimplement out-of-bound array access checker with the new checker interface. | Zhongxing Xu | 2009-11-11 | 1 | -0/+87 |