EMMA is a great code coverage tool. My favorite feature about it is that it works (via a wrapper plugin) with the Eclipse IDE. Otherwise, I've found Cobertura to be slightly more useful.
EMMA does not do detailed analysis on complex boolean conditionals. In that space, the best tool I've ever used is Devel::Cover for Perl, which provides red/green truth tables for all combinations of boolean inputs.