search

llmhyy / microbat

A feedback-based debugger for interactively recommending suspicious step in buggy program execution.
54 stars 15 forks source link

Control Dominator incorrect for steps outside if-else block #220

Open dingyuchen opened 3 years ago

dingyuchen commented 3 years ago

image

Bug Overview

From the Step entries, we see that step 4 onwards all have step 3 as a control dominator. This is a bug since all steps will execute regardless of the result of step 4. Step 3 corresponds to line 14, and step 4 corresponds to line 19. image

Reproducing steps:

  1. Run Microbat trace debugging on DiningPhilosophersDebug
  2. Observe DB Step entries