Trace execution (into or over calls) for N steps or until a condition, then analyze the recorded instruction log