Binary Image Compression Example

• Representation and parallel image compression algorithm
• Instrumentation
• Compilation procedure in pC++
• Modeling in Ariadne
• Setting Consistent Global Breakpoint
• Using Sneaky: State Based Debugger
• Conclusions
• Reference