Age | Commit message (Expand) | Author |
---|---|---|
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |
2010-01-05 | Remove references to 'Checker' and 'GRTransferFuncs' from | Ted Kremenek |
2009-09-11 | Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way | Ted Kremenek |
2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
2009-06-18 | Remove GRStateManager& field from SimpleConstraintManager. | Ted Kremenek |
2009-06-18 | libAnalysis: | Ted Kremenek |
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-11 | Added method "canReasonAbout" to ConstraintManager. This method returns true if | Ted Kremenek |
2009-02-15 | Remove accidental duplication of content in .h file. | Ted Kremenek |
2009-02-14 | Patch by Ben Laurie: | Ted Kremenek |