Including analysis of program execution