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