Ariadne Tutorial

This tutorial takes you on a guided tour of Ariadne event based debugger.

What is Ariadne? What is Event Based Abstraction?
An Example - Binary Image Compression: Algorithm
Instrumentation
Compilation procedure in pC++
Ariadne's Modeling language
Modeling in Ariadne
Setting Consistent Global Breakpoint
Ariadne sets a globally consistent breakpoint (animation)
Using Sneaky: State Based Debugger
Conclusions
Reference: SPDT'96 Paper

Sameer Shende <sameer@cs.uoregon.edu>