1. a0d5878 Correct test inovocations to use %clang_cc1 rather than direct invocation (so that it can have additional options set when trying to debug issues causing regressions). by David Tweed · 12 years ago
  2. 3f635c0 Refine CFG so that '&&' and '||' don't lead to extra confluence points when used in a branch, but by Ted Kremenek · 12 years ago
  3. 58f6f1e Add source-level dominators analysis. Patch by Guoping Long! by Ted Kremenek · 13 years ago