Facilitating program performance profiling via evolutionary symbolic execution