next up previous
Next: Conclusions Up: ZEE Previous: ZEE Architecture

Flowback Analysis

ZEE will also support flowback analysis on a per-element basis, with a graphical interface showing the line where the current value of a variable was assigned, along with the then-current values of the variables on the right-hand side of the assignment. Clicking on a then-current value will roll back computation to the point of assignment, and provide flowback analysis of that value. Choi's algorithms will be sufficient for this problem, even in the presence of shattered control flow.

Steve McLaughry
Fri May 30 15:48:07 PDT 1997