Probabilistic Program Analysis for Software Component Reliability