Symbolic Quantitative Information Flow Analysis for C