Age | Commit message (Expand) | Author |
---|---|---|
2010-02-08 | BindInternal is redundant. Remove it. | Zhongxing Xu |
2010-02-08 | Unify the implementation of getLValueElement of store managers. | Zhongxing Xu |
2010-02-08 | Unify the implementation of getLValueIvar and getLValueField of store managers. | Zhongxing Xu |
2010-02-08 | Move common methods to the base StoreManager class. | Zhongxing Xu |
2010-02-05 | More GRState* -> Store changes. | Zhongxing Xu |
2010-02-05 | More GRState* -> Store changes. | Zhongxing Xu |
2010-02-05 | More GRState* -> Store changes. | Zhongxing Xu |
2010-02-05 | More GRState* -> Store changes. | Zhongxing Xu |
2010-02-04 | Now that CastRetrievedVal returns SVal, there is no need to use CastResult. | Zhongxing Xu |
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |