Trace Analysis