Open ykwongaq opened 2 years ago
It seems that microbat may give wrong control dependency for trace node:
For the above example, microbat consider that the control dominator of line 38 and line 39 is line 35, but in fact, there are no control relation among them.
It seems that microbat may give wrong control dependency for trace node:
For the above example, microbat consider that the control dominator of line 38 and line 39 is line 35, but in fact, there are no control relation among them.