A Cost Effective Methodology For Quantitative Evaluation Of Software Reliability Using Static Analysis