Blended Program Analysis for Improving Reliability of Real-world Applications