Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [CFG] | Ted Kremenek | 2010-03-02 | 1 | -19/+29 |
* | Since now we store the cast type with an ElementRegion, there is | Zhongxing Xu | 2010-03-01 | 1 | -3/+3 |
* | BindInternal is redundant. Remove it. | Zhongxing Xu | 2010-02-08 | 1 | -14/+9 |
* | Unify the implementation of getLValueElement of store managers. | Zhongxing Xu | 2010-02-08 | 1 | -55/+0 |
* | Unify the implementation of getLValueIvar and getLValueField of store managers. | Zhongxing Xu | 2010-02-08 | 1 | -48/+0 |
* | Move common methods to the base StoreManager class. | Zhongxing Xu | 2010-02-08 | 1 | -11/+0 |
* | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -8/+5 |
* | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -1/+1 |
* | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -24/+19 |
* | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -4/+4 |
* | Now that CastRetrievedVal returns SVal, there is no need to use CastResult. | Zhongxing Xu | 2010-02-04 | 1 | -12/+8 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+625 |