Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis