Semantics-aware trace analysis