You first invoke the tracer, which runs your program to completion while collecting information along the way; then you invoke an interactive replayer, which uses the trace data to allow you to step forwards and backwards.
See the feature list for what else you can do with Lizard, and the technical overview for how it works.
Lizard is Free Software licensed under the GPL.
If you have a question not covered on this site, feel free to contact us.