llmhyy / microbat

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

[Static Analysis] Check the True or False Branch of a Decision Node #126

Open llmhyy opened 6 years ago

llmhyy commented 6 years ago

for Closure-18, step 181 (line 234 of DefaultKeyedValues.java) of the buggy trace should not be a critical conditional step as the seed statement (line 240 of DefaultKeyedValues.java) assigning field HashMap.size will not never be executed. A better way is to whether a seed statement needs reverting the boolean evaluation of a conditional step.

I leave a TODO in microbat.recommendation.DataOmissionInspector.isExecutedPotentialSeeds for future code.