Performance analysis of embedded software using implicit path enumeration