Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge ValueManager into SValBuilder. | Ted Kremenek | 2010-12-02 | 1 | -6/+7 |
* | Rename all 'EvalXXX' methods in libChecker to | Ted Kremenek | 2010-12-01 | 1 | -3/+3 |
* | Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ... | Ted Kremenek | 2010-09-15 | 1 | -1/+1 |
* | GCC didn't care for my attempt at API compatibility, so brute-force everything | John McCall | 2010-08-25 | 1 | -2/+2 |
* | Remove a special case for OSAtomic functions. We can already bind and retrieve | Zhongxing Xu | 2010-08-21 | 1 | -0/+3 |
* | Added a path-sensitive idempotent operation checker (-analyzer-idempotent-ope... | Tom Care | 2010-07-06 | 1 | -3/+7 |
* | Fix -Wcast-qual warnings. | Dan Gohman | 2010-04-19 | 1 | -1/+2 |
* | Add use-after-free check to MallocChecker. | Zhongxing Xu | 2010-03-10 | 1 | -0/+19 |
* | Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to | Zhongxing Xu | 2010-02-05 | 1 | -3/+3 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+327 |