This directory contains some tools to verify Capstone output,as well as semantics of X86 machine code.