Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Pointers casted as integers still count as locations to SimpleSValuator, so d... | Jordy Rose | 2010-06-30 | 1 | -1/+6 |
* | Pointer comparisons (and pointer-pointer subtraction). Basically filling in S... | Jordy Rose | 2010-06-28 | 1 | -54/+305 |
* | When folding additive operations, convert the values to the same type. When a... | Jordy Rose | 2010-06-21 | 1 | -6/+13 |
* | Add braces to avoid an ambiguous else, fixing a GCC warning. | Benjamin Kramer | 2010-06-20 | 1 | -3/+3 |
* | Adds analyzer support for idempotent and tautological binary operations such ... | Jordy Rose | 2010-06-20 | 1 | -9/+108 |
* | Fold additive constants, and support comparsions of the form $sym+const1 <> c... | Jordy Rose | 2010-06-18 | 1 | -50/+75 |
* | Static analyzer: Don't crash when casting a symbolic region address to a floa... | Ted Kremenek | 2010-04-16 | 1 | -8/+14 |
* | Remove unused parameter. | Zhongxing Xu | 2010-02-05 | 1 | -1/+1 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+428 |