Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove GRStateManager& field from SimpleConstraintManager. | Ted Kremenek | 2009-06-18 | 1 | -1/+1 |
* | libAnalysis: | Ted Kremenek | 2009-06-18 | 1 | -97/+86 |
* | Remove loc::FuncVal. | Zhongxing Xu | 2009-04-20 | 1 | -1/+0 |
* | Finally nuke loc::SymbolVal. | Zhongxing Xu | 2009-04-10 | 1 | -11/+8 |
* | analyzer infrastructure: make a bunch of changes to symbolic expressions that | Ted Kremenek | 2009-03-26 | 1 | -37/+57 |
* | This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for | Zhongxing Xu | 2009-03-25 | 1 | -22/+11 |
* | analyzer: Provide temporary workaround for false positive reported by | Ted Kremenek | 2009-03-23 | 1 | -0/+11 |
* | SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic | Ted Kremenek | 2009-03-11 | 1 | -0/+13 |
* | Added method "canReasonAbout" to ConstraintManager. This method returns true if | Ted Kremenek | 2009-03-11 | 1 | -0/+4 |
* | Patch by Ben Laurie: | Ted Kremenek | 2009-02-14 | 1 | -0/+230 |