Redux: A Dynamic Dataflow Tracer

摘要: Abstract Redux is a tool that generates dynamic dataflow graphs. It these graphs by tracing program's execution and recording every value-producing operation takes place, building up complete computational history of value produced. For execution, considering the parts graph reachable from system call inputs, we can choose to see only affects outside world. works with program binaries, thus not restricted programs written in any particular language. We explain how works, show give essence computation. be used for debugging slicing, consider range other possible uses.