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