hase-project/hase

Replay Evaluation

Opened this issue · 0 comments

For each trace

  • Completely replay in full trace
  • Reconstruct key variables for bug diagnosis
  • Variable constraints coverage
  • Stack constraints improvement

BugID - Type
https://gist.github.com/Mic92/495a2c3238a0c14e7ee348d7893a9a4c

BugID - Commit
https://docs.google.com/spreadsheets/u/1/d/1T2k2XsmJ4GE__PnfjaIGRHjlO7re8QiyNWTJYiW4sz8/edit?usp=sharing