Performance Comparison of Techniques on Static Path Analysis of WCET