Age | Commit message (Expand) | Author |
---|---|---|
2010-12-02 | Merge ValueManager into SValBuilder. | Ted Kremenek |
2010-12-01 | Rename 'SValuator' to 'SValBuilder'. The new name | Ted Kremenek |
2010-08-14 | Add a new metadata symbol type for checkers to use. Metadata symbols must be ... | Jordy Rose |
2010-04-14 | Add support for CXXBoolLiteralExpr. | Zhongxing Xu |
2010-03-01 | Since now we store the cast type with an ElementRegion, there is | Zhongxing Xu |
2010-02-05 | Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to | Zhongxing Xu |
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |