| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Correct test inovocations to use %clang_cc1 rather than direct invocation (so... | David Tweed | 2012-10-25 | 1 | -1/+1 |
| * | Refine CFG so that '&&' and '||' don't lead to extra confluence points when u... | Ted Kremenek | 2012-07-14 | 1 | -21/+24 |
| * | Add source-level dominators analysis. Patch by Guoping Long! | Ted Kremenek | 2011-10-25 | 1 | -0/+165 |

