This section describes how you can inspect the program flow up to a specific state using trace data.