Evelyn and Natalie can view a state provenance tree #2439
sschriner opened this issue · comments
Sonya commented
Why:
Evelyn wants to better understand the state exploration
AC:
- Evelyn can right-click on a state and asks for its provenance tree
- A graph is shown of all its ancestor states in a single list (because we only care about the number of forks)
- The nodes are the ID and the current instruction
- Evelyn can click the ancestor state node to navigate to that instruction that caused the fork
Questions
Do we know the next instruction of a forked state?
From: trailofbits/manticore#2439
Closed by #22